| (=> (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 è una sottoclasse di Medicine |
| (subclass Benelysta Immunosuppressive) | Medicine.kif 4621-4621 | Benelysta è una sottoclasse di Immunosuppressive |
| (subclass MycophenolicAcid Immunosuppressive) | Medicine.kif 4725-4725 | MycophenolicAcid è una sottoclasse di Immunosuppressive |
|
|