|
|
   RightArm
|
|
|
| appearance as argument number 1 |
|
|
| (subclass RightArm (BodySideFn Right Arm)) |
Medicine.kif 2861-2861 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage RightArm "right arm") | Medicine.kif 2862-2862 |
| antecedent |
|
|
| (=> (and (holdsDuring ?T (and (attribute ?H LateralRecumbant) (orientation ?H ?O On))) (instance ?LA LeftArm) (part ?LA ?H) (instance ?RA RightArm) (part ?RA ?H) (instance ?LL LeftLeg) (part ?LL ?H) (instance ?RL RightLeg) (part ?RL ?H) (or (meetsSpatially ?LA ?O) (meetsSpatially ?LL ?O))) (holdsDuring ?T (and (not (meetsSpatially ?RA ?O)) (not (meetsSpatially ?RL ?O))))) |
Anatomy.kif 1838-1860 | |
| (=> (and (holdsDuring ?T (and (attribute ?H LateralRecumbant) (orientation ?H ?O On))) (instance ?LA LeftArm) (part ?LA ?H) (instance ?RA RightArm) (part ?RA ?H) (instance ?LL LeftLeg) (part ?LL ?H) (instance ?RL RightLeg) (part ?RL ?H) (or (meetsSpatially ?RA ?O) (meetsSpatially ?RL ?O))) (holdsDuring ?T (and (not (meetsSpatially ?LA ?O)) (not (meetsSpatially ?LL ?O))))) |
Anatomy.kif 1862-1884 |
|
|
|