| No TPTP formula. May not be expressible in strict first order. | WMD.kif 159-159 | Toxin is a subclass of biological agent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 160-160 | Toxin is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 217-217 | Mycotoxin is a subclass of toxin |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 308-308 | Batrachotoxin is a subclass of toxin |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 322-322 | Botulinum toxin is a subclass of toxin |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 348-348 | Epsilon toxin is a subclass of toxin |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 429-429 | Ricin toxin is a subclass of toxin |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 437-437 | Abrin toxin is a subclass of toxin |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1338-1338 | Shiga toxin is a subclass of toxin |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1437-1437 | Staphylococcal enterotoxin b is a subclass of toxin |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1452-1452 | Saxitoxin is a subclass of toxin |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1467-1467 | Conotoxin is a subclass of toxin |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1476-1476 | Tetrodotoxin is a subclass of toxin |
|
|