| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12863-12863 | 子類 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 12867-12867 | 子類 Publication and Manufacture |
|
|