Deductions
- entity is for example medical entity type ⇐ (medical entity type is a entity), (is a is inverse of is for example)
- medical entity type is a entity ⇐ (second-order class is subclass of entity), (medical entity type is a second-order class)
- second-order class is for example medical entity type ⇐ (medical entity type is a second-order class), (is a is inverse of is for example)
- medical entity type is subclass of entity ⇐ (medical entity type is subclass of type), (type is subclass of entity), (is subclass of is a transitive relation)
- medical entity type is subclass of class ⇐ (medical entity type is subclass of type), (type is subclass of class), (is subclass of is a transitive relation)
- medical entity type is subclass of abstract entity ⇐ (medical entity type is subclass of type), (type is subclass of abstract entity), (is subclass of is a transitive relation)
- biomedical measurand type is subclass of medical entity type ⇐ (biomedical measurand type is subclass of medical attribute type), (medical attribute type is subclass of medical entity type), (is subclass of is a transitive relation)