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 |
Diarrhea is a side effect of taking roflumilast |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3934-3934 |
Headache is a side effect of taking roflumilast |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3933-3933 |
Nausea is a side effect of taking roflumilast |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3924-3924 |
Roflumilast is a subclass of Antiinflammatory |