If “neighing animal” defines horse, with neighing treated as a property, it is:

Definitions in Logic: Complete and Incomplete Ḥadd and Rasm