AngryFacialExpression - Sigma Knowledge base Browser

appearance as argument number 1

(relatedInternalConcept AngryFacialExpression Anger)	emotion.kif 2096-2096	Angry facial expression is internally related to anger
(subclass AngryFacialExpression EmotionalFacialExpression)	emotion.kif 2098-2098	Angry facial expression is a subclass of emotional facial expression
(documentation AngryFacialExpression EnglishLanguage "The facial expression associated with the experience of anger.")	emotion.kif 2099-2100	Angry facial expression is a subclass of emotional facial expression
(relatedInternalConcept AngryFacialExpression Frowning)	emotion.kif 2101-2101	Angry facial expression is internally related to frowning

appearance as argument number 2

(actionTendency Anger AngryFacialExpression)	emotion.kif 166-166	action tendency anger and angry facial expression
(termFormat EnglishLanguage AngryFacialExpression "angry facial expression")	emotion.kif 2097-2097	action tendency anger and angry facial expression

consequent

(=>
    (holdsDuring ?T
        (attribute ?A Anger))
    (modalAttribute
        (exists (?HF)
            (and
                (instance ?HF AngryFacialExpression)
                (experiencer ?HF ?A)
                (during
                    (WhenFn ?HF) ?T))) Likely))

If anger is an attribute of X holds during Y, then the statement there exists Z such that Z is an instance of angry facial expression, X experiences Z, and the time of existence of Z takes place during Y has the modal force of likely