No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 172-172 | 子類 MalleusBone and InnerEarBone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 173-173 | 子類 LeftMalleusBone and MalleusBone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 177-177 | 子類 RightMalleusBone and MalleusBone |