(=> (subclass ?I Immunosuppressive) (hasPurpose ?I (and (instance ?AID AutoImmuneDisorder) (diseaseMedicine ?AID ?I ?P)))) |
Medicine.kif 4614-4619 |
|
(subclass Immunosuppressive Medicine) | Medicine.kif 4595-4595 | Immunosuppressive est une sous-classe de Medicine |
(subclass Benelysta Immunosuppressive) | Medicine.kif 4621-4621 | Benelysta est une sous-classe de Immunosuppressive |
(subclass MycophenolicAcid Immunosuppressive) | Medicine.kif 4725-4725 | MycophenolicAcid est une sous-classe de Immunosuppressive |