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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HeartAttack

Sigma KEE - HeartAttack
HeartAttack(myocardial infarction)MI, heart_attack, myocardial_infarct, myocardial_infarction

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


(documentation HeartAttack EnglishLanguage "A myocardial infarction (MI), commonly known as a heart attack, occurs when blood flow decreases or stops to a part of the Heart, causing damage to the heart muscle. The most common symptom is ChestPain or discomfort which may travel into the shoulder, arm, back, neck or jaw. Often it occurs in the center or left side of the chest and lasts for more than a few minutes. The discomfort may occasionally feel like heartburn. Other symptoms may include shortness of breath, nausea, feeling faint, a cold sweat or feeling tired. About 30% of people have atypical symptoms. Women more often present without chest pain and instead have neck pain, arm pain or feel tired. Among those over 75 years old, about 5% have had an MI with little or no history of symptoms. An MI may cause heart failure, an irregular heartbeat, cardiogenic shock or cardiac arrest.[from Wikipedia]") Mid-level-ontology.kif 10850-10863
(subclass HeartAttack PathologicProcess) Mid-level-ontology.kif 10849-10849 Myocardial infarction is a subclass of pathologic process

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


(termFormat EnglishLanguage HeartAttack "heart attack") Mid-level-ontology.kif 10864-10864
(termFormat EnglishLanguage HeartAttack "myocardial infarction") Mid-level-ontology.kif 10865-10865

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


(=>
    (and
        (instance ?HA HeartAttack)
        (instance ?H Heart)
        (located ?HA ?H))
    (exists (?M)
        (and
            (instance ?M Muscle)
            (part ?M ?H)
            (not
                (exists (?BF ?B)
                    (and
                        (instance ?BF LiquidMotion)
                        (objectTransferred ?BF ?B)
                        (instance ?B Blood)
                        (during ?BF
                            (WhenFn ?HA))
                        (destination ?BF ?M)))))))
Mid-level-ontology.kif 10867-10884


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