Spain |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3637-3637 | geographicSubregion ValenciaSpain and Spain |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3651-3651 | geographicSubregion VitoriaSpain and Spain |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3698-3698 | geographicSubregion ZaragozaSpain and Spain |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3700-3700 | geographicSubregion ZarauzSpain and Spain |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3709-3709 | geographicSubregion ZumaiaSpain and Spain |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3711-3711 | geographicSubregion ZumarragaSpain and Spain |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4076-4076 | Spain s'appele nom "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 |