Deductions
- entity is for example class of anatomical entity ⇐ (class of anatomical entity is a entity), (is a is inverse of is for example)
- class of anatomical entity is a entity ⇐ (second-order class is subclass of entity), (class of anatomical entity is a second-order class)
- class of anatomical entity is for example neck ⇐ (neck is a class of anatomical entity), (is a is inverse of is for example)
- class of anatomical entity is for example ear ⇐ (ear is a class of anatomical entity), (is a is inverse of is for example)
- class of anatomical entity is for example sclera ⇐ (sclera is a class of anatomical entity), (is a is inverse of is for example)
- class of anatomical entity is for example human head ⇐ (human head is a class of anatomical entity), (is a is inverse of is for example)
- class of anatomical entity is for example coronary artery ⇐ (coronary artery is a class of anatomical entity), (is a is inverse of is for example)
- second-order class is for example class of anatomical entity ⇐ (class of anatomical entity is a second-order class), (is a is inverse of is for example)
- class of anatomical entity is for example head ⇐ (head is a class of anatomical entity), (is a is inverse of is for example)
- fixed-order class is for example class of anatomical entity ⇐ (class of anatomical entity is a fixed-order class), (is a is inverse of is for example)
- class of anatomical entity is subclass of entity ⇐ (class of anatomical entity is subclass of abstract entity), (abstract entity is subclass of entity), (is subclass of is a transitive relation)
- class of anatomical entity is subclass of abstract entity ⇐ (class of anatomical entity is subclass of class), (class is subclass of abstract entity), (is subclass of is a transitive relation)
- class of anatomical entity is a fixed-order class ⇐ (second-order class is subclass of fixed-order class), (class of anatomical entity is a second-order class)