|
|
   MovingTowardsPeople
|
|
|
| appearance as argument number 1 |
|
|
| (documentation MovingTowardsPeople EnglishLanguage "A bodily movement behavior which involves moving, or leaning, towards people (approach).") | emotion.kif 1414-1415 | |
| (subclass MovingTowardsPeople EmotionalBodilyMovementBehavior) | emotion.kif 1416-1416 | |
| (subclass MovingTowardsPeople Translocation) | emotion.kif 1417-1417 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage MovingTowardsPeople "moving towards people") | emotion.kif 1413-1413 |
| antecedent |
|
|
| (=> (and (instance ?MTP MovingTowardsPeople) (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 ?D1 ?D2)))) |
emotion.kif 1427-1445 | |
| (=> (and (instance ?MTP MovingTowardsPeople) (origin ?MTP ?O) (destination ?MTP ?D)) (not (equal ?O ?D))) |
emotion.kif 1419-1425 |
|
|
|