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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Surprise
Surprise(惊喜)

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


(actionTendency Surprise JawDropping) emotion.kif 179-179 actionTendency 惊喜 and JawDropping
(actionTendency Surprise OpeningEyesWidely) emotion.kif 180-180 actionTendency 惊喜 and OpeningEyesWidely
(actionTendency Surprise RaisingEyebrows) emotion.kif 181-181 actionTendency 惊喜 and RaisingEyebrows
(actionTendency Surprise SurprisedFacialExpression) emotion.kif 174-174 actionTendency 惊喜 and SurprisedFacialExpression
(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 906-910
(documentation Surprise EnglishLanguage "The EmotionalState that one experiences when something unexpected and of significance occurs.") Mid-level-ontology.kif 19127-19128
(instance Surprise EmotionalState) emotion.kif 912-912 惊喜情绪状态instance

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


(relatedInternalConcept SurprisedFacialExpression Surprise) emotion.kif 1274-1274 SurprisedFacialExpression惊喜 是 内部相关
(relatedInternalConcept SurprisedVoiceUtterance Surprise) emotion.kif 1925-1925 SurprisedVoiceUtterance惊喜 是 内部相关
(termFormat ChineseLanguage Surprise "惊喜") domainEnglishFormat.kif 56359-56359
(termFormat ChineseTraditionalLanguage Surprise "驚喜") domainEnglishFormat.kif 56358-56358
(termFormat EnglishLanguage Surprise "surprise") domainEnglishFormat.kif 56357-56357
(termFormat GermanLanguage Surprise "Überraschung") emotion.kif 911-911
(termFormat SpanishLanguage Surprise "sorpresa") emotion.kif 904-904
(utterance EnglishLanguage Surprise "surprised") emotion.kif 913-913 utterance 英语, 惊喜 and "surprised"

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


(=>
    (holdsDuring ?T
        (attribute ?A Surprise))
    (modalAttribute
        (exists (?FE)
            (and
                (instance ?FE SurprisedFacialExpression)
                (experiencer ?FE ?A)
                (during
                    (WhenFn ?FE) ?T))) Likely))
emotion.kif 1281-1290
(=>
    (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 19130-19136

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


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


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