No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3925-3930 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3935-3935 |
腹泻 是服用 Roflumilast 的 side effect |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3934-3934 |
头痛 是服用 Roflumilast 的 side effect |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3933-3933 |
Nausea 是服用 Roflumilast 的 side effect |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3924-3924 |
Roflumilast 是 Antiinflammatory 的 subclass |