| (subclass RecoveryOperation DirectActionActivity) | MilitaryProcesses.kif 549-549 | RecoveryOperation は DirectActionActivity の subclass では %n |
| (subclass UnconventionalAssistedRecovery RecoveryOperation) | MilitaryProcesses.kif 240-240 | UnconventionalAssistedRecovery は RecoveryOperation の subclass では %n |
| (subclass CounterproliferationWMD RecoveryOperation) | MilitaryProcesses.kif 1460-1460 | CounterproliferationWMD は RecoveryOperation の subclass では %n |
| (subclass CTHostageMaterielRecovery RecoveryOperation) | MilitaryProcesses.kif 2061-2061 | CTHostageMaterielRecovery は RecoveryOperation の subclass では %n |
|
|