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 18370-18371
(relatedInternalConcept EmotionalState AppraisalAsUndesirableConsequences) emotion.kif 413-413
(subclass EmotionalState StateOfMind) Merge.kif 18369-18369

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


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

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 2123-2123
(domain attitudeForObject 1 EmotionalState) emotion.kif 2116-2116
(domain emotionTendency 2 EmotionalState) emotion.kif 141-141

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 9992-10013

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 21732-21747
(=>
    (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