Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  HeartDisease
|
|
|
| appearance as argument number 1 |
|
|
| (instance HeartDisease DiseaseOrSyndrome) | Medicine.kif 5743-5743 | Cardiovascular disease is an instance of disease or syndrome |
| (documentation HeartDisease EnglishLanguage "Cardiovascular disease (CVD) is a class of diseases that involve the heart or blood vessels. CVD includes coronary artery diseases (CAD) such as angina and myocardial infarction (commonly known as a HeartAttack). Other CVDs include stroke, heart failure, hypertensive heart disease, rheumatic heart disease, cardiomyopathy, abnormal heart rhythms, congenital heart disease, valvular heart disease, carditis, aortic aneurysms, peripheral artery disease, thromboembolic disease, and venous thrombosis.[from Wikipedia]") | Medicine.kif 5745-5753 | Cardiovascular disease is an instance of disease or syndrome |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage HeartDisease "heart disease") | Medicine.kif 5754-5754 | |
| (termFormat EnglishLanguage HeartDisease "cardiovascular disease") | Medicine.kif 5755-5755 |
| antecedent |
|
|
| (=> (attribute ?H HeartDisease) (or (attribute ?H (ImpairedBodyPartFn Heart)) (attribute ?H (ImpairedBodyPartFn BloodVessel)))) |
Medicine.kif 5757-5761 | If cardiovascular disease is an attribute of X, then impaired body part fn heart is an attribute of X or impaired body part fn blood vessel is an attribute of X |
|