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 Frowning) emotion.kif 1224-1224
(subclass AngryFacialExpression EmotionalFacialExpression) emotion.kif 1221-1221

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


(actionTendency Anger AngryFacialExpression) emotion.kif 186-186
(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