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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - actionTendency

appearance as argument number 1

(documentation actionTendency EnglishLanguage "A tendency of an emotion to cause a particular type of action.") emotion.kif 158-159
(domain actionTendency 1 EmotionalState) emotion.kif 156-156
(domainSubclass actionTendency 2 EmotionalBehavioralProcess) emotion.kif 157-157
(instance actionTendency BinaryRelation) emotion.kif 155-155


        (holdsDuring ?T
            (attribute ?A ?ES))
        (actionTendency ?ES ?P))
        (exists (?PI)
                (instance ?P ?PI)
                (during ?PI ?T)
                (experiencer ?PI ?A))) Likely))
emotion.kif 161-172

appearance as argument number 0

(actionTendency Anger AngryFacialExpression) emotion.kif 186-186
(actionTendency Disgust DisgustedFacialExpression) emotion.kif 182-182
(actionTendency Fear FearfulFacialExpression) emotion.kif 183-183
(actionTendency Grief Weeping) emotion.kif 175-175
(actionTendency Happiness HappyFacialExpression) emotion.kif 184-184
(actionTendency Happiness Laughing) emotion.kif 176-176
(actionTendency Happiness Smiling) emotion.kif 177-177
(actionTendency Sadness SadFacialExpression) emotion.kif 185-185
(actionTendency Surprise JawDropping) emotion.kif 179-179
(actionTendency Surprise OpeningEyesWidely) emotion.kif 180-180
(actionTendency Surprise RaisingEyebrows) emotion.kif 181-181
(actionTendency Surprise SurprisedFacialExpression) emotion.kif 174-174
(actionTendency Unhappiness Frowning) emotion.kif 178-178

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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