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