|
| 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 |
|
|
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