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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Unhappiness

Sigma KEE - Unhappiness
Unhappiness

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


(actionTendency Unhappiness Frowning) emotion.kif 178-178 actionTendency Unhappiness and Frowning
(contraryAttribute Unhappiness Happiness) Mid-level-ontology.kif 19304-19304 Unhappiness est l'oppos� de bonheur
(documentation Unhappiness EnglishLanguage "The state of being unhappy, experiencing pain, sorrow or unease.") Mid-level-ontology.kif 19305-19306
(instance Unhappiness EmotionalState) Mid-level-ontology.kif 19303-19303 Unhappiness est une instance de �tat �motionnel

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


(subAttribute Anger Unhappiness) Mid-level-ontology.kif 19320-19320 Colère est un sous-attribut de Unhappiness
(subAttribute Anxiety Unhappiness) Mid-level-ontology.kif 19312-19312 Anxiété est un sous-attribut de Unhappiness
(termFormat ChineseLanguage Unhappiness "不幸") domainEnglishFormat.kif 59942-59942
(termFormat ChineseTraditionalLanguage Unhappiness "不幸") domainEnglishFormat.kif 59941-59941
(termFormat EnglishLanguage Unhappiness "unhappiness") domainEnglishFormat.kif 59940-59940

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 23788-23799
(=>
    (and
        (instance ?FROWN Frowning)
        (agent ?FROWN ?AGENT))
    (holdsDuring
        (WhenFn ?FROWN)
        (attribute ?AGENT Unhappiness)))
Mid-level-ontology.kif 13031-13035
(=>
    (and
        (instance ?WEEP Weeping)
        (agent ?WEEP ?AGENT))
    (holdsDuring
        (WhenFn ?WEEP)
        (attribute ?AGENT Unhappiness)))
Mid-level-ontology.kif 13052-13056


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