| appearance as argument number 1 |
|
| (subclass SpeakingAShortUtterance EmotionalSpeakingBehavior) | emotion.kif 2752-2752 | Speaking a short utterance is a subclass of emotional speaking behavior |
| (documentation SpeakingAShortUtterance EnglishLanguage "Speaking behavior in which a short utterance is produced.") | emotion.kif 2753-2754 | Speaking a short utterance is a subclass of emotional speaking behavior |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SpeakingAShortUtterance "speaking a short utterance") | emotion.kif 2755-2756 |
| 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