No TPTP formula. May not be expressible in strict first order. | WMD.kif 103-103 | 生化武器 是 大规模杀伤性武器 的 subclass |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 140-140 | 生物武器 是 生化武器 的 subclass |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 453-453 | 化学武器 是 生化武器 的 subclass |