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 | 子類 MovingTowardsPeople and EmotionalBodilyMovementBehavior |
(subclass MovingTowardsPeople Translocation) | emotion.kif 1417-1417 | 子類 MovingTowardsPeople and 易位 |
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 |