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 and Lisdexamfetamine |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3264-3264 |
子類 Vyvanse and 醫學 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3263-3263 |
子類 Vyvanse and 刺激物 |