| 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 746-746 | 子類 ScaphoidBone and WristBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 751-751 | 子類 NavicularBone and WristBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 756-756 | 子類 LunateBone and WristBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 761-761 | 子類 TriquetralBone and WristBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 766-766 | 子類 PisiformBone and WristBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 771-771 | 子類 TrapeziumBone and WristBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 776-776 | 子類 TrapezoidBone and WristBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 781-781 | 子類 CapitateBone and WristBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 786-786 | 子類 HamateBone and WristBone |
|
|