No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3245-3245 |
Kazakhstani tenge is a currency type of kazakhstan |
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 |
Country in transition is an economy type of kazakhstan |
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 |
Kazakhstan is a geographic subregion of central asia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 530-530 |
Kazakhstan is an instance of nation |