|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3637-3637 | 瓦倫西亞西班牙 是 西班牙 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3651-3651 | 維多利亞西班牙 是 西班牙 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3698-3698 | 薩拉戈薩西班牙 是 西班牙 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3700-3700 | Zarautz西班牙 是 西班牙 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3709-3709 | Zumaia西班牙 是 西班牙 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3711-3711 | Zumarraga西班牙 是 西班牙 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4076-4076 | 名 "Spain" and 西班牙 |
| 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