LeftArm |
appearance as argument number 1 |
(documentation LeftArm EnglishLanguage "The Left Arm of an Animal.") | Medicine.kif 2857-2857 | |
(subclass LeftArm (BodySideFn Left Arm)) |
Medicine.kif 2858-2858 |
appearance as argument number 2 |
(termFormat EnglishLanguage LeftArm "left arm") | Medicine.kif 2859-2859 |
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 |