No TPTP formula. May not be expressible in strict first order. | Merge.kif 14996-14996 | 动物解剖结构 是 解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10152-10152 | 血细胞 是 动物解剖结构 的 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 10939-10939 | 脊柱 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10970-10970 | 尾巴 是 动物解剖结构 的 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 11053-11053 | 视网膜 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11066-11066 | 支气管 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11078-11078 | 血管 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11092-11092 | 肺泡 是 动物解剖结构 的 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 11213-11213 | Chest 是 动物解剖结构 的 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 11267-11267 | 肾 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11286-11286 | 脾 是 动物解剖结构 的 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 11336-11336 | 心 是 动物解剖结构 的 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 11417-11417 | 肝 是 动物解剖结构 的 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 11433-11433 | 舌 是 动物解剖结构 的 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 11457-11457 | 蹄 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11525-11525 | 动物壳 是 动物解剖结构 的 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 11650-11650 | 骨架 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11669-11669 | 外骨骼 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11721-11721 | 喉 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11781-11781 | 头发 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11847-11847 | 脑 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12025-12025 | 胃 是 动物解剖结构 的 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 12051-12051 | GastroIntestinalTract 是 动物解剖结构 的 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 12095-12095 | 下丘脑 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12107-12107 | 眼睛 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12141-12141 | 耳 是 动物解剖结构 的 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 12469-12469 | 手 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12481-12481 | 数字附属物 是 动物解剖结构 的 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 12549-12549 | 肢 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12697-12697 | 足 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12757-12757 | 脚趾 是 动物解剖结构 的 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 12806-12806 | 躯干 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12817-12817 | Abdomen 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12828-12828 | 乳房 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12865-12865 | 头 是 动物解剖结构 的 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 12882-12882 | 面对 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12918-12918 | 下巴 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20336-20336 | 羽毛 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15025-15025 | 蛋 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 265-265 | Gills 是 动物解剖结构 的 subclass |