No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 390-390 |
Andorra is a geographic subregion of southwestern europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 392-392 |
Gibraltar is a geographic subregion of southwestern europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 393-393 |
Portugal is a geographic subregion of southwestern europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 395-395 |
Spain is a geographic subregion of southwestern europe |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 120-120 |
Southwestern europe has name "Southwestern Europe" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54354-54354 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54353-54353 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54352-54352 |
|