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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Excrement
Excrement(excrement)body_waste, excrement, excreta, excretion, excretory_product, human_waste

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2063-2064
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2062-2062 Excrement is a subclass of body substance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2076-2076 Feces is a subclass of excrement
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2094-2094 Urine is a subclass of excrement
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2065-2065

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2067-2074

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2118-2127


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