No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1208-1208 | 子類 CuboidBone and AnkleBone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1212-1212 | 子類 LeftCuboidBone and CuboidBone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1218-1218 | 子類 RightCuboidBone and CuboidBone |
![]() |