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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RectalTenesmus
RectalTenesmus(rectal tenesmus)

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


(documentation RectalTenesmus EnglishLanguage "Rectal tenesmus is a feeling of incomplete defecation. It is the sensation of inability or difficulty to empty the bowel at defecation, even if the bowel contents have already been evacuated. Tenesmus indicates the feeling of a residue, and is not always correlated with the actual presence of residual fecal matter in the rectum. It is frequently painful and may be accompanied by involuntary straining and other gastrointestinal symptoms. Tenesmus has both a nociceptive and a neuropathic component.[from Wikipedia]") Medicine.kif 5098-5106
(subclass RectalTenesmus DiseaseOrSyndrome) Medicine.kif 5096-5096 Rectal tenesmus is a subclass of disease or syndrome

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


(termFormat EnglishLanguage RectalTenesmus "rectal tenesmus") Medicine.kif 5108-5108
(termFormat EnglishLanguage RectalTenesmus "tenesmus") Medicine.kif 5107-5107

antecedent
-------------------------


(=>
    (holdsDuring ?T
        (attribute ?H RectalTenesmus))
    (holdsDuring ?T
        (and
            (desires ?H
                (exists (?D)
                    (and
                        (instance ?D Defecation)
                        (agent ?D ?H))))
            (not
                (needs ?H
                    (exists (?D)
                        (and
                            (instance ?D Defecation)
                            (agent ?D ?H))))))))
Medicine.kif 5110-5125


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