| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 131-131 | 子類 非常規戰爭 and 特別行動 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 132-132 | 子類 非常規戰爭 and 幫助 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 185-185 | 子類 游擊戰 and 非常規戰爭 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 210-210 | 子類 顛覆 and 非常規戰爭 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 219-219 | 子類 破壞 and 非常規戰爭 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 230-230 | 子類 情報活動 and 非常規戰爭 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 239-239 | 子類 非常規輔助恢復 and 非常規戰爭 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 249-249 | 子類 滲出 and 非常規戰爭 |
|
|