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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HeartPalpitations
HeartPalpitations

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


(diseaseMedicine HeartPalpitations BetaBlocker Ingesting) Medicine.kif 4680-4680 HeartPalpitations 是 對於 Ingestingdisease 治癒 BetaBlocker
(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 and PathologicProcess

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