No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3245-3245 |
currencyType Kazakhstan and KazakhstaniTenge |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1270-1270 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 585-585 |
economyType Kazakhstan and CountryInTransition |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 534-534 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 529-529 |
geographicSubregion Kazakhstan and CentralAsia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 530-530 |
Kazakhstan est une instance de nation |