| (subclass CTIntelligenceOperation CounterTerrorism) | MilitaryProcesses.kif 2044-2044 | CTIntelligenceOperation は CounterTerrorism の subclass では %n |
| (subclass CTIntelligenceOperation OffensiveInformationOperation) | MilitaryProcesses.kif 2045-2045 | CTIntelligenceOperation は OffensiveInformationOperation の subclass では %n |
|
|