Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Antidepressant
Antidepressant(anti-depressant)Edronax, MAOI, SSRI, Serzone, antidepressant, antidepressant_drug, maleate, monoamine_oxidase_inhibitor, nefazodone, nontricyclic, nontricyclic_antidepressant, nontricyclic_antidepressant_drug, nontricyclic_drug, reboxetine, selective-serotonin_reuptake_inhibitor, tricyclic, tricyclic_antidepressant, tricyclic_antidepressant_drug

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


(subclass Antidepressant BiologicallyActiveSubstance) Medicine.kif 3238-3238 Anti-depressant is a subclass of biologically active substance
(documentation Antidepressant EnglishLanguage "A medicine to combat Depression.") Medicine.kif 3239-3240 Anti-depressant is a subclass of biologically active substance
(medicine Antidepressant Depression) Medicine.kif 3241-3241 Anti-depressant is medicine for depressed

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


(termFormat EnglishLanguage Antidepressant "antidepressant") Medicine.kif 3242-3242
(termFormat EnglishLanguage Antidepressant "anti-depressant") Medicine.kif 3243-3243
(subclass SSRIDrug Antidepressant) Medicine.kif 3259-3259 Selective serotonin reuptake inhibitor is a subclass of anti-depressant
(subclass Bupropion Antidepressant) Medicine.kif 3798-3798 Bupropion is a subclass of anti-depressant

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


(=>
    (instance ?AP Antidepressant)
    (hasPurpose ?AP
        (exists (?I ?H)
            (and
                (instance ?I Ingesting)
                (objectTransferred ?I ?AP)
                (agent ?AP ?H)
                (holdsDuring
                    (FutureFn
                        (WhenFn ?I))
                    (not
                        (attribute ?H Depression)))))))		 Medicine.kif 3245-3257 If X is an instance of anti-depressant, then X has the purpose there exist Y, Z such that Y is an instance of ingesting, the object transferred in Y is X, Z is an agent of X, and depressed is not an attribute of Z holds during after the time of existence of Y


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners