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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AngryFacialExpression
AngryFacialExpression

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


(documentation AngryFacialExpression EnglishLanguage "The facial expression associated with the experience of anger.") emotion.kif 1222-1223
(relatedInternalConcept AngryFacialExpression Anger) emotion.kif 1219-1219 relatedInternalConcept AngryFacialExpression and Anger
(relatedInternalConcept AngryFacialExpression Frowning) emotion.kif 1224-1224 relatedInternalConcept AngryFacialExpression and Frowning
(subclass AngryFacialExpression EmotionalFacialExpression) emotion.kif 1221-1221 subclass AngryFacialExpression and EmotionalFacialExpression

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


(actionTendency Anger AngryFacialExpression) emotion.kif 186-186 actionTendency Anger and AngryFacialExpression
(termFormat EnglishLanguage AngryFacialExpression "angry facial expression") emotion.kif 1220-1220

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


(=>
    (holdsDuring ?T
        (attribute ?A Anger))
    (modalAttribute
        (exists (?HF)
            (and
                (instance ?HF AngryFacialExpression)
                (experiencer ?HF ?A)
                (during
                    (WhenFn ?HF) ?T))) Likely))
emotion.kif 1226-1235


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