Bacteria
|
|
appearance as argument number 2 |
(subclass Borrelia Bacteria) | Medicine.kif 1427-1427 | Borrelia ist eine teilkategorie von Bacteria |
(subclass IntestinibacterBartlettii Bacteria) | Medicine.kif 4212-4212 | IntestinibacterBartlettii ist eine teilkategorie von 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 |
|