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