No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 477-477 | 子類 LeftFalseRib12Bone and VertebralRibBone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 481-481 | 子類 LeftFalseRib12Bone and LeftRibBone |
![]() |