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 17086-17086
(documentation Unhappiness EnglishLanguage "The state of being unhappy, experiencing pain, sorrow or unease.") Mid-level-ontology.kif 17087-17088
(instance Unhappiness EmotionalState) Mid-level-ontology.kif 17085-17085

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


(subAttribute Anger Unhappiness) Mid-level-ontology.kif 17102-17102
(subAttribute Anxiety Unhappiness) Mid-level-ontology.kif 17094-17094
(subAttribute Pain Unhappiness) Mid-level-ontology.kif 17110-17110
(termFormat ChineseLanguage Unhappiness "不幸") domainEnglishFormat.kif 59887-59887
(termFormat ChineseTraditionalLanguage Unhappiness "不幸") domainEnglishFormat.kif 59886-59886
(termFormat EnglishLanguage Unhappiness "unhappiness") domainEnglishFormat.kif 59885-59885

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 21717-21728
(=>
    (and
        (instance ?FROWN Frowning)
        (agent ?FROWN ?AGENT))
    (holdsDuring
        (WhenFn ?FROWN)
        (attribute ?AGENT Unhappiness)))
Mid-level-ontology.kif 10636-10640
(=>
    (and
        (instance ?WEEP Weeping)
        (agent ?WEEP ?AGENT))
    (holdsDuring
        (WhenFn ?WEEP)
        (attribute ?AGENT Unhappiness)))
Mid-level-ontology.kif 10657-10661


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners