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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Kyrgyzstan

Sigma KEE - Kyrgyzstan
Kyrgyzstan(kyrgyzstan)
Kirghiz, Kirghizia, Kirghizstan, Kirgiz, Kirgizia, Kirgizstan, Kyrgyz_Republic, Kyrgyzstan

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3261-3261 Kyrgyzstani som is a currency type of kyrgyzstan
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1273-1273
No TPTP formula. May not be expressible in strict first order. Economy.kif 586-586 Country in transition is an economy type of kyrgyzstan
No TPTP formula. May not be expressible in strict first order. pictureList.kif 544-544
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 531-531 Kyrgyzstan is a geographic subregion of central asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 532-532 Kyrgyzstan is an instance of nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4143-4143 Kyrgyzstan has name "Kyrgyzstan"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32971-32971
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32970-32970
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32969-32969

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2731-2731 "KG" in ISO-3166-1-alpha-2 denotes kyrgyzstan


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