No TPTP formula. May not be expressible in strict first order. |
WMD.kif 581-581 |
biochemicalAgentAntidote Soman, PyridostigmineBromide and Colocar |
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 |
lethalDose Soman and PerFn 64.0 um milhonesimo de Gram(s) and 1.0 1 mil Grams(s) |
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 e' uma sub-classe de GSeriesNerveAgent |