Browsing Interface : Welcome guest : log in
Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


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

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


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

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 12868-12885 If X is an instance of myocardial infarction, Y is an instance of heart, and X is located at Y, then All of the following hold: (1) there exists Z such that Z is an instance of muscle (2) Z is a part of Y (3) there don't exist W (4) V such that W is an instance of liquid motion (5) the object transferred in W is V (6) V is an instance of blood (7) W takes place during the time of existence of X (8) W ends up at Z


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners