No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3924-3924 | Roflumilast is a subclass of Antiinflammatory |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3937-3937 | Daxas is a subclass of roflumilast |