Lisdexamfetamine |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3969-3976 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3966-3966 | Lisdexamfetamine 是 医学 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3967-3967 | Lisdexamfetamine 是 刺激物 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3979-3979 | AttentionDeficitHyperactivityDisorder 是 对于 消化 的 disease 治愈 Lisdexamfetamine |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3981-3981 | Vyvanse 是 Lisdexamfetamine 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3978-3978 |