Bacteria |
appearance as argument number 2 |
(subclass Borrelia Bacteria) | Medicine.kif 1427-1427 | Borrelia は Bacteria の subclass では %n |
(subclass IntestinibacterBartlettii Bacteria) | Medicine.kif 4212-4212 | IntestinibacterBartlettii は Bacteria の subclass では %n |
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 |
|