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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HeartPalpitations

Sigma KEE - HeartPalpitations
HeartPalpitations

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


(diseaseMedicine HeartPalpitations BetaBlocker Ingesting) Medicine.kif 4680-4680 diseaseMedicine HeartPalpitations, BetaBlocker and 摂取
(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 2048-2056
(subclass HeartPalpitations PathologicProcess) Medicine.kif 2047-2047 HeartPalpitations病理学的プロセスsubclass では %n

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


(termFormat EnglishLanguage HeartPalpitations "heart palpitations") Medicine.kif 2057-2057
(termFormat EnglishLanguage HeartPalpitations "palpitations") Medicine.kif 2058-2058

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 2060-2070
(=>
    (and
        (instance ?P HeartPalpitations)
        (experiencer ?P ?H))
    (exists (?HEART)
        (and
            (instance ?HEART Heart)
            (part ?HEART ?H)
            (located ?P ?HEART))))
Medicine.kif 2072-2080


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