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

KB Term:  Term intersection
English Word: 

Sigma KEE - Unhappiness
Unhappiness(unhappiness)Weltschmerz, aggravation, anguish, attrition, bereavement, broken_heart, brooding, cheerlessly, cheerlessness, commiseration, contriteness, contrition, defeat, dejectedness, demoralisation, demoralization, depression, desolation, desperately, despondence, despondency, disconsolateness, discontent, discontentedness, discontentment, disgruntlement, dispiritedness, displeasure, dissatisfaction, distemper, dolefulness, downheartedness, dysphoria, exasperation, forlornness, frantic, frenetic, frenzied, frustration, gloom, gloominess, glumness, harassment, heartsickness, heaviness, heavyheartedness, helplessness, homesick, hopeless, ill_humor...

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


(actionTendency Unhappiness Frowning) emotion.kif 158-158 action tendency unhappiness and frowning
(instance Unhappiness EmotionalState) emotion.kif 1331-1331 Unhappiness is an instance of emotional state
(contraryAttribute Unhappiness Happiness) emotion.kif 1332-1332 Unhappiness is the opposite of happiness
(documentation Unhappiness EnglishLanguage "The state of being unhappy, experiencing pain, sorrow or unease.") emotion.kif 1333-1334 Unhappiness is the opposite of happiness

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


(termFormat EnglishLanguage Unhappiness "unhappiness") domainEnglishFormat.kif 59925-59925
(termFormat ChineseTraditionalLanguage Unhappiness "不幸") domainEnglishFormat.kif 59926-59926
(termFormat ChineseLanguage Unhappiness "不幸") domainEnglishFormat.kif 59927-59927

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


(=>
    (and
        (instance ?C CausingUnhappiness)
        (patient ?C ?P))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?C))
            (not
                (attribute ?P Unhappiness)))
        (holdsDuring
            (EndFn
                (WhenFn ?C))
            (attribute ?P Unhappiness))))		 emotion.kif 1309-1320 If X is an instance of causing unhappiness and Y is a patient of X, then unhappiness is not an attribute of Y holds during the beginning of the time of existence of X and unhappiness is an attribute of Y holds during the end of the time of existence of X
(=>
    (attribute ?A Anxiety)
    (attribute ?A Unhappiness))		 emotion.kif 1357-1359 If anxiety is an attribute of X, then unhappiness is an attribute of X
(=>
    (attribute ?A Anger)
    (attribute ?A Unhappiness))		 emotion.kif 1376-1378 If anger is an attribute of X, then unhappiness is an attribute of X
(=>
    (and
        (instance ?FROWN Frowning)
        (agent ?FROWN ?AGENT))
    (holdsDuring
        (WhenFn ?FROWN)
        (attribute ?AGENT Unhappiness)))		 emotion.kif 2062-2066 If X is an instance of frowning and Y is an agent of X, then unhappiness is an attribute of Y holds during the time of existence of X
(=>
    (and
        (instance ?WEEP Weeping)
        (agent ?WEEP ?AGENT))
    (holdsDuring
        (WhenFn ?WEEP)
        (attribute ?AGENT Unhappiness)))		 emotion.kif 2071-2075 If X is an instance of weeping and Y is an agent of X, then unhappiness is an attribute of Y holds during the time of existence of X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners