TreeView Knowledge Base Browser

appearance as argument number 1

(instance Surprise EmotionalState)	Mid-level-ontology.kif 21236-21236	Surprise is an instance of emotional state
(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]")	Mid-level-ontology.kif 21237-21240	Surprise is an instance of emotional state
(actionTendency Surprise SurprisedFacialExpression)	emotion.kif 154-154	action tendency surprise and surprised facial expression
(actionTendency Surprise JawDropping)	emotion.kif 159-159	action tendency surprise and jaw dropping
(actionTendency Surprise OpeningEyesWidely)	emotion.kif 160-160	action tendency surprise and opening eyes widely
(actionTendency Surprise RaisingEyebrows)	emotion.kif 161-161	action tendency surprise and raising eyebrows
(actionTendency Surprise PupilsDilation)	emotion.kif 796-796	action tendency surprise and dilated pupils

appearance as argument number 2

(termFormat SpanishLanguage Surprise "sorpresa")	Mid-level-ontology.kif 21241-21241
(termFormat EnglishLanguage Surprise "surprise")	Mid-level-ontology.kif 21242-21242
(termFormat GermanLanguage Surprise "Überraschung")	Mid-level-ontology.kif 21243-21243
(utterance EnglishLanguage Surprise "surprised")	Mid-level-ontology.kif 21244-21244	utterance english language, surprise and "surprised"
(termFormat ChineseTraditionalLanguage Surprise "驚喜")	domainEnglishFormat.kif 56373-56373	utterance english language, surprise and "surprised"
(termFormat ChineseLanguage Surprise "惊喜")	domainEnglishFormat.kif 56374-56374	utterance english language, surprise and "surprised"
(relatedInternalConcept SurprisedFacialExpression Surprise)	emotion.kif 2133-2133	Surprised facial expression is internally related to surprise
(relatedInternalConcept SurprisedVoiceUtterance Surprise)	emotion.kif 2780-2780	Surprised voice utterance is internally related to surprise

antecedent

(=> (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 21246-21252	If surprise is an attribute of X holds during Y, then there exist Z, W such that Z is a part of before Y, X expects W will be true holds during Z, and W is false holds during Y
(=> (holdsDuring ?T (attribute ?A Surprise)) (modalAttribute (exists (?FE) (and (instance ?FE SurprisedFacialExpression) (experiencer ?FE ?A) (during (WhenFn ?FE) ?T))) Likely))	emotion.kif 2140-2149	If surprise is an attribute of X holds during Y, then the statement there exists Z such that Z is an instance of surprised facial expression, X experiences Z, and the time of existence of Z takes place during Y has the modal force of likely

consequent

(=>
    (and
        (instance ?SVU SurprisedVoiceUtterance)
        (agent ?SVU ?A))
    (exists (?S)
        (and
            (instance ?S Surprise)
            (experiencer ?S ?A)
            (causes ?S ?SVU))))

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