“Animal is a genus” illustrates:

Propositions: Categorical and Conditional Forms