No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14915-14915 |
解剖结构 详尽无遗地 partition 成 动物解剖结构 和 植物解剖结构 |
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 11092-11092 |
肺泡 是 动物解剖结构 的 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 10152-10152 |
血细胞 是 动物解剖结构 的 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 11847-11847 |
脑 是 动物解剖结构 的 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 11066-11066 |
支气管 是 动物解剖结构 的 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 12918-12918 |
下巴 是 动物解剖结构 的 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 12141-12141 |
耳 是 动物解剖结构 的 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. |
Mid-level-ontology.kif 11669-11669 |
外骨骼 是 动物解剖结构 的 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 12882-12882 |
面对 是 动物解剖结构 的 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. |
Mid-level-ontology.kif 12697-12697 |
足 是 动物解剖结构 的 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. |
Medicine.kif 265-265 |
Gills 是 动物解剖结构 的 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 12469-12469 |
手 是 动物解剖结构 的 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 11336-11336 |
心 是 动物解剖结构 的 subclass |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |