Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


(documentation Antidepressant EnglishLanguage "A medicine to combat Depression.") Mid-level-ontology.kif 10587-10588
(medicine Antidepressant Depression) Mid-level-ontology.kif 10589-10589 Anti_depressant is medicine for depressed
(subclass Antidepressant BiologicallyActiveSubstance) Mid-level-ontology.kif 10586-10586 Anti_depressant is a subclass of biologically active substance

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


(subclass Bupropion Antidepressant) Medicine.kif 3752-3752 Bupropion is a subclass of anti_depressant
(subclass SSRIDrug Antidepressant) Medicine.kif 3216-3216 Selective serotonin reuptake inhibitor is a subclass of anti_depressant
(termFormat EnglishLanguage Antidepressant "anti_depressant") Mid-level-ontology.kif 10591-10591 Selective serotonin reuptake inhibitor is a subclass of anti_depressant
(termFormat EnglishLanguage Antidepressant "antidepressant") Mid-level-ontology.kif 10590-10590 Selective serotonin reuptake inhibitor 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)))))))
Mid-level-ontology.kif 10593-10605


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 is open source software produced by Articulate Software and its partners