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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SewageDisposal
SewageDisposal(sewage disposal)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 9626-9626
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9623-9623
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9628-9628
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9627-9627
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8700-8700
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9625-9625
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9629-9629
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9624-9624
No TPTP formula. May not be expressible in strict first order. Geography.kif 2920-2920 Sewage disposal is a subclass of sanitation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52365-52365
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52364-52364
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52363-52363


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