(subclass ForeignInternalDefense MilitaryOperation) | MilitaryProcesses.kif 1905-1905 | |
(subclass ForeignInternalDefense Helping) | MilitaryProcesses.kif 1906-1906 | |
(subclass HNMilitaryAssistance ForeignInternalDefense) | MilitaryProcesses.kif 1977-1977 | |
(subclass PopulationSecurity ForeignInternalDefense) | MilitaryProcesses.kif 1986-1986 |