No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3133-3133 |
Euro dollar is a currency type of estonia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1234-1234 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 582-582 |
Country in transition is an economy type of estonia |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 415-415 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 298-298 |
Estonia is a geographic subregion of eastern europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 299-299 |
Estonia is an instance of nation |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3202-3202 |
Estonia is a member of european monetary union |