| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 549-549 | 子類 恢復運作 and 直接行動活動 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 240-240 | 子類 非常規輔助恢復 and 恢復運作 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1460-1460 | 子類 反擴散 and 恢復運作 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2061-2061 | 子類 CT人質物資恢復 and 恢復運作 |
|
|