(subclass PisiformBone WristBone) | Anatomy.kif 766-766 | PisiformBone は WristBone の subclass では %n |
(subclass LeftPisiform PisiformBone) | Anatomy.kif 767-767 | LeftPisiform は PisiformBone の subclass では %n |
(subclass RightPisiform PisiformBone) | Anatomy.kif 808-808 | RightPisiform は PisiformBone の subclass では %n |