Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HeartDisease
HeartDisease(cardiovascular disease)

appearance as argument number 1
-------------------------


(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 5720-5728
(instance HeartDisease DiseaseOrSyndrome) Medicine.kif 5718-5718 Cardiovascular disease is an instance of disease or syndrome

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage HeartDisease "cardiovascular disease") Medicine.kif 5730-5730
(termFormat EnglishLanguage HeartDisease "heart disease") Medicine.kif 5729-5729

antecedent
-------------------------


(=>
    (attribute ?H HeartDisease)
    (or
        (attribute ?H
            (ImpairedBodyPartFn Heart))
        (attribute ?H
            (ImpairedBodyPartFn BloodVessel))))
Medicine.kif 5732-5736


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners