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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Fear

Sigma KEE - Fear
Fear(peur)

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


(actionTendency Fear FearfulFacialExpression) emotion.kif 183-183 actionTendency peur 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 1013-1017
(instance Fear EmotionalState) emotion.kif 1018-1018 Peur est une instance de �tat �motionnel

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


(relatedInternalConcept FearfulFacialExpression Fear) emotion.kif 1339-1339 FearfulFacialExpression est reli� � l'int�rieur de SUMO � peur
(relatedInternalConcept FearfulVoiceUtterance Fear) emotion.kif 2061-2061 FearfulVoiceUtterance est reli� � l'int�rieur de SUMO � peur
(subAttribute Panic Fear) emotion.kif 695-695 Panic est un sous-attribut de peur
(subAttribute Terror Fear) emotion.kif 1155-1155 Terror est un sous-attribut de peur
(termFormat EnglishLanguage Fear "angst") emotion.kif 1023-1023
(termFormat EnglishLanguage Fear "fear") emotion.kif 1021-1021
(termFormat FrenchLanguage Fear "peur") emotion.kif 1020-1020
(termFormat SpanishLanguage Fear "miedo") emotion.kif 1019-1019
(utterance EnglishLanguage Fear "afraid") emotion.kif 1022-1022 utterance EnglishLanguage, peur 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 1025-1036
(=>
    (holdsDuring ?T
        (attribute ?A Fear))
    (modalAttribute
        (exists (?FE)
            (and
                (instance ?FE FearfulFacialExpression)
                (experiencer ?FE ?A)
                (during
                    (WhenFn ?FE) ?T))) Likely))
emotion.kif 1344-1353

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


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


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

Show without tree


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