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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - actionTendency
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 BinaryPredicate) emotion.kif 155-155

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


(termFormat EnglishLanguage actionTendency "action tendency") domainEnglishFormat.kif 65771-65771

antecedent
-------------------------


(=>
    (and
        (holdsDuring ?T
            (attribute ?A ?ES))
        (actionTendency ?ES ?PI))
    (modalAttribute
        (exists (?P)
            (and
                (instance ?P ?PI)
                (during
                    (WhenFn ?P) ?T)
                (experiencer ?P ?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 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