No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3555-3555 |
Ukranian hryvnia is a currency type of ukraine |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1374-1374 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 599-599 |
Country in transition is an economy type of ukraine |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 810-810 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 306-306 |
Ukraine is a geographic subregion of eastern europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 307-307 |
Ukraine is an instance of nation |