Keeping the proximate genus but replacing differentia with property changes:

Definitions in Logic: Complete and Incomplete Ḥadd and Rasm