Fear(angst) | alarm, apprehension, apprehensiveness, boding, chill, cold_feet, consternation, creeps, dismay, dread, fear, fearfulness, foreboding, fright, frisson, intimidation, pall, premonition, presentiment, quiver, shiver, shudder, shyness, stage_fright, suspense, thrill, timidity, timidness, timorousness, tingle, trepidation |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 183-183 | action tendency angst and fearful facial expression |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1013-1017 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1018-1018 | Angst is an instance of emotional state |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1339-1339 | Fearful facial expression is internally related to angst |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 2061-2061 | Fearful voice utterance is internally related to angst |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 695-695 | Panic is a subattribute of angst |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1155-1155 | Terror is a subattribute of angst |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1023-1023 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1021-1021 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1020-1020 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1019-1019 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1022-1022 | utterance english language, angst and "afraid" |
antecedent |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1025-1036 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1344-1353 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 2065-2073 |
|