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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BishkekKyrgyzstan

 Sigma KEE - BishkekKyrgyzstan
BishkekKyrgyzstan(吉爾吉斯首都比什凱克)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1557-1557
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8381-8381
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8988-8988
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8989-8989
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8993-8993
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8990-8990
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8991-8991
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5659-5659
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8992-8992
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3595-3595 吉爾吉斯首都比什凱克 是 中國 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1556-1556 例 吉爾吉斯首都比什凱克 and City
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3594-3594 例 吉爾吉斯首都比什凱克 and GeographicArea

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3596-3596 名 "The Kyrgyz capital Bishkek." and 吉爾吉斯首都比什凱克
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57836-57836
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11195-11195
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57835-57835
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11194-11194
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11193-11193
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57834-57834


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