| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 581-581 |
biochemicalAgentAntidote Soman, PyridostigmineBromide and mettre |
| 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 un millioni�me de Gram(s) and 1.0 1 millier Grams(s) |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31653-31653 |
roomTempState Soman and Liquid |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 580-580 |
Soman est une sous-classe de GSeriesNerveAgent |
