| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 685-685 | 子類 ArmBone and Bone |
| 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 704-704 | 子類 Ulna and ArmBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 722-722 | 子類 Radius and ArmBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 741-741 | 子類 WristBone and ArmBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 829-829 | 子類 PalmBone and ArmBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 877-877 | 子類 FingerBone and ArmBone |
|
|