No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 432-432 | 子類 LeftFalseRib9Bone and VertebrochondralRibBone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 434-434 | 子類 LeftFalseRib9Bone and LeftRibBone |