| 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 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 20856-20858 | |
| (externalImage Happiness "http://upload.wikimedia.org/wikipedia/commons/ e/ eb/ MGD06FrenchmenShine.jpg") | pictureList.kif 2475-2475 | |
| (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 20860-20864 | |
| (=> (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 25414-25425 | |
| (=> (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 14353-14357 | |
| (=> (holdsDuring ?T (attribute ?H Depression)) (modalAttribute (holdsDuring ?T (not (attribute ?H Happiness))) Likely)) |
Mid-level-ontology.kif 7332-7339 |
|
|
|