coronary artery disease

Deductions

• class of disease is for example coronary artery disease ⇐ (coronary artery disease is a class of disease), (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)
• coronary artery disease is subclass of vascular disease ⇐ (coronary artery disease is subclass of artery disease), (artery disease is subclass of vascular disease), (is subclass of is a transitive relation)