No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3265-3289 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3310-3310 |
medicine Vyvanse and ADHD |
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 3264-3264 |
Vyvanse 是 医学 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3263-3263 |
Vyvanse 是 刺激物 的 subclass |