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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Happiness
Happiness(happiness)
afterglow, alleviation, amiability, amusement, assuagement, awe, beatification, beatitude, belonging, blessedness, blithely, blitheness, bonheur, buoyancy, cheerful, cheerfully, cheerfulness, cheery, comfort, delectation, delight, delighted, ecstasy, elated, enjoyment, enlightenment, entrancement, exaltation, excitement, exhilaration, felicidad, felicity, gaiety, gay, gayly, glad, gladfulness, gladness, gladsomeness, glee, gleeful, gleefulness, glück, good_humor, good_humour, good_temper, gusto, happily, happiness, happy...

VerbNet: amuse-31.1|please, amuse-31.1|please,


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


(actionTendency Happiness HappyFacialExpression) emotion.kif 184-184 Happiness tends to cause happy facial expression
(actionTendency Happiness Laughing) emotion.kif 176-176 Happiness tends to cause laughing
(actionTendency Happiness Smiling) emotion.kif 177-177 Happiness tends to cause smiling
(documentation Happiness EnglishLanguage "A positive emotion which is experienced in reaction to a positive experience or event. [Source: OCEAS]") emotion.kif 824-825
(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 17066-17068
(externalImage Happiness "http://upload.wikimedia.org/wikipedia/commons/ e/ eb/ MGD06FrenchmenShine.jpg") pictureList.kif 2477-2477 "http://upload.wikimedia.org/wikipedia/commons/e/eb/ MGD06FrenchmenShine.jpg" is a URL depicting happiness
(instance Happiness EmotionalState) emotion.kif 823-823 Happiness is an instance of emotional state

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


(contraryAttribute Unhappiness Happiness) Mid-level-ontology.kif 17086-17086 Unhappiness is the opposite of happiness
(relatedInternalConcept HappyFacialExpression Happiness) emotion.kif 1201-1201 Happy facial expression is internally related to happiness
(relatedInternalConcept HappyVoiceUtterance Happiness) emotion.kif 1883-1883 Happy voice utterance is internally related to happiness
(subAttribute Amusement Happiness) emotion.kif 1148-1148 Amusement is a subattribute of happiness
(subAttribute Contentment Happiness) emotion.kif 901-901 Contentment is a subattribute of happiness
(subAttribute Elation Happiness) emotion.kif 982-982 Elation is a subattribute of happiness
(subAttribute Euphoria Happiness) emotion.kif 1132-1132 Euphoria is a subattribute of happiness
(subAttribute Excitement Happiness) Mid-level-ontology.kif 17090-17090 Excitement is a subattribute of happiness
(subAttribute Joy Happiness) emotion.kif 748-748 Joy is a subattribute of happiness
(subAttribute Satisfaction Happiness) Mid-level-ontology.kif 17076-17076 Satisfaction is a subattribute of happiness
(subAttribute Serenity Happiness) emotion.kif 1100-1100 Serenity is a subattribute of happiness
(subAttribute Tranquility Happiness) Mid-level-ontology.kif 17081-17081 Tranquility is a subattribute of happiness
(termFormat ChineseLanguage Happiness "幸福") domainEnglishFormat.kif 27319-27319 "幸福" is the printable form of happiness in ChineseLanguage
(termFormat ChineseTraditionalLanguage Happiness "幸福") domainEnglishFormat.kif 27318-27318 "幸福" is the printable form of happiness in ChineseTraditionalLanguage
(termFormat EnglishLanguage Happiness "happiness") domainEnglishFormat.kif 27317-27317 "happiness" is the printable form of happiness in english language
(termFormat FrenchLanguage Happiness "bonheur") emotion.kif 818-818 "bonheur" is the printable form of happiness in french language
(termFormat GermanLanguage Happiness "glück") emotion.kif 821-821 "glück" is the printable form of happiness in german language
(termFormat SpanishLanguage Happiness "felicidad") emotion.kif 822-822 "felicidad" is the printable form of happiness in spanish language
(utterance EnglishLanguage Happiness "happy") emotion.kif 820-820 Happiness in english language is called "happy"

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


(=>
    (attribute ?PERSON Happiness)
    (not
        (exists (?PROP)
            (fears ?PERSON ?PROP))))
Mid-level-ontology.kif 17070-17074
(=>
    (holdsDuring ?T
        (attribute ?A Happiness))
    (modalAttribute
        (exists (?HF)
            (and
                (instance ?HF HappyFacialExpression)
                (experiencer ?HF ?A)
                (during
                    (WhenFn ?HF) ?T))) Likely))
emotion.kif 1207-1216

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 21697-21708
(=>
    (and
        (instance ?HVU HappyVoiceUtterance)
        (agent ?HVU ?A))
    (exists (?H)
        (and
            (instance ?H Happiness)
            (experiencer ?H ?A)
            (causes ?H ?HVU))))
emotion.kif 1886-1894
(=>
    (and
        (instance ?S Laughing)
        (experiencer ?S ?A))
    (modalAttribute
        (holdsDuring
            (WhenFn ?S)
            (attribute ?A Happiness)) Likely))
emotion.kif 1593-1601
(=>
    (and
        (instance ?S Smiling)
        (experiencer ?S ?A))
    (modalAttribute
        (holdsDuring
            (WhenFn ?S)
            (attribute ?A Happiness)) Likely))
emotion.kif 1581-1589
(=>
    (and
        (instance ?SMILE Smiling)
        (agent ?SMILE ?AGENT))
    (holdsDuring
        (WhenFn ?SMILE)
        (attribute ?AGENT Happiness)))
Mid-level-ontology.kif 10630-10634


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