| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14949-14949 | 身体部位 是 解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1100-1100 | 病毒部分 是 身体部位 的 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 6097-6097 | NasalSeptum 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9474-9474 | 植物分支 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10572-10572 | BodySegment 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10879-10879 | 细胞部分 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11422-11422 | 口 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11434-11434 | 舌 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11458-11458 | 蹄 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11526-11526 | 动物壳 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11589-11589 | 唇 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11651-11651 | 骨架 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11670-11670 | 外骨骼 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11850-11850 | Medulla 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11856-11856 | Pons 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11862-11862 | ParietalLobe 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11870-11870 | FrontalLobe 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11878-11878 | OccipitalLobes 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11885-11885 | TemporalLobes 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12094-12094 | 下丘脑 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12134-12134 | Cornea 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12482-12482 | 数字附属物 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12550-12550 | 肢 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12758-12758 | 脚趾 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12781-12781 | 肩 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12807-12807 | 躯干 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12823-12823 | 腰部 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12866-12866 | 头 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12871-12871 | 颈部 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12883-12883 | 面对 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12919-12919 | 下巴 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20337-20337 | 羽毛 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15018-15018 | 繁殖体 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15072-15072 | 身体外层 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15086-15086 | 身体连接处 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15098-15098 | 体腔 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15106-15106 | 细胞 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15110-15110 | 器官 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15201-15201 | 骨骼 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15229-15229 | 肌肉 是 身体部位 的 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 |
|
|