No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14937-14937 |
解剖结构 详尽无遗地 partition 成 动物解剖结构 和 植物解剖结构 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12816-12816 |
Abdomen 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11091-11091 |
肺泡 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11524-11524 |
动物壳 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10151-10151 |
血细胞 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11077-11077 |
血管 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11846-11846 |
脑 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12827-12827 |
乳房 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11065-11065 |
支气管 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11212-11212 |
Chest 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12917-12917 |
下巴 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12480-12480 |
数字附属物 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12140-12140 |
耳 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15047-15047 |
蛋 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11668-11668 |
外骨骼 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12106-12106 |
眼睛 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12881-12881 |
面对 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20335-20335 |
羽毛 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12696-12696 |
足 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12050-12050 |
GastroIntestinalTract 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 265-265 |
Gills 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11780-11780 |
头发 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12468-12468 |
手 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12864-12864 |
头 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11335-11335 |
心 是 动物解剖结构 的 subclass |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |