No TPTP formula. May not be expressible in strict first order. |
WMD.kif 581-581 |
梭曼 biochemical 病毒解毒製劑 吡啶斯的明溴化物 對於 Putting |
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 and 千 公克 是 測量 64.0 and 微 公克 的 per 是 梭曼 的 lethal 劑量 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31685-31685 |
roomTempState 梭曼 and 液體 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 580-580 |
子類 梭曼 and G系列神經毒劑 |