No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2997-2997 |
Euro dollar is a currency type of belgium |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1192-1192 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 537-537 |
Advanced economy is an economy type of belgium |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 149-149 |
Developed country is an economy type of belgium |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 270-270 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 348-348 |
Belgium is a geographic subregion of western europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 349-349 |
Belgium is an instance of european nation |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2867-2867 |
Belgium is a member of benelux economic union |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3164-3164 |
Belgium is a member of european monetary union |