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