|
|
  LateralRecumbant
|
|
|
| appearance as argument number 1 |
|
|
| (documentation LateralRecumbant EnglishLanguage "The BodyPosition of lying on one's side.") | Anatomy.kif 1834-1834 | |
| (instance LateralRecumbant BodyPosition) | Anatomy.kif 1832-1832 | |
| (subAttribute LateralRecumbant Prostrate) | Anatomy.kif 1833-1833 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage LateralRecumbant "lateral recumbant") | Anatomy.kif 1836-1836 | |
| (termFormat EnglishLanguage LateralRecumbant "lying on one's side") | Anatomy.kif 1835-1835 |
| 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 |
|
|
|