auricle 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) organism subdivision type is for example auricle ⇐ (auricle is a organism subdivision type), (is a is inverse of is for example)