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 18291-18292
(relatedInternalConcept EmotionalState AppraisalAsUndesirableConsequences) emotion.kif 413-413 相關的內部概念 EmotionalState and AppraisalAsUndesirableConsequences
(subclass EmotionalState StateOfMind) Merge.kif 18290-18290 子類 EmotionalState and StateOfMind

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


(instance Anger EmotionalState) emotion.kif 968-968 憤怒 and EmotionalState
(instance Anxiety EmotionalState) emotion.kif 1177-1177 焦慮 and EmotionalState
(instance Boredom EmotionalState) emotion.kif 1158-1158 Boredom and EmotionalState
(instance Compassion EmotionalState) emotion.kif 1010-1010 Compassion and EmotionalState
(instance Concern EmotionalState) emotion.kif 919-919 Concern and EmotionalState
(instance Confusion EmotionalState) emotion.kif 1089-1089 Confusion and EmotionalState
(instance Contempt EmotionalState) emotion.kif 725-725 Contempt and EmotionalState
(instance Curiosity EmotionalState) emotion.kif 1059-1059 Curiosity and EmotionalState
(instance Despair EmotionalState) emotion.kif 938-938 Despair and EmotionalState
(instance Disappointment EmotionalState) emotion.kif 948-948 Disappointment and EmotionalState
(instance Disgust EmotionalState) emotion.kif 829-829 Disgust and EmotionalState
(instance Embarrassment EmotionalState) emotion.kif 979-979 Embarrassment and EmotionalState
(instance EmotionalStress EmotionalState) emotion.kif 1182-1182 EmotionalStress and EmotionalState
(instance Expectant EmotionalState) emotion.kif 916-916 Expectant and EmotionalState
(instance Fear EmotionalState) emotion.kif 1018-1018 Fear and EmotionalState
(instance FeelingDubious EmotionalState) emotion.kif 1916-1916 FeelingDubious and EmotionalState
(instance Grief EmotionalState) emotion.kif 988-988 Grief and EmotionalState
(instance Guilt EmotionalState) emotion.kif 1079-1079 Guilt and EmotionalState
(instance Happiness EmotionalState) emotion.kif 816-816 幸福 and EmotionalState
(instance Hate EmotionalState) emotion.kif 1040-1040 Hate and EmotionalState
(instance Hope EmotionalState) emotion.kif 1192-1192 Hope and EmotionalState
(instance InspirationEmotion EmotionalState) emotion.kif 995-995 InspirationEmotion and EmotionalState
(instance Interested EmotionalState) emotion.kif 723-723 Interested and EmotionalState
(instance Irritation EmotionalState) emotion.kif 928-928 Irritation and EmotionalState

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 actionTendency, 1 and EmotionalState
(domain attitudeForFormula 1 EmotionalState) emotion.kif 2125-2125 attitudeForFormula, 1 and EmotionalState
(domain attitudeForObject 1 EmotionalState) emotion.kif 2118-2118 attitudeForObject, 1 and EmotionalState
(domain emotionTendency 2 EmotionalState) emotion.kif 141-141 emotionTendency, 2 and EmotionalState

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


(=>
    (and
        (instance ?I Ingesting)
        (experiencer ?I ?H)
        (objectTransferred ?I ?MS)
        (instance ?MS MoodStabilizer)
        (instance ?E ?EC)
        (involvedInEvent ?E ?H)
        (holdsDuring
            (WhenFn ?E)
            (attribute ?H ?ES))
        (instance ?ES EmotionalState)
        (instance ?E2 ?EC)
        (involvedInEvent ?E2 ?H)
        (earlier
            (WhenFn ?E2)
            (WhenFn ?I)))
    (modalAttribute
        (not
            (holdsDuring ?E2
                (attribute ?H ?ES))) Unlikely))
Mid-level-ontology.kif 9774-9795

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 21474-21489
(=>
    (instance ?EVU EmotionalVoiceUtterances)
    (causes
        (exists (?E ?A)
            (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 1371-1378


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