No TPTP formula. May not be expressible in strict first order. |
WMD.kif 581-581 |
Soman biochemical agent antidote pyridostigmine bromide for 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 |
The per of 64.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of soman |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31685-31685 |
roomTempState soman and liquid |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 580-580 |
Soman is a subclass of G series nerve agent |