|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11457-11457 | 蹄 是 动物解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12095-12095 | 下丘脑 是 动物解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12034-12034 | 肠 是 动物解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11267-11267 | 肾 是 动物解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12549-12549 | 肢 是 动物解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11588-11588 | 唇 是 动物解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11417-11417 | 肝 是 动物解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11187-11187 | 肺 是 动物解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11421-11421 | 口 是 动物解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12520-12520 | 指甲数字 是 动物解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12870-12870 | 颈部 是 动物解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10754-10754 | 神经细胞 是 动物解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11446-11446 | 神经系统 是 动物解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12190-12190 | 鼻子 是 动物解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11313-11313 | 鼻孔 是 动物解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11387-11387 | Pericardium 是 动物解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12071-12071 | Rectum 是 动物解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12085-12085 | RespiratoryTract 是 动物解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11053-11053 | 视网膜 是 动物解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11239-11239 | RibCage 是 动物解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12780-12780 | 肩 是 动物解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11650-11650 | 骨架 是 动物解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10987-10987 | 皮肤 是 动物解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10939-10939 | 脊柱 是 动物解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11286-11286 | 脾 是 动物解剖结构 的 subclass |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
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