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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Anxiety
Anxiety(ansiedad)

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 15853-15853
(instance Anxiety EmotionalState) emotion.kif 1159-1159
(subAttribute Anxiety Unhappiness) Mid-level-ontology.kif 15852-15852

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


(contraryAttribute Tranquility Anxiety) Mid-level-ontology.kif 15840-15840
(termFormat ChineseLanguage Anxiety "焦虑") domainEnglishFormat.kif 7941-7941
(termFormat ChineseTraditionalLanguage Anxiety "焦慮") domainEnglishFormat.kif 7940-7940
(termFormat EnglishLanguage Anxiety "anxiety") domainEnglishFormat.kif 7939-7939
(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

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


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

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 14823-14829


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