No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1493-1493 |
Ingesting is a biochemical agent delivery of vibrio cholera |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1494-1494 |
Cholera is a biochemical agent syndrome of vibrio cholera |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1495-1495 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4846-4846 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1492-1492 |
Vibrio cholera is a subclass of bacterial agent |