No TPTP formula. May not be expressible in strict first order. |
WMD.kif 157-157 |
生物制剂 详尽无遗地 partition 成 毒素 和 有毒生物 |
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 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 1467-1467 |
芋螺毒素 是 毒素 的 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 217-217 |
霉菌毒素 是 毒素 的 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 1452-1452 |
石房蛤毒素 是 毒素 的 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 1476-1476 |
河豚毒素 是 毒素 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58688-58688 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58687-58687 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58686-58686 |
|