| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11230-11230 | RibBone 是 骨骼 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 271-271 | RibBone 是 ThoraxBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 275-275 | LeftRibBone 是 RibBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 279-279 | RightRibBone 是 RibBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 283-283 | TrueRibBone 是 RibBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 287-287 | FloatingRibBone 是 RibBone 的 subclass |
|
|