No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 190-190 | 子類 StapesBone and InnerEarBone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 191-191 | 子類 LeftStapesBone and StapesBone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 195-195 | 子類 RightStapesBone and StapesBone |