| 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 |
|
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