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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Happiness
Happiness(felicidad)

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 15824-15826
(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 15844-15844
(relatedInternalConcept HappyFacialExpression Happiness) emotion.kif 1202-1202
(relatedInternalConcept HappyVoiceUtterance Happiness) emotion.kif 1890-1890
(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 15848-15848
(subAttribute Joy Happiness) emotion.kif 749-749
(subAttribute Satisfaction Happiness) Mid-level-ontology.kif 15834-15834
(subAttribute Serenity Happiness) emotion.kif 1101-1101
(subAttribute Tranquility Happiness) Mid-level-ontology.kif 15839-15839
(termFormat ChineseLanguage Happiness "幸福") domainEnglishFormat.kif 27381-27381
(termFormat ChineseTraditionalLanguage Happiness "幸福") domainEnglishFormat.kif 27380-27380
(termFormat EnglishLanguage Happiness "happiness") domainEnglishFormat.kif 27379-27379
(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 15828-15832
(=>
    (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 20222-20233
(=>
    (and
        (instance ?HVU HappyVoiceUtterance)
        (agent ?HVU ?A))
    (exists (?H)
        (and
            (instance ?H Happiness)
            (experiencer ?H ?A)
            (causes ?H ?HVU))))		 emotion.kif 1893-1901
(=>
    (and
        (instance ?S Laughing)
        (experiencer ?S ?A))
    (modalAttribute
        (holdsDuring
            (WhenFn ?S)
            (attribute ?A Happiness)) Likely))		 emotion.kif 1600-1608
(=>
    (and
        (instance ?S Smiling)
        (experiencer ?S ?A))
    (modalAttribute
        (holdsDuring
            (WhenFn ?S)
            (attribute ?A Happiness)) Likely))		 emotion.kif 1588-1596
(=>
    (and
        (instance ?SMILE Smiling)
        (agent ?SMILE ?AGENT))
    (holdsDuring
        (WhenFn ?SMILE)
        (attribute ?AGENT Happiness)))		 Mid-level-ontology.kif 9816-9820


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