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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Surprise
Surprise(sorpresa)

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


(actionTendency Surprise JawDropping) emotion.kif 179-179
(actionTendency Surprise OpeningEyesWidely) emotion.kif 180-180
(actionTendency Surprise RaisingEyebrows) emotion.kif 181-181
(actionTendency Surprise SurprisedFacialExpression) emotion.kif 174-174
(documentation Surprise EnglishLanguage "Surprise is a neutral emotion caused by encountering unexpected events of all kinds. May be experienced as negative if the surprising event is evaluated as negative, or positive if the surprising event is evaluated as positive. [Source: OCEAS]") emotion.kif 914-918
(documentation Surprise EnglishLanguage "The EmotionalState that one experiences when something unexpected and of significance occurs.") Mid-level-ontology.kif 17152-17153
(instance Surprise EmotionalState) emotion.kif 920-920

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


(relatedInternalConcept SurprisedFacialExpression Surprise) emotion.kif 1256-1256
(relatedInternalConcept SurprisedVoiceUtterance Surprise) emotion.kif 1829-1829
(termFormat ChineseLanguage Surprise "惊喜") domainEnglishFormat.kif 56291-56291
(termFormat ChineseTraditionalLanguage Surprise "驚喜") domainEnglishFormat.kif 56290-56290
(termFormat EnglishLanguage Surprise "surprise") domainEnglishFormat.kif 56289-56289
(termFormat GermanLanguage Surprise "Überraschung") emotion.kif 919-919
(termFormat SpanishLanguage Surprise "sorpresa") emotion.kif 912-912
(utterance EnglishLanguage Surprise "surprised") emotion.kif 921-921

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


(=>
    (holdsDuring ?T
        (attribute ?A Surprise))
    (modalAttribute
        (exists (?FE)
            (and
                (instance ?FE SurprisedFacialExpression)
                (experiencer ?FE ?A)
                (during
                    (WhenFn ?FE) ?T))) Likely))
emotion.kif 1263-1272
(=>
    (holdsDuring ?TIME
        (attribute ?AGENT Surprise))
    (exists (?PART ?PROP)
        (and
            (temporalPart ?PART
                (PastFn ?TIME))
            (holdsDuring ?PART
                (expects ?AGENT ?PROP))
            (holdsDuring ?TIME
                (truth ?PROP False)))))
Mid-level-ontology.kif 17155-17161

consequent
-------------------------


(=>
    (and
        (instance ?SVU SurprisedVoiceUtterance)
        (agent ?SVU ?A))
    (exists (?S)
        (and
            (instance ?S Surprise)
            (experiencer ?S ?A)
            (causes ?S ?SVU))))
emotion.kif 1832-1840


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