No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3205-3205 |
Icelandic krona is a currency type of iceland |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1258-1258 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 545-545 |
Advanced economy is an economy type of iceland |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 159-159 |
Developed country is an economy type of iceland |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 511-511 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 320-320 |
Iceland is a geographic subregion of northern europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 321-321 |
Iceland is an instance of european nation |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1257-1257 |
Iceland is an instance of island |