Happiness |
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 817-818 | |
(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 19312-19314 | |
(externalImage Happiness "http://upload.wikimedia.org/wikipedia/commons/ e/ eb/ MGD06FrenchmenShine.jpg") | pictureList.kif 2476-2476 | |
(instance Happiness EmotionalState) | emotion.kif 816-816 |
appearance as argument number 2 |
antecedent |
(=> (attribute ?PERSON Happiness) (not (exists (?PROP) (fears ?PERSON ?PROP)))) |
Mid-level-ontology.kif 19316-19320 | |
(=> (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 |
(=> (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 23825-23836 | |
(=> (and (instance ?HVU HappyVoiceUtterance) (agent ?HVU ?A)) (exists (?H) (and (instance ?H Happiness) (experiencer ?H ?A) (causes ?H ?HVU)))) |
emotion.kif 1983-1991 | |
(=> (and (instance ?S Laughing) (experiencer ?S ?A)) (modalAttribute (holdsDuring (WhenFn ?S) (attribute ?A Happiness)) Likely)) |
emotion.kif 1626-1634 | |
(=> (and (instance ?S Smiling) (experiencer ?S ?A)) (modalAttribute (holdsDuring (WhenFn ?S) (attribute ?A Happiness)) Likely)) |
emotion.kif 1614-1622 | |
(=> (and (instance ?SMILE Smiling) (agent ?SMILE ?AGENT)) (holdsDuring (WhenFn ?SMILE) (attribute ?AGENT Happiness))) |
Mid-level-ontology.kif 13049-13053 | |
(=> (holdsDuring ?T (attribute ?H Depression)) (modalAttribute (holdsDuring ?T (not (attribute ?H Happiness))) Likely)) |
Mid-level-ontology.kif 6389-6396 |