No TPTP formula. May not be expressible in strict first order. | Merge.kif 14971-14971 | 子類 BodyPart and AnatomicalStructure |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1099-1099 | 子類 病毒部分 and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 805-805 | 子類 VocalFold and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6096-6096 | 子類 NasalSeptum and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9473-9473 | 子類 植物分支 and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10571-10571 | 子類 BodySegment and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10878-10878 | 子類 細胞部分 and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11421-11421 | 子類 口 and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11433-11433 | 子類 舌 and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11457-11457 | 子類 蹄 and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11525-11525 | 子類 動物殼 and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11588-11588 | 子類 唇 and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11650-11650 | 子類 骨架 and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11669-11669 | 子類 外骨骼 and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11849-11849 | 子類 Medulla and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11855-11855 | 子類 Pons and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11861-11861 | 子類 ParietalLobe and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11869-11869 | 子類 FrontalLobe and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11877-11877 | 子類 OccipitalLobes and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11884-11884 | 子類 TemporalLobes and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12093-12093 | 子類 下丘腦 and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12133-12133 | 子類 Cornea and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12481-12481 | 子類 數字附屬物 and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12549-12549 | 子類 肢 and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12757-12757 | 子類 腳趾 and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12780-12780 | 子類 肩 and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12806-12806 | 子類 軀幹 and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12822-12822 | 子類 腰部 and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12865-12865 | 子類 頭 and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12870-12870 | 子類 頸部 and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12882-12882 | 子類 面對 and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12918-12918 | 子類 下巴 and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20336-20336 | 子類 羽毛 and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15040-15040 | 子類 ReproductiveBody and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15094-15094 | 子類 BodyCovering and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15108-15108 | 子類 BodyJunction and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15120-15120 | 子類 體腔 and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15128-15128 | 子類 Cell and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15132-15132 | 子類 Organ and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15223-15223 | 子類 Bone and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15251-15251 | 子類 Muscle and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5654-5654 | 子類 HumanBack and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2546-2546 | 子類 EggYolk and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 259-259 | 子類 XyphiodProcess and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1434-1434 | 子類 Eyebrow and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1483-1483 | 子類 Forehead and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1611-1611 | 子類 Auricle and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1623-1623 | 子類 Eardrum and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1658-1658 | 子類 Jaw and BodyPart |
![]() |