No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11456-11456 |
子類 蹄 and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12094-12094 |
子類 下丘腦 and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12033-12033 |
子類 腸 and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11266-11266 |
子類 腎 and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12548-12548 |
子類 肢 and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11587-11587 |
子類 唇 and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11416-11416 |
子類 肝 and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11186-11186 |
子類 肺 and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11420-11420 |
子類 口 and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12519-12519 |
子類 指甲數字 and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12869-12869 |
子類 頸部 and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10753-10753 |
子類 神經細胞 and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11445-11445 |
子類 神經系統 and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12189-12189 |
子類 鼻子 and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11312-11312 |
子類 鼻孔 and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11386-11386 |
子類 Pericardium and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12070-12070 |
子類 Rectum and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12084-12084 |
子類 RespiratoryTract and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11052-11052 |
子類 視網膜 and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11238-11238 |
子類 RibCage and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12779-12779 |
子類 肩 and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11649-11649 |
子類 骨架 and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10986-10986 |
子類 皮膚 and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10938-10938 |
子類 脊柱 and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11285-11285 |
子類 脾 and 動物解剖結構 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |