TreeView Knowledge Base Browser

appearance as argument number 1

(diseaseMedicine Anxiety Benzodiazepine Ingesting)	Medicine.kif 3916-3916	Anxiety is disease treatment benzodiazepine for ingesting
(sideEffect Anxiety Escitalopram)	Medicine.kif 4088-4088	Escitalopram is a side effect of taking anxiety
(actionTendency Anxiety PupilsDilation)	emotion.kif 795-795	action tendency anxiety and dilated pupils
(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 1340-1344	action tendency anxiety and dilated pupils
(instance Anxiety EmotionalState)	emotion.kif 1345-1345	Anxiety is an instance of emotional state
(relatedInternalConcept Anxiety Worry)	emotion.kif 1346-1346	Anxiety is internally related to worry
(relatedInternalConcept Anxiety Fear)	emotion.kif 1691-1691	Anxiety is internally related to angst

appearance as argument number 2

(termFormat ChineseTraditionalLanguage Anxiety "焦慮")	domainEnglishFormat.kif 7931-7931
(termFormat ChineseLanguage Anxiety "焦虑")	domainEnglishFormat.kif 7932-7932
(contraryAttribute Tranquility Anxiety)	emotion.kif 1328-1328	Tranquility is the opposite of anxiety
(termFormat FrenchLanguage Anxiety "anxiété")	emotion.kif 1977-1977	Tranquility is the opposite of anxiety
(termFormat SpanishLanguage Anxiety "ansiedad")	emotion.kif 1978-1978	Tranquility is the opposite of anxiety
(utterance EnglishLanguage Anxiety "anxious")	emotion.kif 1979-1979	utterance english language, anxiety and "anxious"
(termFormat GermanLanguage Anxiety "besorgnis")	emotion.kif 1980-1980	utterance english language, anxiety and "anxious"
(termFormat EnglishLanguage Anxiety "anxiety")	emotion.kif 1981-1981	utterance english language, anxiety and "anxious"

antecedent

(=> (attribute ?A Anxiety) (attribute ?A Unhappiness))	emotion.kif 1357-1359	If anxiety is an attribute of X, then unhappiness is an attribute of X
(=> (holdsDuring ?T (attribute ?A Anxiety)) (believes ?A (modalAttribute (exists (?P) (and (not (wants ?A ?P)) (before ?T (WhenFn ?P)))) Likely)))	emotion.kif 1984-1995	If anxiety is an attribute of X holds during Y, then X believes the statement there exists Z such that X doesn't want Z and Y happens before the time of existence of Z has the modal force of likely

consequent

(=>
    (and
        (instance ?A Sedating)
        (patient ?A ?P))
    (holdsDuring
        (WhenFn ?A)
        (and
            (attribute ?P Conscious)
            (not
                (attribute ?P Anxiety)))))

If X is an instance of sedating and Y is a patient of X, then conscious is an attribute of Y and anxiety is not an attribute of Y holds during the time of existence of X