No TPTP formula. May not be expressible in strict first order. | Merge.kif 12841-12841 | Manufacture is a subclass of making |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 696-696 | Stockpiling weapon of mass destruction is a subclass of manufacture |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12845-12845 | Publication is a subclass of manufacture |