Defecation - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Defecation EnglishLanguage "Defecation is a type of Excreting that discharges Feces")	Mid-level-ontology.kif 2604-2605
(subclass Defecation Excreting)	Mid-level-ontology.kif 2603-2603	Defecation is a subclass of excreting

appearance as argument number 2

(termFormat EnglishLanguage Defecation "defecation")

Mid-level-ontology.kif 2606-2606

antecedent

(=>
    (instance ?PROC Defecation)
    (exists (?FECES)
        (and
            (instance ?FECES Feces)
            (objectTransferred ?PROC ?FECES))))

Mid-level-ontology.kif 2608-2613

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

(=> (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 5117-5132	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
(=> (instance ?X Bidet) (hasPurpose ?X (exists (?PROC ?WASH ?PART) (and (or (instance ?PROC Defecation) (instance ?PROC Urination)) (instrument ?PROC ?PART) (instance ?WASH Washing) (objectTransferred ?WASH ?PART) (instrument ?WASH ?X) (before (BeginFn (WhenFn ?PROC)) (BeginFn (WhenFn ?WASH)))))))	Mid-level-ontology.kif 2644-2658	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
(=> (instance ?X Toilet) (hasPurpose ?X (exists (?PROC) (and (or (instance ?PROC Defecation) (instance ?PROC Urination)) (destination ?PROC ?X)))))	Mid-level-ontology.kif 2671-2679	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

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

KB Term:			Term intersection

English Word: