No TPTP formula. May not be expressible in strict first order. | WMD.kif 686-686 | Developing weapon of mass destruction is a subclass of making |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 697-697 | Stockpiling weapon of mass destruction is a subclass of developing weapon of mass destruction |