| appearance as argument number 1 |
|
|
| (documentation Antidepressant EnglishLanguage "A medicine to combat Depression.") | Mid-level-ontology.kif 9690-9691 | |
| (medicine Antidepressant Depression) | Mid-level-ontology.kif 9692-9692 | Anti-depressant is medicine for depressed |
| (subclass Antidepressant BiologicallyActiveSubstance) | Mid-level-ontology.kif 9689-9689 | 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 9694-9694 | |
| (termFormat EnglishLanguage Antidepressant "antidepressant") | Mid-level-ontology.kif 9693-9693 |
| 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 9696-9708 |
|
|
|
|