| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12841-12841 | 子類 Manufacture and Making |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 696-696 | 子類 儲存大規模殺傷性武器 and Manufacture |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12845-12845 | 子類 Publication and Manufacture |
|
|