Defecation - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Defecation EnglishLanguage "Defecation is a type of Excretion that discharges Feces")	Mid-level-ontology.kif 2596-2597
(subclass Defecation Excretion)	Mid-level-ontology.kif 2595-2595	Defecation is a subclass of excretion

appearance as argument number 2

(termFormat EnglishLanguage Defecation "defecation")

Mid-level-ontology.kif 2598-2598

antecedent

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

Mid-level-ontology.kif 2600-2605

If a process is an instance of defecation,
then there exists an entity such that the entity is an instance of feces and the entity is a patient of the process

consequent

(=> (instance ?X Bidet) (hasPurpose ?X (exists (?PROC ?WASH ?PART) (and (or (instance ?PROC Defecation) (instance ?PROC Urination)) (instrument ?PROC ?PART) (instance ?WASH Washing) (patient ?WASH ?PART) (instrument ?WASH ?X) (before (BeginFn (WhenFn ?PROC)) (BeginFn (WhenFn ?WASH)))))))	Mid-level-ontology.kif 2637-2651	If a physical is an instance of bidet, then the physical 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 third entity is a patient of the other 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 2664-2672	If a physical is an instance of toilet, then the physical 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: