Browsing Interface : Welcome guest : log in
Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - SurprisedVoiceUtterance
SurprisedVoiceUtterance(surprised voice utterance)

appearance as argument number 1
-------------------------


(documentation SurprisedVoiceUtterance EnglishLanguage "Voice utterance canonically associated with the experience of surprise") emotion.kif 2776-2777
(relatedInternalConcept SurprisedVoiceUtterance Surprise) emotion.kif 2780-2780 Surprised voice utterance is internally related to surprise
(subclass SurprisedVoiceUtterance EmotionalVoiceUtterances) emotion.kif 2781-2781 Surprised voice utterance is a subclass of emotional voice utterances

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage SurprisedVoiceUtterance "surprised voice utterance") emotion.kif 2778-2779

antecedent
-------------------------


(=>
    (and
        (instance ?SVU SurprisedVoiceUtterance)
        (agent ?SVU ?A))
    (exists (?S)
        (and
            (instance ?S Surprise)
            (experiencer ?S ?A)
            (causes ?S ?SVU))))
emotion.kif 2783-2791 If X is an instance of surprised voice utterance and Y is an agent of X, then there exists Z such that Z is an instance of surprise, Y experiences Z, and Z causes X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners