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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Excreting
Excreting

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2114-2115
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2112-2112 Excreting est une sous-classe de fonction physiologique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2113-2113 Excreting est une sous-classe de supprimer

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


No TPTP formula. May not be expressible in strict first order. emotion.kif 1123-1123 Crying est une sous-classe de Excreting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2141-2141 Defecation est une sous-classe de Excreting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12253-12253 Perspiring est une sous-classe de Excreting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2129-2129 Urination est une sous-classe de Excreting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2116-2116

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


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