|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3383-3383 | 巴黎 是 法國 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3387-3387 | 波城法國 是 法國 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3460-3460 | 聖阿沃爾德法國 是 法國 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3464-3464 | 聖讓德盧茲法國 是 法國 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3549-3549 | 斯特拉斯堡法國 是 法國 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3653-3653 | Vitrolles法國 是 法國 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4051-4051 | 名 "France" and 法國 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 55-55 | 部分 巴黎 and 法國 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24860-24860 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24859-24859 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24858-24858 |
|
|
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