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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


(diseaseMedicine HeartAttack BetaBlocker Ingesting) Medicine.kif 4679-4679 Myocardial infarction is disease treatment beta blocker for ingesting
(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 11569-11582 Myocardial infarction is disease treatment beta blocker for ingesting
(subclass HeartAttack PathologicProcess) Mid-level-ontology.kif 11568-11568 Myocardial infarction is a subclass of pathologic process

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


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

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 11586-11603


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