No TPTP formula. May not be expressible in strict first order. | WMD.kif 159-159 | Toxin est une sous-classe de BiologicalAgent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 160-160 | Toxin est une sous-classe de substance biologique active |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 217-217 | Mycotoxin est une sous-classe de Toxin |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 308-308 | Batrachotoxin est une sous-classe de Toxin |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 322-322 | BotulinumToxin est une sous-classe de Toxin |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 348-348 | EpsilonToxin est une sous-classe de Toxin |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 429-429 | RicinToxin est une sous-classe de Toxin |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 437-437 | AbrinToxin est une sous-classe de Toxin |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1338-1338 | ShigaToxin est une sous-classe de Toxin |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1437-1437 | StaphylococcalEnterotoxinB est une sous-classe de Toxin |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1452-1452 | Saxitoxin est une sous-classe de Toxin |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1467-1467 | Conotoxin est une sous-classe de Toxin |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1476-1476 | Tetrodotoxin est une sous-classe de Toxin |