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 31649-31649 |
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 |