| No TPTP formula. May not be expressible in strict first order. | WMD.kif 567-567 | G series nerve agent is a subclass of 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. | 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 585-585 | Sarin is a subclass of G series nerve agent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 589-589 | GF is a subclass of G series nerve agent |
|
|