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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Fear
Fear

appearance as argument number 1
-------------------------


(actionTendency Fear FearfulFacialExpression) emotion.kif 183-183 actionTendency Fear and FearfulFacialExpression
(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]") emotion.kif 1021-1025
(instance Fear EmotionalState) emotion.kif 1026-1026 instance Fear and EmotionalState

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


(relatedInternalConcept FearfulFacialExpression Fear) emotion.kif 1321-1321 relatedInternalConcept FearfulFacialExpression and Fear
(relatedInternalConcept FearfulVoiceUtterance Fear) emotion.kif 1962-1962 relatedInternalConcept FearfulVoiceUtterance and Fear
(subAttribute Panic Fear) emotion.kif 695-695 subAttribute Panic and Fear
(subAttribute Terror Fear) emotion.kif 1137-1137 subAttribute Terror and Fear
(termFormat EnglishLanguage Fear "angst") emotion.kif 1031-1031
(termFormat EnglishLanguage Fear "fear") emotion.kif 1029-1029
(termFormat FrenchLanguage Fear "peur") emotion.kif 1028-1028
(termFormat SpanishLanguage Fear "miedo") emotion.kif 1027-1027
(utterance EnglishLanguage Fear "afraid") emotion.kif 1030-1030 utterance EnglishLanguage, Fear and "afraid"

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


(=>
    (holdsDuring ?T
        (attribute ?A Fear))
    (believes ?A
        (modalAttribute
            (exists (?P)
                (and
                    (not
                        (wants ?A ?P))
                    (before ?T
                        (WhenFn ?P)))) Likely)))
emotion.kif 1033-1044
(=>
    (holdsDuring ?T
        (attribute ?A Fear))
    (modalAttribute
        (exists (?FE)
            (and
                (instance ?FE FearfulFacialExpression)
                (experiencer ?FE ?A)
                (during
                    (WhenFn ?FE) ?T))) Likely))
emotion.kif 1326-1335

consequent
-------------------------


(=>
    (and
        (instance ?FVU FearfulVoiceUtterance)
        (agent ?FVU ?A))
    (exists (?F)
        (and
            (instance ?F Fear)
            (experiencer ?F ?A)
            (causes ?F ?FVU))))
emotion.kif 1966-1974


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