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 ist innerlich verwandt mit AppraisalAsUndesirableConsequences %n{nicht}
(subclass EmotionalState StateOfMind) Merge.kif 18290-18290 EmotionalState ist eine teilkategorie von StateOfMind

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


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

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 Die Zahl 1 Argument von actionTendency ist ein fall von EmotionalState %n{nicht}
(domain attitudeForFormula 1 EmotionalState) emotion.kif 2125-2125 Die Zahl 1 Argument von attitudeForFormula ist ein fall von EmotionalState %n{nicht}
(domain attitudeForObject 1 EmotionalState) emotion.kif 2118-2118 Die Zahl 1 Argument von attitudeForObject ist ein fall von EmotionalState %n{nicht}
(domain emotionTendency 2 EmotionalState) emotion.kif 141-141 Die Zahl 2 Argument von emotionTendency ist ein fall von EmotionalState %n{nicht}

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