No TPTP formula. May not be expressible in strict first order. |
WMD.kif 589-589 |
GF is a subclass of G series nerve agent |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 585-585 |
Sarin is a subclass of G series nerve agent |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 580-580 |
Soman is a subclass of G series nerve agent |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 575-575 |
Tabun is a subclass of G series nerve agent |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26832-26832 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26831-26831 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26830-26830 |
|