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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Happiness
Happiness(bonheur)

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


(actionTendency Happiness HappyFacialExpression) emotion.kif 184-184
(actionTendency Happiness Laughing) emotion.kif 176-176
(actionTendency Happiness Smiling) emotion.kif 177-177
(documentation Happiness EnglishLanguage "A positive emotion which is experienced in reaction to a positive experience or event. [Source: OCEAS]") emotion.kif 825-826
(documentation Happiness EnglishLanguage "The state of being happy, experiencing pleasure, joy or contentment. Note that this Attribute covers both active enjoyment, as well as the emotional state of simply being free from anxiety or fear.") Mid-level-ontology.kif 17097-17099
(externalImage Happiness "http://upload.wikimedia.org/wikipedia/commons/ e/ eb/ MGD06FrenchmenShine.jpg") pictureList.kif 2477-2477
(instance Happiness EmotionalState) emotion.kif 824-824

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


(contraryAttribute Unhappiness Happiness) Mid-level-ontology.kif 17117-17117
(relatedInternalConcept HappyFacialExpression Happiness) emotion.kif 1202-1202
(relatedInternalConcept HappyVoiceUtterance Happiness) emotion.kif 1884-1884
(subAttribute Amusement Happiness) emotion.kif 1149-1149
(subAttribute Contentment Happiness) emotion.kif 902-902
(subAttribute Elation Happiness) emotion.kif 983-983
(subAttribute Euphoria Happiness) emotion.kif 1133-1133
(subAttribute Excitement Happiness) Mid-level-ontology.kif 17121-17121
(subAttribute Joy Happiness) emotion.kif 749-749
(subAttribute Satisfaction Happiness) Mid-level-ontology.kif 17107-17107
(subAttribute Serenity Happiness) emotion.kif 1101-1101
(subAttribute Tranquility Happiness) Mid-level-ontology.kif 17112-17112
(termFormat ChineseLanguage Happiness "幸福") domainEnglishFormat.kif 27322-27322
(termFormat ChineseTraditionalLanguage Happiness "幸福") domainEnglishFormat.kif 27321-27321
(termFormat EnglishLanguage Happiness "happiness") domainEnglishFormat.kif 27320-27320
(termFormat FrenchLanguage Happiness "bonheur") emotion.kif 819-819
(termFormat GermanLanguage Happiness "glück") emotion.kif 822-822
(termFormat SpanishLanguage Happiness "felicidad") emotion.kif 823-823
(utterance EnglishLanguage Happiness "happy") emotion.kif 821-821

antecedent
-------------------------


(=>
    (attribute ?PERSON Happiness)
    (not
        (exists (?PROP)
            (fears ?PERSON ?PROP))))
Mid-level-ontology.kif 17101-17105
(=>
    (holdsDuring ?T
        (attribute ?A Happiness))
    (modalAttribute
        (exists (?HF)
            (and
                (instance ?HF HappyFacialExpression)
                (experiencer ?HF ?A)
                (during
                    (WhenFn ?HF) ?T))) Likely))
emotion.kif 1208-1217

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


(=>
    (and
        (instance ?C CausingHappiness)
        (patient ?C ?P))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?C))
            (not
                (attribute ?P Happiness)))
        (holdsDuring
            (EndFn
                (WhenFn ?C))
            (attribute ?P Happiness))))
Mid-level-ontology.kif 21740-21751
(=>
    (and
        (instance ?HVU HappyVoiceUtterance)
        (agent ?HVU ?A))
    (exists (?H)
        (and
            (instance ?H Happiness)
            (experiencer ?H ?A)
            (causes ?H ?HVU))))
emotion.kif 1887-1895
(=>
    (and
        (instance ?S Laughing)
        (experiencer ?S ?A))
    (modalAttribute
        (holdsDuring
            (WhenFn ?S)
            (attribute ?A Happiness)) Likely))
emotion.kif 1594-1602
(=>
    (and
        (instance ?S Smiling)
        (experiencer ?S ?A))
    (modalAttribute
        (holdsDuring
            (WhenFn ?S)
            (attribute ?A Happiness)) Likely))
emotion.kif 1582-1590
(=>
    (and
        (instance ?SMILE Smiling)
        (agent ?SMILE ?AGENT))
    (holdsDuring
        (WhenFn ?SMILE)
        (attribute ?AGENT Happiness)))
Mid-level-ontology.kif 10658-10662


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