|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12052-12052 | 子類 胃 and 動物解剖結構 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10997-10997 | 子類 尾巴 and 動物解剖結構 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11748-11748 | 子類 喉 and 動物解剖結構 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12784-12784 | 子類 腳趾 and 動物解剖結構 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11460-11460 | 子類 舌 and 動物解剖結構 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12833-12833 | 子類 軀幹 and 動物解剖結構 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7560-7560 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7559-7559 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7558-7558 |
|
|
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