Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Fear
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
-------------------------


s__actionTendency(s__Fear,s__FearfulFacialExpression)

emotion.kif 183-183 actionTendency angst and fearful facial expression
s__documentation(s__Fear,s__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]"')

emotion.kif 1021-1025
s__instance(s__Fear,s__EmotionalState)

s__instance(s__EmotionalState,s__Class)

emotion.kif 1026-1026 Angst is an instance of emotional state

appearance as argument number 2
-------------------------


s__relatedInternalConcept(s__FearfulFacialExpression,s__Fear)

emotion.kif 1347-1347 Fearful facial expression is internally related to angst
s__subAttribute(s__Panic,s__Fear)

emotion.kif 695-695 Panic is a subattribute of angst
s__subAttribute(s__Terror,s__Fear)

emotion.kif 1163-1163 Terror is a subattribute of angst
s__termFormat(s__EnglishLanguage,s__Fear,'"angst"')

emotion.kif 1031-1031
s__termFormat(s__EnglishLanguage,s__Fear,'"fear"')

emotion.kif 1029-1029
s__termFormat(s__FrenchLanguage,s__Fear,'"peur"')

emotion.kif 1028-1028
s__termFormat(s__SpanishLanguage,s__Fear,'"miedo"')

emotion.kif 1027-1027
s__utterance(s__EnglishLanguage,s__Fear,'"afraid"')

emotion.kif 1030-1030 utterance english language, angst and "afraid"

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. emotion.kif 1033-1044
No TPTP formula. May not be expressible in strict first order. emotion.kif 1352-1361


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners