(subclass InformationOperation MilitaryOperation) | MilitaryProcesses.kif 1850-1850 | |
(subclass DefensiveInformationOperation InformationOperation) | MilitaryProcesses.kif 1857-1857 | |
(subclass OffensiveInformationOperation InformationOperation) | MilitaryProcesses.kif 1890-1890 |