Complete rasm uses a proximate genus plus a distinctive property.Definitions in Logic: Complete and Incomplete Ḥadd and Rasm