| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15201-15201 | 子類 Bone and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 18-18 | 子類 Bone and Bone |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11231-11231 | 子類 RibBone and Bone |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11470-11470 | 子類 齒 and Bone |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11510-11510 | 子類 喇叭 and Bone |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11521-11521 | 子類 象牙 and Bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 52-52 | 子類 HeadBone and Bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 202-202 | 子類 ThroatBone and Bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 213-213 | 子類 ShoulderGirdleBone and Bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 246-246 | 子類 ThoraxBone and Bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 685-685 | 子類 ArmBone and Bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1000-1000 | 子類 PelvicBone and Bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1017-1017 | 子類 Sacrum and Bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1026-1026 | 子類 Coccyx and Bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1032-1032 | 子類 LegBone and Bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1099-1099 | 子類 FootBone and Bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1283-1283 | 子類 Phalanx and Bone |
|
|