(=> (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 e' uma sub-classe de Medicine |
(subclass Benelysta Immunosuppressive) | Medicine.kif 4621-4621 | Benelysta e' uma sub-classe de Immunosuppressive |
(subclass MycophenolicAcid Immunosuppressive) | Medicine.kif 4725-4725 | MycophenolicAcid e' uma sub-classe de Immunosuppressive |