![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
beforeOnPath
|
|
|
| appearance as argument number 1 |
|
|
| (documentation SpeakingAtAFasterRate EnglishLanguage "Speaking in a manner that is faster than the norm for that person.") | emotion.kif 2865-2866 | |
| (subclass SpeakingAtAFasterRate EmotionalSpeakingBehavior) | emotion.kif 2867-2867 | Speaking at a faster rate is a subclass of emotional speaking behavior |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SpeakingAtAFasterRate "speaking at a faster rate") | emotion.kif 2868-2869 |
| antecedent |
|
|
| (=> (and (instance ?SF SpeakingAtAFasterRate) (instance ?SS SpeakingAtASlowerRate) (instance ?U UnitOfDuration) (agent ?SF ?A) (agent ?SS ?A) (containsInformation ?SF ?I) (containsInformation ?SS ?I) (duration (WhenFn ?SF) (MeasureFn ?FAST ?U)) (duration (WhenFn ?SS) (MeasureFn ?SLOW ?U))) (greaterThan ?FAST ?SLOW)) |
emotion.kif 2871-2884 | If All of the following hold: (1) X is an instance of speaking at a faster rate (2) Y is an instance of speaking at a slower rate (3) Z is an instance of unit of duration (4) W is an agent of X (5) W is an agent of Y (6) X contains information V (7) Y contains information V (8) duration of the time of existence of X is U Z(s) (9) duration of the time of existence of Y is T Z(s), then U is greater than T |