(subclass OffensiveInformationOperation InformationOperation) | MilitaryProcesses.kif 1890-1890 | OffensiveInformationOperation は InformationOperation の subclass では %n |
(subclass OffensiveInformationOperation Investigating) | MilitaryProcesses.kif 1891-1891 | OffensiveInformationOperation は 捜査 の subclass では %n |
(subclass CTIntelligenceOperation OffensiveInformationOperation) | MilitaryProcesses.kif 2045-2045 | CTIntelligenceOperation は OffensiveInformationOperation の subclass では %n |