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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Anxiety
Anxiety(anxiété)

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


(documentation Anxiety EnglishLanguage "A negative, aversive emotion provoked by the prospect of future threat. Distinguished from fear since it is triggered by a distal threat whereas fear is triggered by an immediate threat. Often gradual and long-lasting, whereas fear usually has sudden onset and offset. [Source: OCEAS]") emotion.kif 1172-1176
(documentation Anxiety EnglishLanguage "The state of being worried, troubled or uneasy.") Mid-level-ontology.kif 19219-19219
(instance Anxiety EmotionalState) emotion.kif 1177-1177 Anxiété est une instance de �tat �motionnel
(subAttribute Anxiety Unhappiness) Mid-level-ontology.kif 19218-19218 Anxiété est un sous-attribut de Unhappiness

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


(contraryAttribute Tranquility Anxiety) Mid-level-ontology.kif 19206-19206 Tranquility est l'oppos� de anxiété
(termFormat ChineseLanguage Anxiety "焦虑") domainEnglishFormat.kif 7932-7932
(termFormat ChineseTraditionalLanguage Anxiety "焦慮") domainEnglishFormat.kif 7931-7931
(termFormat EnglishLanguage Anxiety "anxiety") domainEnglishFormat.kif 7930-7930
(termFormat FrenchLanguage Anxiety "anxiété") emotion.kif 1169-1169
(termFormat GermanLanguage Anxiety "besorgnis") emotion.kif 1178-1178
(termFormat SpanishLanguage Anxiety "ansiedad") emotion.kif 1170-1170
(utterance EnglishLanguage Anxiety "anxious") emotion.kif 1171-1171 utterance EnglishLanguage, anxiété and "anxious"

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


(=>
    (attribute ?PERSON Anxiety)
    (exists (?PROP)
        (fears ?PERSON ?PROP)))
Mid-level-ontology.kif 19221-19224

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


(=>
    (and
        (instance ?FRIGHTEN Frightening)
        (experiencer ?FRIGHTEN ?AGENT))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?FRIGHTEN))
            (not
                (attribute ?AGENT Anxiety)))
        (holdsDuring
            (EndFn
                (WhenFn ?FRIGHTEN))
            (attribute ?AGENT Anxiety))))
Mid-level-ontology.kif 18161-18167


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