| 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 |
|
|
|