![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
FearfulFacialExpression
|
|
|
| appearance as argument number 1 |
|
|
| (relatedInternalConcept FearfulFacialExpression OpeningEyesWidely) | emotion.kif 2216-2216 | Fearful facial expression is internally related to opening eyes widely |
| (relatedInternalConcept FearfulFacialExpression Fear) | emotion.kif 2217-2217 | Fearful facial expression is internally related to angst |
| (documentation FearfulFacialExpression EnglishLanguage "The canonical facial expression associated with the experience of fear.") | emotion.kif 2218-2219 | Fearful facial expression is internally related to angst |
| (subclass FearfulFacialExpression EmotionalFacialExpression) | emotion.kif 2220-2220 | Fearful facial expression is a subclass of emotional facial expression |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (holdsDuring ?T (attribute ?A Fear)) (modalAttribute (exists (?FE) (and (instance ?FE FearfulFacialExpression) (experiencer ?FE ?A) (during (WhenFn ?FE) ?T))) Likely)) |
emotion.kif 2222-2231 | If angst is an attribute of X holds during Y, then the statement there exists Z such that Z is an instance of fearful facial expression, X experiences Z, and the time of existence of Z takes place during Y has the modal force of likely |