|
|
   Upadacitinib
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5547-5547 | Upadacitinib is disease treatment rheumatoid arthritis for ingesting |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5539-5546 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5549-5549 | Fever is a side effect of taking upadacitinib |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5548-5548 | Nausea is a side effect of taking upadacitinib |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5537-5537 | Upadacitinib is a subclass of medicine |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5552-5552 | Rinvoq is a subclass of upadacitinib |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5550-5550 |
|
|
|