Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   HeartPalpitations
|
|
|
| appearance as argument number 1 |
|
|
| (subclass HeartPalpitations PathologicProcess) | Medicine.kif 2034-2034 | Palpitations is a subclass of pathologic process |
| (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 2035-2043 | Palpitations is a subclass of pathologic process |
| (diseaseMedicine HeartPalpitations BetaBlocker Ingesting) | Medicine.kif 4701-4701 | Palpitations is disease treatment beta blocker for ingesting |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage HeartPalpitations "heart palpitations") | Medicine.kif 2044-2044 | |
| (termFormat EnglishLanguage HeartPalpitations "palpitations") | Medicine.kif 2045-2045 |
| 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 2047-2057 | If X is an instance of palpitations, Y experiences X, Z is an instance of heart, and Z is a part of Y, then there exists W such that W is an instance of perception, Y experiences W, and Z is a patient of W |
| (=> (and (instance ?P HeartPalpitations) (experiencer ?P ?H)) (exists (?HEART) (and (instance ?HEART Heart) (part ?HEART ?H) (located ?P ?HEART)))) |
Medicine.kif 2059-2067 | If X is an instance of palpitations and Y experiences X, then there exists Z such that Z is an instance of heart, Z is a part of Y, and X is located at Z |
|