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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PhnomPenhCambodia

 Sigma KEE - PhnomPenhCambodia
PhnomPenhCambodia(金邊柬埔寨)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2204-2204
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1326-1326
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3395-3395 金邊柬埔寨 是 柬埔寨 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2203-2203 例 金邊柬埔寨 and City

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3396-3396 名 "Phnom Penh" and 金邊柬埔寨
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45590-45590
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45589-45589
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45588-45588


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