| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2174-2184 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 23-23 | 子類 軍事行動 and MilitaryProcess |
| 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 388-388 | 子類 直接行動活動 and 軍事行動 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 422-422 | 子類 軍事攻擊 and 軍事行動 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 673-673 | 子類 ReconnaissanceOperation and 軍事行動 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1105-1105 | 子類 心理操作 and 軍事行動 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1521-1521 | 子類 運營計劃 and 軍事行動 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1716-1716 | 子類 聯合行動 and 軍事行動 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1850-1850 | 子類 信息操作 and 軍事行動 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1905-1905 | 子類 外國內部防禦 and 軍事行動 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2168-2168 | 子類 反操作 and 軍事行動 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2362-2362 | 子類 民政活動 and 軍事行動 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 49-49 | 子類 食品配送業務 and 軍事行動 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 80-80 | 子類 安全行動 and 軍事行動 |
|
|