(subclass Tibia LegBone) | Anatomy.kif 1067-1067 | Tibia は LegBone の subclass では %n |
(subclass LeftTibia Tibia) | Anatomy.kif 1071-1071 | LeftTibia は Tibia の subclass では %n |
(subclass RightTibia Tibia) | Anatomy.kif 1077-1077 | RightTibia は Tibia の subclass では %n |