| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9689-9689 | Antidepressant 是 生物活性物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3228-3228 | SSRIDrug 是 Antidepressant 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3764-3764 | Bupropion 是 Antidepressant 的 subclass |
|
|