No TPTP formula. May not be expressible in strict first order. | Merge.kif 12863-12863 | 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 12867-12867 | Publication is a subclass of manufacture |