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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BishkekKyrgyzstan

 Sigma KEE - BishkekKyrgyzstan
BishkekKyrgyzstan(the Kyrgyz capital Bishkek)
more pictures...		Bishkek, Biskek, Frunze, capital_of_Kyrgyzstan

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 The Kyrgyz capital Bishkek is a geographic subregion of china
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1556-1556 The Kyrgyz capital Bishkek is an instance of city
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3594-3594 The Kyrgyz capital Bishkek is an instance of geographic area

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3596-3596 The Kyrgyz capital Bishkek has name "The Kyrgyz capital Bishkek."
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