No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 390-390 |
geographicSubregion Andorra and SouthwesternEurope |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 392-392 |
geographicSubregion Gibraltar and SouthwesternEurope |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 393-393 |
geographicSubregion Portugal and SouthwesternEurope |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 395-395 |
geographicSubregion Spain and SouthwesternEurope |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 120-120 |
SouthwesternEurope s'appele nom "Southwestern Europe" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54356-54356 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54355-54355 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54354-54354 |
|