For human, ḍāḥik functions as the:Definitions in Logic: Complete and Incomplete Ḥadd and RasmProximate genusProximate differentiaDistinctive propertySpecies