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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EmotionalState

 Sigma KEE - EmotionalState
EmotionalState(StatoEmotivo)

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


(documentation EmotionalState ChineseLanguage "这是表示 Organism 情绪状态 Attribute 的 Class。") 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 StatoEmotivo è interamente correlato a AppraisalAsUndesirableConsequences
(subclass EmotionalState StateOfMind) Merge.kif 18290-18290 StatoEmotivo è una sottoclasse di StatoMentale

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


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

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 Il numero 1 argomenti di actionTendency è un istanza di StatoEmotivo
(domain attitudeForFormula 1 EmotionalState) emotion.kif 2125-2125 Il numero 1 argomenti di attitudeForFormula è un istanza di StatoEmotivo
(domain attitudeForObject 1 EmotionalState) emotion.kif 2118-2118 Il numero 1 argomenti di attitudeForObject è un istanza di StatoEmotivo
(domain emotionTendency 2 EmotionalState) emotion.kif 141-141 Il numero 2 argomenti di emotionTendency è un istanza di StatoEmotivo

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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