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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HeartAttack
HeartAttack

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


(diseaseMedicine HeartAttack BetaBlocker Ingesting) Medicine.kif 4679-4679 diseaseMedicine HeartAttack, BetaBlocker and Ingestione
(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 11378-11391
(subclass HeartAttack PathologicProcess) Mid-level-ontology.kif 11377-11377 HeartAttack è una sottoclasse di ProcessoPatologico

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


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

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 11395-11412


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