Deductions
- auricle is part of ear ⇐ (auricle is part of outer ear), (outer ear is part of ear), (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)
- class of anatomical entity is for example ear ⇐ (ear is a class of anatomical entity), (is a is inverse of is for example)
- abstract entity is for example ear ⇐ (ear is a abstract entity), (is a is inverse of is for example)
- class is for example ear ⇐ (ear is a class), (is a is inverse of is for example)
- entity is for example ear ⇐ (ear is a entity), (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)
- 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)
- ear is subclass of subdivision of head proper ⇐ (ear is subclass of subdivision of auriculotemporal part of head), (subdivision of auriculotemporal part of head is subclass of subdivision of head proper), (is subclass of is a transitive relation)
- ear is subclass of subdivision of head ⇐ (ear is subclass of subdivision of auriculotemporal part of head), (subdivision of auriculotemporal part of head is subclass of subdivision of head), (is subclass of is a transitive relation)
- ear is a entity ⇐ (abstract entity is subclass of entity), (ear is a abstract entity)
- ear is a abstract entity ⇐ (class is subclass of abstract entity), (ear is a class)
- ear is a class ⇐ (class of anatomical entity is subclass of class), (ear is a class of anatomical entity)