In that same example, “rational animal” is the:

Definitions in Logic: Complete and Incomplete Ḥadd and Rasm