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