Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| RectalTenesmus(rectal tenesmus) |
| appearance as argument number 1 |
|
| (subclass RectalTenesmus DiseaseOrSyndrome) | Medicine.kif 5117-5117 | Rectal tenesmus is a subclass of disease or syndrome |
| (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 5119-5127 | Rectal tenesmus is a subclass of disease or syndrome |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage RectalTenesmus "tenesmus") | Medicine.kif 5128-5128 | |
| (termFormat EnglishLanguage RectalTenesmus "rectal tenesmus") | Medicine.kif 5129-5129 |
| antecedent |
|
|
| (=> (holdsDuring ?T (attribute ?H RectalTenesmus)) (holdsDuring ?T (and (desires ?H (exists (?D) (and (instance ?D Defecation) (agent ?D ?H)))) (not (modalAttribute (exists (?D) (and (instance ?D Defecation) (agent ?D ?H))) Necessity))))) |
Medicine.kif 5131-5146 | If rectal tenesmus is an attribute of X holds during Y, then X desires there exists Z such that Z is an instance of defecation, X is an agent of Z, the statement there doesn't exist Z such that Z is an instance of defecation, and X is an agent of Z doesn't have the modal force of necessity holds during Y |
|