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 子類 衛生 and Removing

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2920-2920 子類 污水處理 and 衛生
No TPTP formula. May not be expressible in strict first order. Geography.kif 2921-2921 子類 固體廢物處理 and 衛生
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