|
|
   RheumatoidArthritis
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3624-3624 | Rheumatoid arthritis is disease treatment clarithromycin for injecting |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5616-5616 | Rheumatoid arthritis is disease treatment hydroxychloroquine for ingesting |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5269-5269 | Rheumatoid arthritis is disease treatment sarilumab for injecting |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3914-3914 | Rheumatoid arthritis is disease treatment sulfasalazine for ingesting |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2226-2227 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2225-2225 | Rheumatoid arthritis is a subclass of arthritis |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2224-2224 | Rheumatoid arthritis is a subclass of auto-immune disease |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4951-4951 | Abatacept is disease treatment rheumatoid arthritis for ingesting |
| 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 2228-2228 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2230-2239 |
|
|
|
|