Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  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 178-178 action tendency unhappiness and frowning
(contraryAttribute Unhappiness Happiness) Mid-level-ontology.kif 20394-20394 Unhappiness is the opposite of happiness
(documentation Unhappiness EnglishLanguage "The state of being unhappy, experiencing pain, sorrow or unease.") Mid-level-ontology.kif 20395-20396 Unhappiness is the opposite of happiness
(instance Unhappiness EmotionalState) Mid-level-ontology.kif 20393-20393 Unhappiness is an instance of emotional state

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


(subAttribute Anger Unhappiness) Mid-level-ontology.kif 20410-20410 Anger is a subattribute of unhappiness
(subAttribute Anxiety Unhappiness) Mid-level-ontology.kif 20402-20402 Anxiety is a subattribute of unhappiness
(termFormat ChineseLanguage Unhappiness "不幸") domainEnglishFormat.kif 59963-59963 Anxiety is a subattribute of unhappiness
(termFormat ChineseTraditionalLanguage Unhappiness "不幸") domainEnglishFormat.kif 59962-59962 Anxiety is a subattribute of unhappiness
(termFormat EnglishLanguage Unhappiness "unhappiness") domainEnglishFormat.kif 59961-59961 Anxiety is a subattribute of unhappiness

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 24908-24919
(=>
    (and
        (instance ?FROWN Frowning)
        (agent ?FROWN ?AGENT))
    (holdsDuring
        (WhenFn ?FROWN)
        (attribute ?AGENT Unhappiness)))		 Mid-level-ontology.kif 13928-13932
(=>
    (and
        (instance ?WEEP Weeping)
        (agent ?WEEP ?AGENT))
    (holdsDuring
        (WhenFn ?WEEP)
        (attribute ?AGENT Unhappiness)))		 Mid-level-ontology.kif 13949-13953


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