| No TPTP formula. May not be expressible in strict first order. | WMD.kif 159-159 | Toxin e' uma sub-classe de BiologicalAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 160-160 | Toxin e' uma sub-classe de Substancia Biologica Ativa |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 217-217 | Mycotoxin e' uma sub-classe de Toxin |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 308-308 | Batrachotoxin e' uma sub-classe de Toxin |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 322-322 | BotulinumToxin e' uma sub-classe de Toxin |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 348-348 | EpsilonToxin e' uma sub-classe de Toxin |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 429-429 | RicinToxin e' uma sub-classe de Toxin |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 437-437 | AbrinToxin e' uma sub-classe de Toxin |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1338-1338 | ShigaToxin e' uma sub-classe de Toxin |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1437-1437 | StaphylococcalEnterotoxinB e' uma sub-classe de Toxin |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1452-1452 | Saxitoxin e' uma sub-classe de Toxin |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1467-1467 | Conotoxin e' uma sub-classe de Toxin |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1476-1476 | Tetrodotoxin e' uma sub-classe de Toxin |
|
|