(=> (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 は Medicine の subclass では %n |
(subclass Benelysta Immunosuppressive) | Medicine.kif 4621-4621 | Benelysta は Immunosuppressive の subclass では %n |
(subclass MycophenolicAcid Immunosuppressive) | Medicine.kif 4725-4725 | MycophenolicAcid は Immunosuppressive の subclass では %n |