Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Excrement
Excrement

appearance as argument number 1
-------------------------


(documentation Excrement EnglishLanguage "Excrement refers to the waste matter that is discharged from the body") Mid-level-ontology.kif 2000-2001
(subclass Excrement BodySubstance) Mid-level-ontology.kif 1999-1999

appearance as argument number 2
-------------------------


(subclass Feces Excrement) Mid-level-ontology.kif 2013-2013
(subclass Urine Excrement) Mid-level-ontology.kif 2031-2031
(termFormat EnglishLanguage Excrement "excrement") Mid-level-ontology.kif 2002-2002

antecedent
-------------------------


(=>
    (instance ?X Excrement)
    (exists (?PROC ?ORG)
        (and
            (instance ?ORG Organism)
            (instance ?PROC PhysiologicProcess)
            (result ?PROC ?X)
            (agent ?PROC ?ORG))))
Mid-level-ontology.kif 2004-2011

consequent
-------------------------


(=>
    (instance ?PROC Excretion)
    (exists (?ORG ?WASTE ?PART)
        (and
            (instance ?ORG Organism)
            (agent ?PROC ?ORG)
            (patient ?PROC ?WASTE)
            (instance ?WASTE Excrement)
            (instance ?PART BodyPart)
            (instrument ?PROC ?PART))))
Mid-level-ontology.kif 2054-2063


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