Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| LateralRecumbant(lateral recumbant) |
| appearance as argument number 1 |
|
| (instance LateralRecumbant BodyPosition) | Anatomy.kif 1854-1854 | Lateral recumbant is an instance of body position |
| (subAttribute LateralRecumbant Prostrate) | Anatomy.kif 1855-1855 | Lateral recumbant is a subattribute of prostrate |
| (documentation LateralRecumbant EnglishLanguage "The BodyPosition of lying on one's side.") | Anatomy.kif 1856-1856 | Lateral recumbant is a subattribute of prostrate |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage LateralRecumbant "lying on one's side") | Anatomy.kif 1857-1857 | |
| (termFormat EnglishLanguage LateralRecumbant "lateral recumbant") | Anatomy.kif 1858-1858 |
| 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 1860-1882 | If All of the following hold: (1) lateral recumbant is an attribute of X and X is on to Y holds during Z (2) W is an instance of left arm (3) W is a part of X (4) V is an instance of right arm (5) V is a part of X (6) U is an instance of left leg (7) U is a part of X (8) T is an instance of right leg (9) T is a part of X (10) W meets Y or U meets Y, then V doesn't meet Y and T doesn't meet Y holds during Z |
| (=> (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 1884-1906 | If All of the following hold: (1) lateral recumbant is an attribute of X and X is on to Y holds during Z (2) W is an instance of left arm (3) W is a part of X (4) V is an instance of right arm (5) V is a part of X (6) U is an instance of left leg (7) U is a part of X (8) T is an instance of right leg (9) T is a part of X (10) V meets Y or T meets Y, then W doesn't meet Y and U doesn't meet Y holds during Z |
|