taxon entity class type Deductions second-order class is for example taxon entity class type ⇐ (taxon entity class type is a second-order class), (is a is inverse of is for example) taxon entity class type is for example plant structure ⇐ (plant structure is a taxon entity class type), (is a is inverse of is for example)