| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4040-4040 | Escitalopram 是 SSRIDrug 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4058-4058 | Cipralex 是 Escitalopram 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4061-4061 | Lexapro 是 Escitalopram 的 subclass |
|
|