No TPTP formula. May not be expressible in strict first order. | WMD.kif 159-159 | 子類 毒素 and 生物製劑 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 160-160 | 子類 毒素 and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 217-217 | 子類 黴菌毒素 and 毒素 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 308-308 | 子類 batrachotoxin and 毒素 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 322-322 | 子類 肉毒桿菌毒素 and 毒素 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 348-348 | 子類 ε毒素 and 毒素 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 429-429 | 子類 蓖麻毒素 and 毒素 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 437-437 | 子類 abrin毒素 and 毒素 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1338-1338 | 子類 志賀毒素 and 毒素 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1437-1437 | 子類 葡萄球菌腸毒素b and 毒素 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1452-1452 | 子類 石房蛤毒素 and 毒素 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1467-1467 | 子類 芋螺毒素 and 毒素 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1476-1476 | 子類 河豚毒素 and 毒素 |