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 3882-3882 diseaseMedicine Anxiety, Benzodiazepine and Ingesting
(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 19313-19313
(instance Anxiety EmotionalState) emotion.kif 1177-1177 Anxiety ist ein fall von EmotionalState %n{nicht}
(sideEffect Anxiety Escitalopram) Medicine.kif 4054-4054 sideEffect Anxiety and Escitalopram
(subAttribute Anxiety Unhappiness) Mid-level-ontology.kif 19312-19312 Anxiety ist ein teilattribut von Unhappiness

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


(contraryAttribute Tranquility Anxiety) Mid-level-ontology.kif 19300-19300 Tranquility wird Anxiety entgegengesetzet %n{nicht}
(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, Anxiety and "anxious"

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


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

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


(=>
    (and
        (instance ?A Sedating)
        (patient ?A ?P))
    (holdsDuring
        (WhenFn ?A)
        (and
            (attribute ?P Conscious)
            (not
                (attribute ?P Anxiety)))))
Medicine.kif 983-992
(=>
    (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 18248-18254


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