| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3966-3966 | 子類 Lisdexamfetamine and 醫學 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3967-3967 | 子類 Lisdexamfetamine and 刺激物 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3981-3981 | 子類 Vyvanse and Lisdexamfetamine |
|
|