(subclass CuboidBone AnkleBone) | Anatomy.kif 1208-1208 | CuboidBone は AnkleBone の subclass では %n |
(subclass LeftCuboidBone CuboidBone) | Anatomy.kif 1212-1212 | LeftCuboidBone は CuboidBone の subclass では %n |
(subclass RightCuboidBone CuboidBone) | Anatomy.kif 1218-1218 | RightCuboidBone は CuboidBone の subclass では %n |