| No TPTP formula. May not be expressible in strict first order. | WMD.kif 187-187 | 子類 有毒生物 and Organism |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 198-198 | 子類 細菌劑 and 有毒生物 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 213-213 | 子類 真菌劑 and 有毒生物 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 230-230 | 子類 病毒劑 and 有毒生物 |
|
|