| No TPTP formula. May not be expressible in strict first order. | WMD.kif 159-159 | 毒素 是 生物制剂 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 160-160 | 毒素 是 生物活性物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 217-217 | 霉菌毒素 是 毒素 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 308-308 | Batrachotoxin 是 毒素 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 322-322 | 肉毒杆菌毒素 是 毒素 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 348-348 | Ε毒素 是 毒素 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 429-429 | 蓖麻毒素 是 毒素 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 437-437 | Abrin毒素 是 毒素 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1338-1338 | 志贺毒素 是 毒素 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1437-1437 | 葡萄球菌肠毒素b 是 毒素 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1452-1452 | 石房蛤毒素 是 毒素 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1467-1467 | 芋螺毒素 是 毒素 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1476-1476 | 河豚毒素 是 毒素 的 subclass |
|
|