| No TPTP formula. May not be expressible in strict first order. | WMD.kif 567-567 | 子類 G系列神經毒劑 and 神經毒劑 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 575-575 | 子類 塔崩 and G系列神經毒劑 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 580-580 | 子類 梭曼 and G系列神經毒劑 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 585-585 | 子類 沙林 and G系列神經毒劑 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 589-589 | 子類 GF and G系列神經毒劑 |
|
|