No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1386-1386 |
Rift valley fever is a biochemical agent syndrome of coccidioides immitis |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1387-1389 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9082-9082 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8425-8425 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1379-1379 |
Coccidioides immitis is a subclass of fungal agent |