|
|
   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 |
|
|
|