Defecation - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2142-2143
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2141-2141	Defecation is a subclass of excreting

appearance as argument number 2

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

Mid-level-ontology.kif 2144-2144

antecedent

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

Mid-level-ontology.kif 2146-2151

If a transfer is an instance of defecation,
then there exists an object such that the object is an instance of feces and the object transferred in the transfer is the object

consequent

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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2182-2196	If a physical is an instance of bidet, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of defecation or the entity is an instance of urination and the third entity is an instrument for the entity and the other entity is an instance of washing and the object transferred in the other entity is the third entity and the physical is an instrument for the other entity and the beginning of the time of existence of the entity happens before the beginning of the time of existence of the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2209-2217	If a physical is an instance of toilet, then the physical has the purpose there exists an entity such that the entity is an instance of defecation or the entity is an instance of urination and the entity ends up at the physical