No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3413-3413 |
Euro dollar is a currency type of portugal |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1325-1325 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 555-555 |
Advanced economy is an economy type of portugal |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 172-172 |
Developed country is an economy type of portugal |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 675-675 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 393-393 |
Portugal is a geographic subregion of southwestern europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 394-394 |
Portugal is an instance of european nation |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3214-3214 |
Portugal is a member of european monetary union |