Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Fear
|
|
|
| appearance as argument number 1 |
|
|
| (actionTendency Fear FearfulFacialExpression) | emotion.kif 163-163 | action tendency angst and fearful facial expression |
| (actionTendency Fear PupilsDilation) | emotion.kif 793-793 | action tendency angst and dilated pupils |
| (documentation Fear EnglishLanguage "An activated, aversive emotion that motivates attempts to cope with events that provide threats to the survival or well_being of organisms. Characterised by feelings of threat and impending doom, and by an urge to get out of the situation. [Source: OCEAS]Anxiety is different from fear in that fear is defined as the emotional response to a present threat, whereas anxiety is the anticipation of a future one.[Wikipedia]") | emotion.kif 1672-1678 | action tendency angst and dilated pupils |
| (instance Fear EmotionalState) | emotion.kif 1679-1679 | Angst is an instance of emotional state |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (attribute ?PERSON Fear) (exists (?PROP) (fears ?PERSON ?PROP))) |
emotion.kif 1686-1689 | If angst is an attribute of X, then there exists Y such that X fears Y |
| (=> (holdsDuring ?T (attribute ?A Fear)) (exists (?F) (and (instance ?F Frightening) (experiencer ?F ?A) (during (WhenFn ?F) ?T)))) |
emotion.kif 1720-1727 | If angst is an attribute of X holds during Y, then there exists Z such that Z is an instance of frightening, X experiences Z, and the time of existence of Z takes place during Y |
| (=> (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 |
| consequent |
|
|
| (=> (and (instance ?FRIGHTEN Frightening) (experiencer ?FRIGHTEN ?AGENT)) (and (holdsDuring (BeginFn (WhenFn ?FRIGHTEN)) (not (attribute ?AGENT Fear))) (holdsDuring (EndFn (WhenFn ?FRIGHTEN)) (attribute ?AGENT Fear)))) |
emotion.kif 1712-1718 | If X is an instance of frightening and Y experiences X, then angst is not an attribute of Y holds during the beginning of the time of existence of X and angst is an attribute of Y holds during the end of the time of existence of X |
| (=> (and (instance ?FVU FearfulVoiceUtterance) (agent ?FVU ?A)) (holdsDuring (WhenFn ?FVU) (attribute ?A Fear))) |
emotion.kif 2920-2926 | If X is an instance of fearful voice utterance and Y is an agent of X, then angst is an attribute of Y holds during the time of existence of X |
|