Deductions
- medical specialty has quality class ⇐ (quality is a class), (medical specialty has quality quality)
- entity is for example medical specialty ⇐ (medical specialty is a entity), (is a is inverse of is for example)
- medical specialty is a entity ⇐ (second-order class is subclass of entity), (medical specialty is a second-order class)
- medical specialty has quality existence ⇐ (medical specialty is subclass of entity), (entity has quality existence)
- medical specialty is for example veterinary medicine ⇐ (veterinary medicine is a medical specialty), (is a is inverse of is for example)
- medical specialty is for example audiology ⇐ (audiology is a medical specialty), (is a is inverse of is for example)
- medical specialty is for example cardiology ⇐ (cardiology is a medical specialty), (is a is inverse of is for example)
- fixed-order class is for example medical specialty ⇐ (medical specialty is a fixed-order class), (is a is inverse of is for example)
- second-order class is for example medical specialty ⇐ (medical specialty is a second-order class), (is a is inverse of is for example)
- medical specialty is for example pulmonology ⇐ (pulmonology is a medical specialty), (is a is inverse of is for example)
- medical specialty is subclass of entity ⇐ (medical specialty is subclass of conceptual system), (conceptual system is subclass of entity), (is subclass of is a transitive relation)
- medical specialty is subclass of conceptual system ⇐ (medical specialty is subclass of branch of science), (branch of science is subclass of conceptual system), (is subclass of is a transitive relation)
- medical specialty is subclass of system ⇐ (medical specialty is subclass of branch of science), (branch of science is subclass of system), (is subclass of is a transitive relation)
- medical specialty is subclass of collective entity ⇐ (medical specialty is subclass of branch of science), (branch of science is subclass of collective entity), (is subclass of is a transitive relation)
- medical specialty is subclass of knowledge system ⇐ (medical specialty is subclass of branch of science), (branch of science is subclass of knowledge system), (is subclass of is a transitive relation)
- medical specialty is subclass of field of study ⇐ (medical specialty is subclass of branch of science), (branch of science is subclass of field of study), (is subclass of is a transitive relation)
- medical specialty is a fixed-order class ⇐ (second-order class is subclass of fixed-order class), (medical specialty is a second-order class)
- medical specialty has quality quality ⇐ (topic is a quality), (medical specialty has quality topic)
- medical specialty has quality topic ⇐ (medical specialty is subclass of branch of science), (branch of science has quality topic)