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 2035-2036
(subclass Excrement BodySubstance)	Mid-level-ontology.kif 2034-2034	Excrement is a subclass of body substance

appearance as argument number 2

(subclass Feces Excrement)	Mid-level-ontology.kif 2048-2048	Feces is a subclass of excrement
(subclass Urine Excrement)	Mid-level-ontology.kif 2066-2066	Urine is a subclass of excrement
(termFormat EnglishLanguage Excrement "excrement")	Mid-level-ontology.kif 2037-2037

antecedent

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

Mid-level-ontology.kif 2039-2046

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 2090-2099

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: