No TPTP formula. May not be expressible in strict first order. | WMD.kif 103-103 | 子類 生化武器 and 大規模殺傷性武器 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 140-140 | 子類 生物武器 and 生化武器 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 453-453 | 子類 化學武器 and 生化武器 |