No TPTP formula. May not be expressible in strict first order. |
WMD.kif 157-157 |
Biological agent is exhaustively partitioned into toxin and toxic organism |
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 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 1467-1467 |
Conotoxin 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 217-217 |
Mycotoxin 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 1452-1452 |
Saxitoxin 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 1476-1476 |
Tetrodotoxin is a subclass of toxin |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58690-58690 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58689-58689 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58688-58688 |
|