Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Happiness

 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, felicity, gaiety, gay, gayly, glad, gladfulness, gladness, gladsomeness, glee, gleeful, gleefulness, good_humor, good_humour, good_temper, gusto, happily, happiness, happy, hilarity, intoxication...

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


(actionTendency Happiness Laughing) emotion.kif 156-156 action tendency happiness and laughing
(actionTendency Happiness Smiling) emotion.kif 157-157 action tendency happiness and smiling
(actionTendency Happiness HappyFacialExpression) emotion.kif 164-164 action tendency happiness and happy facial expression
(instance Happiness EmotionalState) emotion.kif 1235-1235 Happiness is an instance of emotional state
(documentation Happiness EnglishLanguage "A positive emotion which is experienced in reaction to a positive experience or event. [Source: OCEAS]") emotion.kif 1236-1237 Happiness is an instance of emotional state
(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.") emotion.kif 1239-1241 Happiness is an instance of emotional state
(externalImage Happiness "http://upload.wikimedia.org/wikipedia/commons/ e/ eb/ MGD06FrenchmenShine.jpg") pictureList.kif 2475-2475 Happiness is an instance of emotional state

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


(termFormat ChineseTraditionalLanguage Happiness "幸福") domainEnglishFormat.kif 27393-27393
(termFormat ChineseLanguage Happiness "幸福") domainEnglishFormat.kif 27394-27394
(subAttribute Joy Happiness) emotion.kif 1168-1168 Joy is a subattribute of happiness
(termFormat FrenchLanguage Happiness "bonheur") emotion.kif 1230-1230 Joy is a subattribute of happiness
(termFormat EnglishLanguage Happiness "happiness") emotion.kif 1231-1231 Joy is a subattribute of happiness
(utterance EnglishLanguage Happiness "happy") emotion.kif 1232-1232 utterance english language, happiness and "happy"
(termFormat GermanLanguage Happiness "glück") emotion.kif 1233-1233 utterance english language, happiness and "happy"
(termFormat SpanishLanguage Happiness "felicidad") emotion.kif 1234-1234 utterance english language, happiness and "happy"
(subAttribute Satisfaction Happiness) emotion.kif 1322-1322 Satisfaction is a subattribute of happiness
(subAttribute Tranquility Happiness) emotion.kif 1327-1327 Tranquility is a subattribute of happiness
(contraryAttribute Unhappiness Happiness) emotion.kif 1332-1332 Unhappiness is the opposite of happiness
(subAttribute Excitement Happiness) emotion.kif 1336-1336 Excitement is a subattribute of happiness
(subAttribute Contentment Happiness) emotion.kif 1479-1479 Contentment is a subattribute of happiness
(subAttribute Elation Happiness) emotion.kif 1535-1535 Elation is a subattribute of happiness
(subAttribute Serenity Happiness) emotion.kif 1837-1837 Serenity is a subattribute of happiness
(subAttribute Euphoria Happiness) emotion.kif 1892-1892 Euphoria is a subattribute of happiness
(subAttribute Amusement Happiness) emotion.kif 1975-1975 Amusement is a subattribute of happiness
(relatedInternalConcept HappyFacialExpression Happiness) emotion.kif 2079-2079 Happy facial expression is internally related to happiness
(relatedInternalConcept HappyVoiceUtterance Happiness) emotion.kif 2835-2835 Happy voice utterance is internally related to happiness

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


(=>
    (attribute ?PERSON Happiness)
    (not
        (exists (?PROP)
            (fears ?PERSON ?PROP))))		 emotion.kif 1243-1247 If happiness is an attribute of X, then there doesn't exist Y such that X fears Y
(=>
    (holdsDuring ?T
        (attribute ?A Happiness))
    (modalAttribute
        (exists (?HF)
            (and
                (instance ?HF HappyFacialExpression)
                (experiencer ?HF ?A)
                (during
                    (WhenFn ?HF) ?T))) Likely))		 emotion.kif 2085-2094 If happiness is an attribute of X holds during Y, then the statement there exists Z such that Z is an instance of happy facial expression, X experiences Z, and the time of existence of Z takes place during Y has the modal force of likely

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


(=>
    (and
        (instance ?SMILE Smiling)
        (agent ?SMILE ?AGENT))
    (holdsDuring
        (WhenFn ?SMILE)
        (attribute ?AGENT Happiness)))		 emotion.kif 1249-1253 If X is an instance of smiling and Y is an agent of X, then happiness is an attribute of Y holds during the time of existence of X
(=>
    (holdsDuring ?T
        (attribute ?H Depression))
    (modalAttribute
        (holdsDuring ?T
            (not
                (attribute ?H Happiness))) Likely))		 emotion.kif 1275-1282 If depressed is an attribute of X holds during Y, then the statement happiness is not an attribute of X holds during Y has the modal force of likely
(=>
    (and
        (instance ?C CausingHappiness)
        (patient ?C ?P))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?C))
            (not
                (attribute ?P Happiness)))
        (holdsDuring
            (EndFn
                (WhenFn ?C))
            (attribute ?P Happiness))))		 emotion.kif 1288-1299 If X is an instance of causing happiness and Y is a patient of X, then happiness is not an attribute of Y holds during the beginning of the time of existence of X and happiness is an attribute of Y holds during the end of the time of existence of X
(=>
    (and
        (instance ?S Smiling)
        (experiencer ?S ?A))
    (modalAttribute
        (holdsDuring
            (WhenFn ?S)
            (attribute ?A Happiness)) Likely))		 emotion.kif 2451-2459 If X is an instance of smiling and Y experiences X, then the statement happiness is an attribute of Y holds during the time of existence of X has the modal force of likely
(=>
    (and
        (instance ?S Laughing)
        (experiencer ?S ?A))
    (modalAttribute
        (holdsDuring
            (WhenFn ?S)
            (attribute ?A Happiness)) Likely))		 emotion.kif 2461-2469 If X is an instance of laughing and Y experiences X, then the statement happiness is an attribute of Y holds during the time of existence of X has the modal force of likely
(=>
    (and
        (instance ?HVU HappyVoiceUtterance)
        (agent ?HVU ?A))
    (exists (?H)
        (and
            (instance ?H Happiness)
            (experiencer ?H ?A)
            (causes ?H ?HVU))))		 emotion.kif 2838-2846 If X is an instance of happy voice utterance and Y is an agent of X, then there exists Z such that Z is an instance of happiness, Y experiences Z, and Z causes X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners