|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12024-12024 | 胃 是 动物解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10969-10969 | 尾巴 是 动物解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11720-11720 | 喉 是 动物解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12756-12756 | 脚趾 是 动物解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11432-11432 | 舌 是 动物解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12805-12805 | 躯干 是 动物解剖结构 的 subclass |
| 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