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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EmotionalState
EmotionalState

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


(documentation EmotionalState ChineseLanguage "这是表示 Organism 情绪状态 AttributeClass。") chinese_format.kif 4037-4038
(documentation EmotionalState EnglishLanguage "The Class of Attributes that denote emotional states of Organisms.") Merge.kif 16977-16978
(relatedInternalConcept EmotionalState AppraisalAsUndesirableConsequences) emotion.kif 413-413
(subclass EmotionalState StateOfMind) Merge.kif 16976-16976

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


(instance Anger EmotionalState) emotion.kif 976-976
(instance Anxiety EmotionalState) emotion.kif 1159-1159
(instance Boredom EmotionalState) emotion.kif 1140-1140
(instance Compassion EmotionalState) emotion.kif 1018-1018
(instance Concern EmotionalState) emotion.kif 927-927
(instance Confusion EmotionalState) emotion.kif 1097-1097
(instance Contempt EmotionalState) emotion.kif 725-725
(instance Curiosity EmotionalState) emotion.kif 1067-1067
(instance Despair EmotionalState) emotion.kif 946-946
(instance Disappointment EmotionalState) emotion.kif 956-956
(instance Disgust EmotionalState) emotion.kif 837-837
(instance Embarrassment EmotionalState) emotion.kif 987-987
(instance EmotionalStress EmotionalState) emotion.kif 1164-1164
(instance Expectant EmotionalState) emotion.kif 924-924
(instance Fear EmotionalState) emotion.kif 1026-1026
(instance FeelingDubious EmotionalState) emotion.kif 1820-1820
(instance Grief EmotionalState) emotion.kif 996-996
(instance Guilt EmotionalState) emotion.kif 1087-1087
(instance Happiness EmotionalState) emotion.kif 824-824
(instance Hate EmotionalState) emotion.kif 1048-1048
(instance Hope EmotionalState) emotion.kif 1174-1174
(instance InspirationEmotion EmotionalState) emotion.kif 1003-1003
(instance Interest EmotionalState) emotion.kif 723-723
(instance Irritation EmotionalState) emotion.kif 936-936

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


(domain actionTendency 1 EmotionalState) emotion.kif 156-156
(domain attitudeForFormula 1 EmotionalState) emotion.kif 2023-2023
(domain attitudeForObject 1 EmotionalState) emotion.kif 2016-2016
(domain emotionTendency 2 EmotionalState) emotion.kif 141-141

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


(=>
    (and
        (instance ?B Blushing)
        (experiencer ?B ?A))
    (exists (?T1 ?T2 ?S1 ?S2)
        (and
            (instance ?S1 EmotionalState)
            (instance ?S2 EmotionalState)
            (not
                (equal ?S1 ?S2))
            (holdsDuring ?T1
                (attribute ?A ?S1))
            (holdsDuring ?T2
                (attribute ?A ?S2))
            (starts
                (WhenFn ?B) ?T2)
            (finishes
                (WhenFn ?B) ?T1))))
Mid-level-ontology.kif 19143-19158
(=>
    (instance ?EVU EmotionalVoiceUtterances)
    (causes
        (exists (?E)
            (and
                (instance ?E EmotionalState)
                (attribute ?A ?E)))
        (agent ?EVU ?A)))
emotion.kif 99-106
(=>
    (instance ?PR PhysiologicalResponseToEmotionalState)
    (exists (?EP ?A)
        (and
            (instance ?EP EmotionalState)
            (experiencer ?EP ?A)
            (experiencer ?PR ?A)
            (causes ?EP ?PR))))
emotion.kif 1353-1360


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