| No TPTP formula. May not be expressible in strict first order. | WMD.kif 117-117 | 子類 放射性武器 and 大規模殺傷性武器 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 128-128 | 子類 放射性武器 and 放射性武器 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 134-134 | 子類 核武器 and 放射性武器 |
|
|