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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Anxiety
Anxiety

VerbNet: admire-31.2|fear, admire-31.2|fear, marvel-31.3|obsess, marvel-31.3|worry,


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 1154-1158
(documentation Anxiety EnglishLanguage "The state of being worried, troubled or uneasy.") Mid-level-ontology.kif 17121-17121
(instance Anxiety EmotionalState) emotion.kif 1159-1159 instance Anxiety and EmotionalState
(subAttribute Anxiety Unhappiness) Mid-level-ontology.kif 17120-17120 subAttribute Anxiety and Unhappiness

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


(contraryAttribute Tranquility Anxiety) Mid-level-ontology.kif 17108-17108 contraryAttribute Tranquility and Anxiety
(termFormat ChineseLanguage Anxiety "焦虑") domainEnglishFormat.kif 7939-7939
(termFormat ChineseTraditionalLanguage Anxiety "焦慮") domainEnglishFormat.kif 7938-7938
(termFormat EnglishLanguage Anxiety "anxiety") domainEnglishFormat.kif 7937-7937
(termFormat FrenchLanguage Anxiety "anxiété") emotion.kif 1151-1151
(termFormat GermanLanguage Anxiety "besorgnis") emotion.kif 1160-1160
(termFormat SpanishLanguage Anxiety "ansiedad") emotion.kif 1152-1152
(utterance EnglishLanguage Anxiety "anxious") emotion.kif 1153-1153 utterance EnglishLanguage, Anxiety and "anxious"

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


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

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 15967-15973


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