Deductions
- anatomical entity class type is for example cardinal body part ⇐ (cardinal body part is a anatomical entity class type), (is a is inverse of is for example)
- cardinal body part is a anatomical entity class type ⇐ (anatomical structure class type is subclass of anatomical entity class type), (cardinal body part is a anatomical structure class type)
- anatomical structure class type is for example cardinal body part ⇐ (cardinal body part is a anatomical structure class type), (is a is inverse of is for example)
- human head is subclass of cardinal body part ⇐ (human head is subclass of head), (head is subclass of cardinal body part), (is subclass of is a transitive relation)
- cardinal body part is subclass of entity ⇐ (cardinal body part is subclass of structure), (structure is subclass of entity), (is subclass of is a transitive relation)
- cardinal body part is subclass of collective entity ⇐ (cardinal body part is subclass of structure), (structure is subclass of collective entity), (is subclass of is a transitive relation)
- cardinal body part is subclass of structure ⇐ (cardinal body part is subclass of biological structure), (biological structure is subclass of structure), (is subclass of is a transitive relation)
- cardinal body part is subclass of biological structure ⇐ (cardinal body part is subclass of anatomical structure), (anatomical structure is subclass of biological structure), (is subclass of is a transitive relation)