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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Anxiety

Sigma KEE - Anxiety
Anxiety(焦虑)

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


(diseaseMedicine Anxiety Benzodiazepine Ingesting) Medicine.kif 3882-3882 焦虑 是 对于 消化dis​​ease 治愈 Benzodiazepine
(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 19314-19314
(instance Anxiety EmotionalState) emotion.kif 1177-1177 焦虑情绪状态instance
(sideEffect Anxiety Escitalopram) Medicine.kif 4054-4054 Escitalopram 是服用 焦虑side effect
(subAttribute Anxiety Unhappiness) Mid-level-ontology.kif 19313-19313 焦虑不幸subAttribute

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


(contraryAttribute Tranquility Anxiety) Mid-level-ontology.kif 19301-19301 宁静焦虑 的相反
(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 英语, 焦虑 and "anxious"

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


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

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 18249-18255


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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