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


KB Term:  Term intersection
English Word: 

  Antidepressant

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