| appearance as argument number 1 |
|
| (subclass SpeakingALongUtterance EmotionalSpeakingBehavior) | emotion.kif 2748-2748 | 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 2749-2750 | 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 2746-2747 |
| 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 2758-2767 | 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners