No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3261-3261 |
currencyType Kyrgyzstan and KyrgyzstaniSom |
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 |
economyType Kyrgyzstan and CountryInTransition |
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 |
geographicSubregion Kyrgyzstan and CentralAsia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 532-532 |
Kyrgyzstan est une instance de nation |