RectalTenesmus - Sigma Knowledge base Browser

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

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5098-5106
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5096-5096	Rectal tenesmus is a subclass of disease or syndrome

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5108-5108
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5107-5107

antecedent

No TPTP formula. May not be expressible in strict first order.

Medicine.kif 5110-5125

If rectal tenesmus is an attribute of an entity holds during a time position,
then the entity desires there exists another entity such that the other entity is an instance of defecation and the entity is an agent of the other entity and the entity doesn't need there exists the other entity such that the other entity is an instance of defecation and the entity is an agent of the other entity holds during the time position

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