| No TPTP formula. May not be expressible in strict first order. | WMD.kif 602-602 | 子類 窒息劑 and 化學劑 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 609-609 | 子類 雙光氣 and 窒息劑 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 613-613 | 子類 氯化苦 and 窒息劑 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 618-618 | 子類 光氣 and 窒息劑 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 623-623 | 子類 氯氣 and 窒息劑 |
|
|