|
|
   RecoveryOperation
|
|
|
| appearance as argument number 1 |
|
|
| (documentation RecoveryOperation EnglishLanguage "These are operations conducted to search for, locate, identify, rescue, and return personnel, sensitive equipment, or items critical to national security. SO recovery missions are characterized by detailed planning, rehearsal, and thorough intelligence analysis. These operations employ unconventional tactics and techniques, clandestine search, possible indigenous assistance, and the frequent use of ground combat elements.") | MilitaryProcesses.kif 550-556 | |
| (subclass RecoveryOperation DirectActionActivity) | MilitaryProcesses.kif 549-549 | 子類 恢復運作 and 直接行動活動 |
| appearance as argument number 2 |
|
|
| (subclass CTHostageMaterielRecovery RecoveryOperation) | MilitaryProcesses.kif 2061-2061 | 子類 CT人質物資恢復 and 恢復運作 |
| (subclass CounterproliferationWMD RecoveryOperation) | MilitaryProcesses.kif 1460-1460 | 子類 反擴散 and 恢復運作 |
| (subclass UnconventionalAssistedRecovery RecoveryOperation) | MilitaryProcesses.kif 240-240 | 子類 非常規輔助恢復 and 恢復運作 |
| (termFormat ChineseLanguage RecoveryOperation "恢复运作") | domainEnglishFormat.kif 48992-48992 | |
| (termFormat ChineseTraditionalLanguage RecoveryOperation "恢復運作") | domainEnglishFormat.kif 48991-48991 | |
| (termFormat EnglishLanguage RecoveryOperation "recovery operation") | domainEnglishFormat.kif 48990-48990 |
| antecedent |
|
|
| (=> (and (instance ?RO RecoveryOperation) (patient ?RO ?TARGET)) (hasPurpose ?RO (exists (?PROCESS) (and (patient ?PROCESS ?TARGET) (instance ?PROCESS (UnionFn Classifying (UnionFn Pursuing (UnionFn Discovering (UnionFn Locating Returning))))))))) |
MilitaryProcesses.kif 558-570 |
|
|
|