No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3637-3637 |
Valencia spain is a geographic subregion of spain |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3651-3651 |
Vitoria spain is a geographic subregion of spain |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3698-3698 |
Zaragoza spain is a geographic subregion of spain |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3700-3700 |
Zarauz spain is a geographic subregion of spain |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3709-3709 |
Zumaia spain is a geographic subregion of spain |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3711-3711 |
Zumarraga spain is a geographic subregion of spain |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4076-4076 |
Spain has name "Spain" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54432-54432 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54431-54431 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54430-54430 |
|