subdivision of head proper
Deductions
- 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)
- outer ear is subclass of subdivision of head proper ⇐ (outer 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)