(subclass RightElbow (BodySideFn Right Elbow)) |
Medicine.kif 2867-2867 | RightElbow は BodySideFn Right and Elbow の subclass では %n |
(subclass RightElbow (BodySideFn Right Shoulder)) |
Medicine.kif 2873-2873 | RightElbow は BodySideFn Right and Shoulder の subclass では %n |