No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 421-421 | 子類 軍事攻擊 and ViolentContest |
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 425-425 | 子類 直接攻擊 and 軍事攻擊 |