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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Unhappiness
Unhappiness

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


(actionTendency Unhappiness Frowning) emotion.kif 178-178
(contraryAttribute Unhappiness Happiness) Mid-level-ontology.kif 17112-17112
(documentation Unhappiness EnglishLanguage "The state of being unhappy, experiencing pain, sorrow or unease.") Mid-level-ontology.kif 17113-17114
(instance Unhappiness EmotionalState) Mid-level-ontology.kif 17111-17111

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


(subAttribute Anger Unhappiness) Mid-level-ontology.kif 17128-17128
(subAttribute Anxiety Unhappiness) Mid-level-ontology.kif 17120-17120
(subAttribute Pain Unhappiness) Mid-level-ontology.kif 17136-17136
(termFormat ChineseLanguage Unhappiness "不幸") domainEnglishFormat.kif 59850-59850
(termFormat ChineseTraditionalLanguage Unhappiness "不幸") domainEnglishFormat.kif 59849-59849
(termFormat EnglishLanguage Unhappiness "unhappiness") domainEnglishFormat.kif 59848-59848

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


(=>
    (and
        (instance ?C CausingHappiness)
        (patient ?C ?P))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?C))
            (not
                (attribute ?P Unhappiness)))
        (holdsDuring
            (EndFn
                (WhenFn ?C))
            (attribute ?P Unhappiness))))
Mid-level-ontology.kif 21754-21765
(=>
    (and
        (instance ?FROWN Frowning)
        (agent ?FROWN ?AGENT))
    (holdsDuring
        (WhenFn ?FROWN)
        (attribute ?AGENT Unhappiness)))
Mid-level-ontology.kif 10666-10670
(=>
    (and
        (instance ?WEEP Weeping)
        (agent ?WEEP ?AGENT))
    (holdsDuring
        (WhenFn ?WEEP)
        (attribute ?AGENT Unhappiness)))
Mid-level-ontology.kif 10687-10691


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