Deductions
- health has quality type ⇐ (health has quality class), (class has quality type), (has quality is a transitive relation)
- health has quality superclass ⇐ (health has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- health has quality taxonomic rank ⇐ (health has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- health has quality abstract entity ⇐ (property is a abstract entity), (health has quality property)
- health has quality type of property ⇐ (health is subclass of health problem), (health problem has quality type of property)
- health has quality quality ⇐ (health is subclass of health problem), (health problem has quality quality)
- health has quality property ⇐ (health is subclass of health problem), (health problem has quality property)
- health has quality existence ⇐ (health is subclass of health problem), (health problem has quality existence)
- health has quality class ⇐ (health is subclass of health problem), (health problem has quality class)
- health has quality criterion ⇐ (health is subclass of health problem), (health problem has quality criterion)
- health has quality entity ⇐ (health is subclass of health problem), (health problem has quality entity)
- health is subclass of health problem ⇐ (disease is subclass of health problem), (disease is opposite of health)
- class of disease is for example health ⇐ (health is a class of disease), (is a is inverse of is for example)
- health is a class of disease ⇐ (disease is a class of disease), (disease is opposite of health)
- need is for example health ⇐ (health is a need), (is a is inverse of is for example)
- health is opposite of disease ⇐ disease is opposite of health