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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HeartAttack

Sigma KEE - HeartAttack
HeartAttack

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


(diseaseMedicine HeartAttack BetaBlocker Ingesting) Medicine.kif 4679-4679 diseaseMedicine HeartAttack, BetaBlocker and 摂取
(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 11351-11364
(subclass HeartAttack PathologicProcess) Mid-level-ontology.kif 11350-11350 HeartAttack病理学的プロセスsubclass では %n

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


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

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 11368-11385


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