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)
- middle ear is part of body ⇐ (middle ear is part of ear), (ear is part of body), (is part of is a transitive relation)
- brain is part of body ⇐ (brain is part of head), (head is part of body), (is part of is a transitive relation)
- outer ear is part of body ⇐ (outer ear is part of ear), (ear is part of body), (is part of is a transitive relation)
- ear is part of body ⇐ (ear is part of head), (head is part of body), (is part of is a transitive relation)
- body has quality spatial arrangement ⇐ (body is subclass of structure), (structure has quality spatial arrangement)
- anatomical entity class type is for example body ⇐ (body is a anatomical entity class type), (is a is inverse of is for example)
- body is subclass of structure ⇐ (body is subclass of biological structure), (biological structure is subclass of structure), (is subclass of is a transitive relation)
- body is subclass of biological structure ⇐ (body is subclass of anatomical structure), (anatomical structure is subclass of biological structure), (is subclass of is a transitive relation)
- body has quality ratio ⇐ (body proportions is subclass of ratio), (body has quality body proportions)