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 1717-1717 | 子類 聯合行動 and Cooperation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2206-2206 | 子類 民政運作 and 聯合行動 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2268-2268 | 子類 民事軍事行動 and 聯合行動 |