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 350-350 |
France is a geographic subregion of western europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 352-352 |
Guernsey is a geographic subregion of western europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 353-353 |
Ireland is a geographic subregion of western europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 358-358 |
Isle of man is a geographic subregion of western europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 355-355 |
Jersey is a geographic subregion of western europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 356-356 |
Luxembourg is a geographic subregion of western europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 359-359 |
Monaco is a geographic subregion of western europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 361-361 |
Netherlands is a geographic subregion of western europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 363-363 |
United kingdom is a geographic subregion of western europe |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 118-118 |
Western europe has name "Western Europe" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62775-62775 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62774-62774 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62773-62773 |
|