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 1857-1857 | 子類 防禦性信息操作 and 信息操作 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1890-1890 | 子類 侵略性信息操作 and 信息操作 |