No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 691-691 | 子類 Humerus and ArmBone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 695-695 | 子類 LeftHumerus and Humerus |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 699-699 | 子類 RightHumerus and Humerus |