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 and 幸福 |
(relatedInternalConcept HappyFacialExpression Smiling) | emotion.kif 1223-1223 | 相關的內部概念 HappyFacialExpression and 微笑 |
(subclass HappyFacialExpression EmotionalFacialExpression) | emotion.kif 1219-1219 | 子類 HappyFacialExpression and EmotionalFacialExpression |
appearance as argument number 2 |
(actionTendency Happiness HappyFacialExpression) | emotion.kif 184-184 | actionTendency 幸福 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 |