| 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 757-757 | 子類 LeftLunate and LunateBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 800-800 | 子類 RightLunate and LunateBone |
|
|