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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Unhappiness

 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 178-178 action tendency unhappiness and frowning
(contraryAttribute Unhappiness Happiness) Mid-level-ontology.kif 19332-19332 Unhappiness is the opposite of happiness
(documentation Unhappiness EnglishLanguage "The state of being unhappy, experiencing pain, sorrow or unease.") Mid-level-ontology.kif 19333-19334
(instance Unhappiness EmotionalState) Mid-level-ontology.kif 19331-19331 Unhappiness is an instance of emotional state

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


(subAttribute Anger Unhappiness) Mid-level-ontology.kif 19348-19348 Anger is a subattribute of unhappiness
(subAttribute Anxiety Unhappiness) Mid-level-ontology.kif 19340-19340 Anxiety is a subattribute of unhappiness
(termFormat ChineseLanguage Unhappiness "不幸") domainEnglishFormat.kif 59944-59944
(termFormat ChineseTraditionalLanguage Unhappiness "不幸") domainEnglishFormat.kif 59943-59943
(termFormat EnglishLanguage Unhappiness "unhappiness") domainEnglishFormat.kif 59942-59942

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


(=>
    (and
        (instance ?C CausingUnhappiness)
        (patient ?C ?P))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?C))
            (not
                (attribute ?P Unhappiness)))
        (holdsDuring
            (EndFn
                (WhenFn ?C))
            (attribute ?P Unhappiness))))		 Mid-level-ontology.kif 23846-23857
(=>
    (and
        (instance ?FROWN Frowning)
        (agent ?FROWN ?AGENT))
    (holdsDuring
        (WhenFn ?FROWN)
        (attribute ?AGENT Unhappiness)))		 Mid-level-ontology.kif 13059-13063
(=>
    (and
        (instance ?WEEP Weeping)
        (agent ?WEEP ?AGENT))
    (holdsDuring
        (WhenFn ?WEEP)
        (attribute ?AGENT Unhappiness)))		 Mid-level-ontology.kif 13080-13084


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