TreeView Knowledge Base Browser

appearance as argument number 1

(subclass MoodStabilizer BiologicallyActiveSubstance)	Mid-level-ontology.kif 11205-11205	Mood stabilizer is a subclass of biologically active substance
(documentation MoodStabilizer EnglishLanguage "A mood stabilizer is a psychiatric medication used to treat mood disorders characterized by intense and sustained mood shifts, such as bipolar disorder and the bipolar type of schizoaffective disorder. Mood stabilizers are best known for the treatment of bipolar disorder, preventing mood shifts to mania (or hypomania) and depression. Mood stabilizers are also used in schizoaffective disorder when it is the bipolar type. The term 'mood stabilizer' does not describe a mechanism, but rather an effect. More precise terminology based on pharmacology is used to further classify these agents.[from Wikipedia]")	Mid-level-ontology.kif 11207-11216	Mood stabilizer is a subclass of biologically active substance
(roomTempState MoodStabilizer Solid)	Mid-level-ontology.kif 34072-34072	room temperature state mood stabilizer and solid

appearance as argument number 2

antecedent

(=>
    (and
        (instance ?I Ingesting)
        (experiencer ?I ?H)
        (objectTransferred ?I ?MS)
        (instance ?MS MoodStabilizer)
        (instance ?E ?EC)
        (involvedInEvent ?E ?H)
        (holdsDuring
            (WhenFn ?E)
            (attribute ?H ?ES))
        (instance ?ES EmotionalState)
        (instance ?E2 ?EC)
        (involvedInEvent ?E2 ?H)
        (earlier
            (WhenFn ?E2)
            (WhenFn ?I)))
    (modalAttribute
        (not
            (holdsDuring ?E2
                (attribute ?H ?ES))) Unlikely))

If All of the following hold: (1) X is an instance of ingesting (2) Y experiences X (3) the object transferred in X is Z (4) Z is an instance of mood stabilizer (5) W is an instance of V (6) Y is an involved in event of W (7) U is an attribute of Y holds during the time of existence of W (8) U is an instance of emotional state (9) T is an instance of V (10) Y is an involved in event of T (11) the time of existence of T happens earlier than the time of existence of X, then the statement U is not an attribute of Y doesn't hold during T has the modal force of unlikely