Bacteria |
appearance as argument number 2 |
(subclass Borrelia Bacteria) | Medicine.kif 1427-1427 | Borrelia est une sous-classe de Bacteria |
(subclass IntestinibacterBartlettii Bacteria) | Medicine.kif 4212-4212 | IntestinibacterBartlettii est une sous-classe de Bacteria |
consequent |
(=> (instance ?I Interleukin) (hasPurpose ?I (exists (?D ?BV ?H) (and (instance ?H Human) (or (instance ?BV Bacteria) (instance ?BV Virus)) (instance ?D Destruction) (located ?D ?H) (instrument ?D ?I) (patient ?D ?BV))))) |
Medicine.kif 3750-3762 |
|