No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5537-5537 | Upadacitinib est une sous-classe de Medicine |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5552-5552 | Rinvoq est une sous-classe de Upadacitinib |
![]() |