RightArm(right arm) |
appearance as argument number 1 |
(subclass RightArm (BodySideFn Right Arm)) |
Medicine.kif 2861-2861 | Right arm is a subclass of the right arm |
appearance as argument number 2 |
(termFormat EnglishLanguage RightArm "right arm") | Medicine.kif 2862-2862 |
antecedent |