(=> (subclass ?I Immunosuppressive) (hasPurpose ?I (and (instance ?AID AutoImmuneDisorder) (diseaseMedicine ?AID ?I ?P)))) |
Medicine.kif 4614-4619 |
|
(subclass Immunosuppressive Medicine) | Medicine.kif 4595-4595 | Immunosuppressant is a subclass of medicine |
(subclass Benelysta Immunosuppressive) | Medicine.kif 4621-4621 | Benelysta is a subclass of immunosuppressant |
(subclass MycophenolicAcid Immunosuppressive) | Medicine.kif 4725-4725 | Mycophenolic acid is a subclass of immunosuppressant |