Deductions
- anatomical structure type has quality class ⇐ (existence is a class), (anatomical structure type has quality existence)
- head has part anatomical structure type ⇐ (brain is a anatomical structure type), (head has part brain)
- anatomical structure type is for example plant organ ⇐ (plant organ is a anatomical structure type), (is a is inverse of is for example)
- anatomical structure type is for example respiratory system ⇐ (respiratory system is a anatomical structure type), (is a is inverse of is for example)
- entity is for example anatomical structure type ⇐ (anatomical structure type is a entity), (is a is inverse of is for example)
- anatomical structure type is for example brain ⇐ (brain is a anatomical structure type), (is a is inverse of is for example)
- second-order class is for example anatomical structure type ⇐ (anatomical structure type is a second-order class), (is a is inverse of is for example)
- anatomical structure type has quality existence ⇐ (anatomical structure type is a second-order class), (second-order class has quality existence)
- anatomical structure type is a entity ⇐ (second-order class is subclass of entity), (anatomical structure type is a second-order class)
- brain is a anatomical structure type ⇐ (organ type is subclass of anatomical structure type), (brain is a organ type)
- plant organ is a anatomical structure type ⇐ (organ type is subclass of anatomical structure type), (plant organ is a organ type)
- respiratory system is a anatomical structure type ⇐ (anatomical system type is subclass of anatomical structure type), (respiratory system is a anatomical system type)