| (subclass DirectActionActivity MilitaryOperation) | MilitaryProcesses.kif 388-388 | |
| (subclass DirectActionActivity ViolentContest) | MilitaryProcesses.kif 389-389 | |
| (subclass DirectActionActivity Maneuver) | MilitaryProcesses.kif 390-390 | |
| (subclass Raid DirectActionActivity) | MilitaryProcesses.kif 400-400 | |
| (subclass DirectAmbush DirectActionActivity) | MilitaryProcesses.kif 410-410 | |
| (subclass DirectAssault DirectActionActivity) | MilitaryProcesses.kif 426-426 | |
| (subclass StandoffAttack DirectActionActivity) | MilitaryProcesses.kif 436-436 | |
| (subclass TerminalAttackControl DirectActionActivity) | MilitaryProcesses.kif 448-448 | |
| (subclass TerminalGuidance DirectActionActivity) | MilitaryProcesses.kif 500-500 | |
| (subclass RecoveryOperation DirectActionActivity) | MilitaryProcesses.kif 549-549 | |
| (subclass PreciseDestruction DirectActionActivity) | MilitaryProcesses.kif 589-589 | |
| (subclass AntiSurfaceOperation DirectActionActivity) | MilitaryProcesses.kif 656-656 |
|
|