No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14915-14915 |
劃分 AnatomicalStructure, 動物解剖結構 and 植物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12817-12817 |
子類 Abdomen and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11092-11092 |
子類 肺泡 and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11525-11525 |
子類 動物殼 and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10152-10152 |
子類 血細胞 and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11078-11078 |
子類 血管 and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11847-11847 |
子類 腦 and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12828-12828 |
子類 乳房 and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11066-11066 |
子類 支氣管 and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11213-11213 |
子類 Chest and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12918-12918 |
子類 下巴 and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12481-12481 |
子類 數字附屬物 and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12141-12141 |
子類 耳 and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15025-15025 |
子類 蛋 and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11669-11669 |
子類 外骨骼 and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12107-12107 |
子類 眼睛 and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12882-12882 |
子類 面對 and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20336-20336 |
子類 羽毛 and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12697-12697 |
子類 足 and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12051-12051 |
子類 GastroIntestinalTract and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 265-265 |
子類 Gills and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11781-11781 |
子類 頭髮 and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12469-12469 |
子類 手 and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12865-12865 |
子類 頭 and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11336-11336 |
子類 心 and 動物解剖結構 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |