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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SewageDisposal

 Sigma KEE - SewageDisposal
SewageDisposal(污水處理)
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 子類 污水處理 and 衛生

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