No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4945-4945 | Abatacept is a subclass of Immunosupressant |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4953-4953 | Orencia is a subclass of abatacept |