Deductions
- symptom or sign has quality class ⇐ (quality is a class), (symptom or sign has quality quality)
- symptom or sign has quality abstract entity ⇐ (type is a abstract entity), (symptom or sign has quality type)
- symptom or sign has quality existence ⇐ (symptom or sign has quality entity), (entity has quality existence), (has quality is a transitive relation)
- symptom or sign has quality entity ⇐ (type is a entity), (symptom or sign has quality type)
- entity is for example symptom or sign ⇐ (symptom or sign is a entity), (is a is inverse of is for example)
- second-order class is for example symptom or sign ⇐ (symptom or sign is a second-order class), (is a is inverse of is for example)
- symptom or sign is a entity ⇐ (second-order class is subclass of entity), (symptom or sign is a second-order class)
- symptom or sign has quality type ⇐ (criterion is a type), (symptom or sign has quality criterion)
- symptom or sign has quality criterion ⇐ (symptom or sign is subclass of class), (class has quality criterion)
- symptom or sign has quality quality ⇐ (symptom or sign is subclass of class), (class has quality quality)
- symptom or sign has quality property ⇐ (symptom or sign is subclass of class), (class has quality property)
- symptom or sign is for example chest pain ⇐ (chest pain is a symptom or sign), (is a is inverse of is for example)