SurprisedFacialExpression - Sigma Knowledge base Browser

appearance as argument number 1

(relatedInternalConcept SurprisedFacialExpression OpeningEyesWidely)	emotion.kif 2132-2132	Surprised facial expression is internally related to opening eyes widely
(relatedInternalConcept SurprisedFacialExpression Surprise)	emotion.kif 2133-2133	Surprised facial expression is internally related to surprise
(relatedInternalConcept SurprisedFacialExpression JawDropping)	emotion.kif 2134-2134	Surprised facial expression is internally related to jaw dropping
(subclass SurprisedFacialExpression FacialExpression)	emotion.kif 2137-2137	Surprised facial expression is a subclass of facial expression
(subclass SurprisedFacialExpression EmotionalBehavioralProcess)	emotion.kif 2138-2138	Surprised facial expression is a subclass of emotional behavioral process

appearance as argument number 2

(actionTendency Surprise SurprisedFacialExpression)	emotion.kif 154-154	action tendency surprise and surprised facial expression
(termFormat EnglishLanguage SurprisedFacialExpression "surprised facial expression")	emotion.kif 2135-2136	action tendency surprise and surprised facial expression

consequent

(=>
    (holdsDuring ?T
        (attribute ?A Surprise))
    (modalAttribute
        (exists (?FE)
            (and
                (instance ?FE SurprisedFacialExpression)
                (experiencer ?FE ?A)
                (during
                    (WhenFn ?FE) ?T))) Likely))

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