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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Anxiety
Anxiety

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


(diseaseMedicine Anxiety Benzodiazepine Ingesting) Medicine.kif 3885-3885
(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 20902-20902
(instance Anxiety EmotionalState) emotion.kif 1177-1177
(sideEffect Anxiety Escitalopram) Medicine.kif 4057-4057
(subAttribute Anxiety Unhappiness) Mid-level-ontology.kif 20901-20901

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


(contraryAttribute Tranquility Anxiety) Mid-level-ontology.kif 20889-20889
(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 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

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


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

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


(=>
    (and
        (instance ?A Sedating)
        (patient ?A ?P))
    (holdsDuring
        (WhenFn ?A)
        (and
            (attribute ?P Conscious)
            (not
                (attribute ?P Anxiety)))))
Medicine.kif 975-984
(=>
    (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 19837-19843


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