No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3225-3225 |
Euro dollar is a currency type of ireland |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1264-1264 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 546-546 |
Advanced economy is an economy type of ireland |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 160-160 |
Developed country is an economy type of ireland |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 520-520 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 353-353 |
Ireland is a geographic subregion of western europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 354-354 |
Ireland is an instance of european nation |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3207-3207 |
Ireland is a member of european monetary union |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6966-6966 |
Ireland is west to Wales |