No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3145-3145 |
Euro dollar is a currency type of finland |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1237-1237 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 540-540 |
Advanced economy is an economy type of finland |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 154-154 |
Developed country is an economy type of finland |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 430-430 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 318-318 |
Finland is a geographic subregion of northern europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 319-319 |
Finland is an instance of european nation |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3203-3203 |
Finland is a member of european monetary union |