HappyFacialExpression
|
|
appearance as argument number 1 |
(documentation HappyFacialExpression EnglishLanguage "The canonical facial expression associated with the experience of happiness.") | emotion.kif 1221-1222 | |
(relatedInternalConcept HappyFacialExpression Happiness) | emotion.kif 1220-1220 | HappyFacialExpression e' relacionado internamente por SUMO a Happiness |
(relatedInternalConcept HappyFacialExpression Smiling) | emotion.kif 1223-1223 | HappyFacialExpression e' relacionado internamente por SUMO a Smiling |
(subclass HappyFacialExpression EmotionalFacialExpression) | emotion.kif 1219-1219 | HappyFacialExpression e' uma sub-classe de EmotionalFacialExpression |
appearance as argument number 2 |
(actionTendency Happiness HappyFacialExpression) | emotion.kif 184-184 | actionTendency Happiness and HappyFacialExpression |
(termFormat EnglishLanguage HappyFacialExpression "happy facial expression") | emotion.kif 1224-1224 |
consequent |
(=> (holdsDuring ?T (attribute ?A Happiness)) (modalAttribute (exists (?HF) (and (instance ?HF HappyFacialExpression) (experiencer ?HF ?A) (during (WhenFn ?HF) ?T))) Likely)) |
emotion.kif 1226-1235 |
|