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 Il numero 1 argomenti di actionTendency è un istanza di StatoEmotivo
(domainSubclass actionTendency 2 EmotionalBehavioralProcess) emotion.kif 157-157 Il numero 2 argomento actionTendency è una sottoclasse diEmotionalBehavioralProcess
(instance actionTendency BinaryPredicate) emotion.kif 155-155 actionTendency è un' istanza di PredicatoBinario

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


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

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


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