Deductions
- cardiovascular disease has part class ⇐ (entity is a class), (cardiovascular disease has part entity)
- field of study is for example cardiovascular disease ⇐ (cardiovascular disease is a field of study), (is a is inverse of is for example)
- cardiovascular disease is a field of study ⇐ (academic discipline is subclass of field of study), (cardiovascular disease is a academic discipline)
- cardiovascular disease has part variable-order class ⇐ (entity is a variable-order class), (cardiovascular disease has part entity)
- cardiovascular disease has part fixed-order class ⇐ (second-order class is a fixed-order class), (cardiovascular disease has part second-order class)
- cardiovascular disease has part entity ⇐ (class of disease is a entity), (cardiovascular disease has part class of disease)
- cardiovascular disease has part second-order class ⇐ (class of disease is a second-order class), (cardiovascular disease has part class of disease)
- cardiovascular disease has part class of disease ⇐ (vascular disease is a class of disease), (cardiovascular disease has part vascular disease)
- academic discipline is for example cardiovascular disease ⇐ (cardiovascular disease is a academic discipline), (is a is inverse of is for example)
- coronary artery disease is subclass of cardiovascular disease ⇐ (coronary artery disease is subclass of vascular disease), (vascular disease is subclass of cardiovascular disease), (is subclass of is a transitive relation)
- artery disease is subclass of cardiovascular disease ⇐ (artery disease is subclass of vascular disease), (vascular disease is subclass of cardiovascular disease), (is subclass of is a transitive relation)