| appearance as argument number 1 |
|
| (diseaseMedicine HeartPalpitations BetaBlocker Ingesting) | Medicine.kif 4687-4687 | Palpitations is disease treatment beta blocker for ingesting |
| (documentation HeartPalpitations EnglishLanguage "Palpitations are perceived abnormalities of the heartbeat characterized by awareness of cardiac muscle contractions in the chest, which is further characterized by the hard, fast and/ or irregular beatings of the heart. Symptoms include a rapid pulsation, an abnormally rapid or irregular beating of the heart. Palpitations are a sensory symptom and are often described as a skipped beat, rapid fluttering in the chest, pounding sensation in the chest or neck, or a flip-flopping in the chest.[from Wikipedia]") | Medicine.kif 2045-2053 | Palpitations is disease treatment beta blocker for ingesting |
| (subclass HeartPalpitations PathologicProcess) | Medicine.kif 2044-2044 | Palpitations is a subclass of pathologic process |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage HeartPalpitations "heart palpitations") | Medicine.kif 2054-2054 | |
| (termFormat EnglishLanguage HeartPalpitations "palpitations") | Medicine.kif 2055-2055 |
| antecedent |
|
|
| (=> (and (instance ?P HeartPalpitations) (experiencer ?P ?H) (instance ?HEART Heart) (part ?HEART ?H)) (exists (?PER) (and (instance ?PER Perception) (experiencer ?PER ?H) (patient ?PER ?HEART)))) |
Medicine.kif 2057-2067 |
|
| (=> (and (instance ?P HeartPalpitations) (experiencer ?P ?H)) (exists (?HEART) (and (instance ?HEART Heart) (part ?HEART ?H) (located ?P ?HEART)))) |
Medicine.kif 2069-2077 |
|
|
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