Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SpeakingALongUtterance(speaking a long utterance) |
| appearance as argument number 1 |
|
| (subclass SpeakingALongUtterance EmotionalSpeakingBehavior) | emotion.kif 2947-2947 | Speaking a long utterance is a subclass of emotional speaking behavior |
| (documentation SpeakingALongUtterance EnglishLanguage "Speaking behavior in which a long utterance is produced.") | emotion.kif 2948-2949 | Speaking a long utterance is a subclass of emotional speaking behavior |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SpeakingALongUtterance "speaking a long utterance") | emotion.kif 2945-2946 |
| antecedent |
|
|
| (=> (and (instance ?SS SpeakingAShortUtterance) (instance ?SL SpeakingALongUtterance) (instance ?U UnitOfDuration) (duration (WhenFn ?SS) (MeasureFn ?D1 ?U)) (duration (WhenFn ?SL) (MeasureFn ?D2 ?U))) (greaterThan ?D2 ?D1)) |
emotion.kif 2957-2966 | If X is an instance of speaking a short utterance, Y is an instance of speaking a long utterance, Z is an instance of unit of duration, duration of the time of existence of X is W Z(s), and duration of the time of existence of Y is V Z(s), then V is greater than W |
|