| No TPTP formula. May not be expressible in strict first order. | WMD.kif 567-567 | GSeriesNerveAgent est une sous-classe de NerveAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 575-575 | Tabun est une sous-classe de GSeriesNerveAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 580-580 | Soman est une sous-classe de GSeriesNerveAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 585-585 | Sarin est une sous-classe de GSeriesNerveAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 589-589 | GF est une sous-classe de GSeriesNerveAgent |
|
|