No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3205-3205 |
currencyType Iceland and IcelandicKrona |
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 |
economyType Iceland and AdvancedEconomy |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 159-159 |
economyType Iceland and DevelopedCountry |
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 |
geographicSubregion Iceland and NorthernEurope |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 321-321 |
Iceland est une instance de EuropeanNation |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1257-1257 |
Iceland est une instance de �le |