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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Happiness
Happiness

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


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


(actionTendency Happiness HappyFacialExpression) emotion.kif 184-184 actionTendency Happiness and HappyFacialExpression
(actionTendency Happiness Laughing) emotion.kif 176-176 actionTendency Happiness and Laughing
(actionTendency Happiness Smiling) emotion.kif 177-177 actionTendency Happiness and Smiling
(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 17092-17094
(externalImage Happiness "http://upload.wikimedia.org/wikipedia/commons/ e/ eb/ MGD06FrenchmenShine.jpg") pictureList.kif 2477-2477
(instance Happiness EmotionalState) emotion.kif 824-824 instance Happiness and EmotionalState

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


(contraryAttribute Unhappiness Happiness) Mid-level-ontology.kif 17112-17112 contraryAttribute Unhappiness and Happiness
(relatedInternalConcept HappyFacialExpression Happiness) emotion.kif 1202-1202 relatedInternalConcept HappyFacialExpression and Happiness
(relatedInternalConcept HappyVoiceUtterance Happiness) emotion.kif 1884-1884 relatedInternalConcept HappyVoiceUtterance and Happiness
(subAttribute Amusement Happiness) emotion.kif 1149-1149 subAttribute Amusement and Happiness
(subAttribute Contentment Happiness) emotion.kif 902-902 subAttribute Contentment and Happiness
(subAttribute Elation Happiness) emotion.kif 983-983 subAttribute Elation and Happiness
(subAttribute Euphoria Happiness) emotion.kif 1133-1133 subAttribute Euphoria and Happiness
(subAttribute Excitement Happiness) Mid-level-ontology.kif 17116-17116 subAttribute Excitement and Happiness
(subAttribute Joy Happiness) emotion.kif 749-749 subAttribute Joy and Happiness
(subAttribute Satisfaction Happiness) Mid-level-ontology.kif 17102-17102 subAttribute Satisfaction and Happiness
(subAttribute Serenity Happiness) emotion.kif 1101-1101 subAttribute Serenity and Happiness
(subAttribute Tranquility Happiness) Mid-level-ontology.kif 17107-17107 subAttribute Tranquility and Happiness
(termFormat ChineseLanguage Happiness "幸福") domainEnglishFormat.kif 27313-27313
(termFormat ChineseTraditionalLanguage Happiness "幸福") domainEnglishFormat.kif 27312-27312
(termFormat EnglishLanguage Happiness "happiness") domainEnglishFormat.kif 27311-27311
(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 utterance EnglishLanguage, Happiness and "happy"

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


(=>
    (attribute ?PERSON Happiness)
    (not
        (exists (?PROP)
            (fears ?PERSON ?PROP))))
Mid-level-ontology.kif 17096-17100
(=>
    (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 21734-21745
(=>
    (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 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 3.0 is open source software produced by Articulate Software and its partners