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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Sanitation

 Sigma KEE - Sanitation
Sanitation(卫生)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2917-2918
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6836-6836
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7804-7804
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7805-7805
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7807-7807
No TPTP formula. May not be expressible in strict first order. Geography.kif 2915-2915 卫生 是 移除 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2920-2920 污水处理 是 卫生 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 2921-2921 固体废物处理 是 卫生 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51129-51129
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51128-51128
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51127-51127


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