No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11258-11258 | RibBone est une sous-classe de os |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 271-271 | RibBone est une sous-classe de ThoraxBone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 275-275 | LeftRibBone est une sous-classe de RibBone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 279-279 | RightRibBone est une sous-classe de RibBone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 283-283 | TrueRibBone est une sous-classe de RibBone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 287-287 | FloatingRibBone est une sous-classe de RibBone |