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

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


(subAttribute Anger Unhappiness) Mid-level-ontology.kif 17043-17043
(subAttribute Anxiety Unhappiness) Mid-level-ontology.kif 17035-17035
(subAttribute Pain Unhappiness) Mid-level-ontology.kif 17051-17051
(termFormat EnglishLanguage Unhappiness "unhappiness") domainEnglishFormat.kif 10415-10415

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 21685-21696
(=>
    (and
        (instance ?FROWN Frowning)
        (agent ?FROWN ?AGENT))
    (holdsDuring
        (WhenFn ?FROWN)
        (attribute ?AGENT Unhappiness)))
Mid-level-ontology.kif 10635-10639
(=>
    (and
        (instance ?WEEP Weeping)
        (agent ?WEEP ?AGENT))
    (holdsDuring
        (WhenFn ?WEEP)
        (attribute ?AGENT Unhappiness)))
Mid-level-ontology.kif 10656-10660


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