(subclass InformationOperation MilitaryOperation) | MilitaryProcesses.kif 1850-1850 | InformationOperation は MilitaryOperation の subclass では %n |
(subclass DefensiveInformationOperation InformationOperation) | MilitaryProcesses.kif 1857-1857 | DefensiveInformationOperation は InformationOperation の subclass では %n |
(subclass OffensiveInformationOperation InformationOperation) | MilitaryProcesses.kif 1890-1890 | OffensiveInformationOperation は InformationOperation の subclass では %n |