No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 315-315 |
Denmark is a geographic subregion of northern europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 317-317 |
Faroe islands is a geographic subregion of northern europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 318-318 |
Finland is a geographic subregion of northern europe |
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 322-322 |
Jan mayen island is a geographic subregion of northern europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 323-323 |
Norway is a geographic subregion of northern europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 325-325 |
Svalbard is a geographic subregion of northern europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 326-326 |
Sweden is a geographic subregion of northern europe |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 116-116 |
Northern europe has name "Northern Europe" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41081-41081 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41080-41080 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41079-41079 |
|