No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5537-5537 | Upadacitinib is a subclass of medicine |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5552-5552 | Rinvoq is a subclass of upadacitinib |