No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1850-1850 | Information operation is a subclass of military operation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1857-1857 | Defensive information operation is a subclass of information operation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1890-1890 | Offensive information operation is a subclass of information operation |