TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Excrement EnglishLanguage "Excrement refers to the waste matter that is discharged from the body")	Mid-level-ontology.kif 2056-2057
(subclass Excrement BodySubstance)	Mid-level-ontology.kif 2055-2055	Excrement is a subclass of body substance

appearance as argument number 2

(subclass Feces Excrement)	Mid-level-ontology.kif 2069-2069	Feces is a subclass of excrement
(subclass Urine Excrement)	Mid-level-ontology.kif 2087-2087	Urine is a subclass of excrement
(termFormat EnglishLanguage Excrement "excrement")	Mid-level-ontology.kif 2058-2058	Urine is a subclass of excrement

antecedent

(=>
    (instance ?X Excrement)
    (exists (?PROC ?ORG)
        (and
            (instance ?ORG Organism)
            (instance ?PROC PhysiologicProcess)
            (result ?PROC ?X)
            (agent ?PROC ?ORG))))

Mid-level-ontology.kif 2060-2067

If an entity is an instance of excrement,
then there exist a process and an agent such that the agent is an instance of organism and the process is an instance of physiologic process and the entity is a result of the process and the agent is an agent of the process

consequent

(=>
    (instance ?PROC Excreting)
    (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 2111-2120

If a process is an instance of excreting,
then there exist an agent, an entity and an object such that the agent is an instance of organism and the agent is an agent of the process and the entity is a patient of the process and the entity is an instance of excrement and the object is an instance of body part and the object is an instrument for the process

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: