| (subclass RecoveryOperation DirectActionActivity) | MilitaryProcesses.kif 549-549 | RecoveryOperation è una sottoclasse di DirectActionActivity |
| (subclass UnconventionalAssistedRecovery RecoveryOperation) | MilitaryProcesses.kif 240-240 | UnconventionalAssistedRecovery è una sottoclasse di RecoveryOperation |
| (subclass CounterproliferationWMD RecoveryOperation) | MilitaryProcesses.kif 1460-1460 | CounterproliferationWMD è una sottoclasse di RecoveryOperation |
| (subclass CTHostageMaterielRecovery RecoveryOperation) | MilitaryProcesses.kif 2061-2061 | CTHostageMaterielRecovery è una sottoclasse di RecoveryOperation |
|
|