No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 137-137 | 子類 PalatineBone and FacialBone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 138-138 | 子類 LeftPalatineBone and PalatineBone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 142-142 | 子類 RightPalatineBone and PalatineBone |
![]() |