Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| MovingAwayFromPeople(moving away from people) |
| appearance as argument number 1 |
|
| (subclass MovingAwayFromPeople EmotionalBodilyMovementBehavior) | emotion.kif 2253-2253 | Moving away from people is a subclass of emotional bodily movement behavior |
| (documentation MovingAwayFromPeople EnglishLanguage "A bodily movement behavior which involves moving, or leaning, away from people (avoidance).") | emotion.kif 2255-2256 | Moving away from people is a subclass of emotional bodily movement behavior |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage MovingAwayFromPeople "moving away from people") | emotion.kif 2254-2254 |
| antecedent |
|
|
| (=> (and (instance ?MTP MovingAwayFromPeople) (origin ?MTP ?O) (destination ?MTP ?D)) (not (equal ?O ?D))) |
emotion.kif 2258-2264 | If X is an instance of moving away from people, X originates at Y, and X ends up at Z, then equal Y and Z |
| (=> (and (instance ?MTP MovingAwayFromPeople) (agent ?MTP ?A)) (exists (?P ?U ?D1 ?D2) (and (instance ?P Human) (instance ?U UnitOfLength) (holdsDuring (ImmediatePastFn (WhenFn ?MTP)) (distance ?MTP ?A (MeasureFn ?D1 ?U))) (holdsDuring (ImmediateFutureFn (WhenFn ?MTP)) (distance ?MTP ?A (MeasureFn ?D2 ?U))) (greaterThan ?D2 ?D1)))) |
emotion.kif 2266-2284 | If X is an instance of moving away from people and Y is an agent of X, then there exist Z, W,, , V and U such that Z is an instance of human and W is an instance of unit of length and the distance between X and Y is V W(s) holds during immediately before the time of existence of X and the distance between X and Y is U W(s) holds during immediately after the time of existence of X and U is greater than V |
|