(subclass TalusBone AnkleBone) | Anatomy.kif 1124-1124 | TalusBone は AnkleBone の subclass では %n |
(subclass LeftTalusBone TalusBone) | Anatomy.kif 1128-1128 | LeftTalusBone は TalusBone の subclass では %n |
(subclass RightTalusBone TalusBone) | Anatomy.kif 1134-1134 | RightTalusBone は TalusBone の subclass では %n |