No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1422-1422 |
Lyme disease is a biochemical agent syndrome of borrelia |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1429-1429 |
Lice is a biological agent carrier of borrelia |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1428-1428 |
Tick is a biological agent carrier of borrelia |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1431-1441 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1427-1427 |
Borrelia is a subclass of Bacteria |