| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14971-14971 | 身体部位 是 解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1099-1099 | 病毒部分 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 805-805 | VocalFold 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6096-6096 | NasalSeptum 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9473-9473 | 植物分支 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10571-10571 | BodySegment 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10878-10878 | 细胞部分 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11421-11421 | 口 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11433-11433 | 舌 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11457-11457 | 蹄 是 身体部位 的 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 11588-11588 | 唇 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11650-11650 | 骨架 是 身体部位 的 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 11849-11849 | Medulla 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11855-11855 | Pons 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11861-11861 | ParietalLobe 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11869-11869 | FrontalLobe 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11877-11877 | OccipitalLobes 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11884-11884 | TemporalLobes 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12093-12093 | 下丘脑 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12133-12133 | Cornea 是 身体部位 的 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 12549-12549 | 肢 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12757-12757 | 脚趾 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12780-12780 | 肩 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12806-12806 | 躯干 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12822-12822 | 腰部 是 身体部位 的 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 12870-12870 | 颈部 是 身体部位 的 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 12918-12918 | 下巴 是 身体部位 的 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. | Merge.kif 15040-15040 | 繁殖体 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15094-15094 | 身体外层 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15108-15108 | 身体连接处 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15120-15120 | 体腔 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15128-15128 | 细胞 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15132-15132 | 器官 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15223-15223 | 骨骼 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15251-15251 | 肌肉 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5654-5654 | HumanBack 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2546-2546 | EggYolk 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 259-259 | XyphiodProcess 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1434-1434 | Eyebrow 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1483-1483 | Forehead 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1611-1611 | Auricle 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1623-1623 | Eardrum 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1658-1658 | Jaw 是 身体部位 的 subclass |
|
|