| 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. | Anatomy.kif 271-271 | 子類 RibBone and ThoraxBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 275-275 | 子類 LeftRibBone and RibBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 279-279 | 子類 RightRibBone and RibBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 283-283 | 子類 TrueRibBone and RibBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 287-287 | 子類 FloatingRibBone and RibBone |
|
|