No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3543-3543 |
Turkmen manat is a currency type of turkmenistan |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1371-1371 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 598-598 |
Country in transition is an economy type of turkmenistan |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 804-804 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 535-535 |
Turkmenistan is a geographic subregion of central asia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 536-536 |
Turkmenistan is an instance of nation |