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

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


(subAttribute Anger Unhappiness) Mid-level-ontology.kif 20892-20892
(subAttribute Anxiety Unhappiness) Mid-level-ontology.kif 20884-20884
(termFormat ChineseLanguage Unhappiness "不幸") domainEnglishFormat.kif 59934-59934
(termFormat ChineseTraditionalLanguage Unhappiness "不幸") domainEnglishFormat.kif 59933-59933
(termFormat EnglishLanguage Unhappiness "unhappiness") domainEnglishFormat.kif 59932-59932

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 25435-25446
(=>
    (and
        (instance ?FROWN Frowning)
        (agent ?FROWN ?AGENT))
    (holdsDuring
        (WhenFn ?FROWN)
        (attribute ?AGENT Unhappiness)))
Mid-level-ontology.kif 14363-14367
(=>
    (and
        (instance ?WEEP Weeping)
        (agent ?WEEP ?AGENT))
    (holdsDuring
        (WhenFn ?WEEP)
        (attribute ?AGENT Unhappiness)))
Mid-level-ontology.kif 14384-14388


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