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 se chama nome "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


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners