| appearance as argument number 1 |
|
|
| (documentation Antidepressant EnglishLanguage "A medicine to combat Depression.") | Mid-level-ontology.kif 9909-9910 | |
| (medicine Antidepressant Depression) | Mid-level-ontology.kif 9911-9911 | Anti-depressant is medicine for depressed |
| (subclass Antidepressant BiologicallyActiveSubstance) | Mid-level-ontology.kif 9908-9908 | Anti-depressant is a subclass of biologically active substance |
| appearance as argument number 2 |
|
|
| (subclass Bupropion Antidepressant) | Medicine.kif 3764-3764 | Bupropion is a subclass of anti-depressant |
| (subclass SSRIDrug Antidepressant) | Medicine.kif 3228-3228 | Selective serotonin reuptake inhibitor is a subclass of anti-depressant |
| (termFormat EnglishLanguage Antidepressant "anti-depressant") | Mid-level-ontology.kif 9913-9913 | Selective serotonin reuptake inhibitor is a subclass of anti-depressant |
| (termFormat EnglishLanguage Antidepressant "antidepressant") | Mid-level-ontology.kif 9912-9912 | 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 9915-9927 |
|
|
|
|