| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 272-272 | 子類 特別行動 and 軍事行動 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 18-18 | 子類 特別偵察 and 特別行動 |
| 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 324-324 | 子類 直接行動 and 特別行動 |
|
|