Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Terror(terror) |
| appearance as argument number 1 |
|
| (documentation Terror EnglishLanguage "Terror is usually described as the feeling of dread and anticipation that precedes the horrifying experience.[Wikipedia]") | emotion.kif 1913-1914 | |
| (subAttribute Terror Fear) | emotion.kif 1916-1916 | Terror is a subattribute of angst |
| appearance as argument number 2 |
|
|
| (utterance EnglishLanguage Terror "terrified") | emotion.kif 1912-1912 | utterance english language, terror and "terrified" |
| (termFormat EnglishLanguage Terror "terror") | emotion.kif 1915-1915 | utterance english language, terror and "terrified" |
| antecedent |
|
|
| (=> (holdsDuring ?T (attribute ?A Terror)) (fears ?A (exists (?F) (and (instance ?F Frightening) (experiencer ?F ?A) (earlier ?T (WhenFn ?F)))))) |
emotion.kif 1918-1926 | If terror is an attribute of X holds during Y, then X fears there exists Z such that Z is an instance of frightening, X experiences Z, and Y happens earlier than the time of existence of Z |
|