(subclass RecoveryOperation DirectActionActivity) | MilitaryProcesses.kif 549-549 | Recovery operation is a subclass of direct action activity |
(subclass UnconventionalAssistedRecovery RecoveryOperation) | MilitaryProcesses.kif 240-240 | Unconventional assisted recovery is a subclass of recovery operation |
(subclass CounterproliferationWMD RecoveryOperation) | MilitaryProcesses.kif 1460-1460 | CounterproliferationWM d is a subclass of recovery operation |
(subclass CTHostageMaterielRecovery RecoveryOperation) | MilitaryProcesses.kif 2061-2061 | CT hostage materiel recovery is a subclass of recovery operation |