No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1422-1422 |
LymeDisease 是 Borrelia 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1429-1429 |
Louse 是 Borrelia 的病毒传递者 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1428-1428 |
Tick 是 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 是 Bacteria 的 subclass |