No TPTP formula. May not be expressible in strict first order. | WMD.kif 130-130 | 核武器 是 爆炸装置 的 subclass |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 131-131 | 核武器 是 武器 的 subclass |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 134-134 | 核武器 是 放射性武器 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1391-1391 | 绝对的哑弹 是 核武器 的 subclass |