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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LaPazBolivia

 Sigma KEE - LaPazBolivia
LaPazBolivia(拉巴斯玻利維亞)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1943-1943
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5763-5763
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5762-5762
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5761-5761
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5759-5759
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5760-5760
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5758-5758
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5638-5638
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3101-3101 拉巴斯玻利維亞 是 玻利維亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1942-1942 例 拉巴斯玻利維亞 and City

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3102-3102 名 "La Paz" and 拉巴斯玻利維亞
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33349-33349
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33348-33348
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33347-33347


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