No TPTP formula. May not be expressible in strict first order. |
WMD.kif 406-406 |
Plague is a biochemical agent syndrome of yersinia pestis |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 408-408 |
Insect is a biological agent carrier of yersinia pestis |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 407-407 |
Rodent is a biological agent carrier of yersinia pestis |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 409-409 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 977-977 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 399-399 |
Yersinia pestis is a subclass of bacterial agent |