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 HappyFacialExpression) | emotion.kif 184-184 | action tendency happiness and happy facial expression |
(actionTendency Happiness Laughing) | emotion.kif 176-176 | action tendency happiness and laughing |
(actionTendency Happiness Smiling) | emotion.kif 177-177 | action tendency happiness and smiling |
(documentation Happiness EnglishLanguage "A positive emotion which is experienced in reaction to a positive experience or event. [Source: OCEAS]") | emotion.kif 817-818 | action tendency happiness and smiling |
(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 19543-19545 | action tendency happiness and smiling |
(externalImage Happiness "http://upload.wikimedia.org/wikipedia/commons/ e/ eb/ MGD06FrenchmenShine.jpg") | pictureList.kif 2476-2476 | action tendency happiness and smiling |
(instance Happiness EmotionalState) | emotion.kif 816-816 | Happiness is an instance of emotional state |
appearance as argument number 2 |
antecedent |
(=> (attribute ?PERSON Happiness) (not (exists (?PROP) (fears ?PERSON ?PROP)))) |
Mid-level-ontology.kif 19547-19551 |
|
(=> (holdsDuring ?T (attribute ?A Happiness)) (modalAttribute (exists (?HF) (and (instance ?HF HappyFacialExpression) (experiencer ?HF ?A) (during (WhenFn ?HF) ?T))) Likely)) |
emotion.kif 1226-1235 |
|
consequent |