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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HeartDisease

Sigma KEE - HeartDisease
HeartDisease

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 HeartDisease疾病或综合症instance

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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