| No TPTP formula. May not be expressible in strict first order. | WMD.kif 492-492 | 子類 芥子氣 and 發泡劑 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 498-498 | 子類 硫芥子氣 and 芥子氣 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 503-503 | 子類 氮芥子氣 and 芥子氣 |
|
|