| appearance as argument number 1 |
|
| (documentation LateralRecumbant EnglishLanguage "The BodyPosition of lying on one's side.") | Anatomy.kif 1833-1833 | |
| (instance LateralRecumbant BodyPosition) | Anatomy.kif 1831-1831 | |
| (subAttribute LateralRecumbant Prostrate) | Anatomy.kif 1832-1832 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage LateralRecumbant "lateral recumbant") | Anatomy.kif 1835-1835 | |
| (termFormat EnglishLanguage LateralRecumbant "lying on one's side") | Anatomy.kif 1834-1834 |
| 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 1837-1859 | |
| (=> (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 1861-1883 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners