No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 423-423 | RightFalseRib8Bone est une sous-classe de VertebrochondralRibBone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 425-425 | RightFalseRib8Bone est une sous-classe de RightRibBone |