|
|
   ADHD
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4765-4765 | ADHD 是 對於 Ingesting 的 disease 治癒 Adderall |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3294-3307 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3293-3293 | 子類 ADHD and PsychologicalDysfunction |
| appearance as argument number 2 |
|
|
| 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 3308-3308 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3309-3309 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3984-4004 |
|
|
|
|