| 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. | Anatomy.kif 18-18 | 骨骼 是 骨骼 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11231-11231 | RibBone 是 骨骼 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11470-11470 | 齿 是 骨骼 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11510-11510 | 喇叭 是 骨骼 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11521-11521 | 象牙 是 骨骼 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 52-52 | HeadBone 是 骨骼 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 202-202 | ThroatBone 是 骨骼 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 213-213 | ShoulderGirdleBone 是 骨骼 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 246-246 | ThoraxBone 是 骨骼 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 685-685 | ArmBone 是 骨骼 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1000-1000 | PelvicBone 是 骨骼 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1017-1017 | Sacrum 是 骨骼 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1026-1026 | Coccyx 是 骨骼 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1032-1032 | LegBone 是 骨骼 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1099-1099 | FootBone 是 骨骼 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1283-1283 | Phalanx 是 骨骼 的 subclass |
|
|