organism subdivision type

Deductions

• organism subdivision type has quality class ⇐ (existence is a class), (organism subdivision type has quality existence)
• second-order class is for example organism subdivision type ⇐ (organism subdivision type is a second-order class), (is a is inverse of is for example)
• entity is for example organism subdivision type ⇐ (organism subdivision type is a entity), (is a is inverse of is for example)
• organism subdivision type has quality existence ⇐ (organism subdivision type is a entity), (entity has quality existence)
• organism subdivision type is a entity ⇐ (second-order class is subclass of entity), (organism subdivision type is a second-order class)
• outer ear has part organism subdivision type ⇐ (auricle is a organism subdivision type), (outer ear has part auricle)
• organism subdivision type is for example auricle ⇐ (auricle is a organism subdivision type), (is a is inverse of is for example)