| No TPTP formula. May not be expressible in strict first order. | WMD.kif 558-558 | 子類 神經毒劑 and 化學劑 |
| 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 592-592 | 子類 V系列神經毒劑 and 神經毒劑 |
|
|