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