| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 581-581 |
梭曼 biochemical 病毒解毒制剂 吡啶斯的明溴化物 对于 放 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 583-583 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6873-6873 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7925-7925 |
|
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 582-582 |
1.0 公克 的一千倍 是 64.0 公克 的百万分之一 的 per 是 梭曼 的 lethal 剂量 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31653-31653 |
roomTempState 梭曼 and 液体 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 580-580 |
梭曼 是 G系列神经毒剂 的 subclass |
