In “rational animal,” animal is proximate genus and rational is proximate differentia.

Definitions in Logic: Complete and Incomplete Ḥadd and Rasm