Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| MovingTowardsPeople(moving towards people) |
| appearance as argument number 1 |
|
| (documentation MovingTowardsPeople EnglishLanguage "A bodily movement behavior which involves moving, or leaning, towards people (approach).") | emotion.kif 2287-2288 | |
| (subclass MovingTowardsPeople EmotionalBodilyMovementBehavior) | emotion.kif 2289-2289 | Moving towards people is a subclass of emotional bodily movement behavior |
| (subclass MovingTowardsPeople Translocation) | emotion.kif 2290-2290 | Moving towards people is a subclass of translocation |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage MovingTowardsPeople "moving towards people") | emotion.kif 2286-2286 |
| antecedent |
|
|
| (=> (and (instance ?MTP MovingTowardsPeople) (origin ?MTP ?O) (destination ?MTP ?D)) (not (equal ?O ?D))) |
emotion.kif 2292-2298 | If X is an instance of moving towards people, X originates at Y, and X ends up at Z, then equal Y and Z |
| (=> (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 2300-2318 | If X is an instance of moving towards 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 V is greater than U |
|