Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RecoveryOperation
RecoveryOperation(recovery operation)recovery_operation, 恢复运作, 恢復運作

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 Recovery operation is a subclass of direct action activity

appearance as argument number 2
-------------------------


(subclass CTHostageMaterielRecovery RecoveryOperation) MilitaryProcesses.kif 2043-2043 CT hostage materiel recovery is a subclass of recovery operation
(subclass CounterproliferationWMD RecoveryOperation) MilitaryProcesses.kif 1441-1441 CounterproliferationWM d is a subclass of recovery operation
(subclass UnconventionalAssistedRecovery RecoveryOperation) MilitaryProcesses.kif 240-240 Unconventional assisted recovery is a subclass of recovery operation
(termFormat ChineseLanguage RecoveryOperation "恢复运作") domainEnglishFormat.kif 48931-48931 "恢复运作" is the printable form of recovery operation in ChineseLanguage
(termFormat ChineseTraditionalLanguage RecoveryOperation "恢復運作") domainEnglishFormat.kif 48930-48930 "恢復運作" is the printable form of recovery operation in ChineseTraditionalLanguage
(termFormat EnglishLanguage RecoveryOperation "recovery operation") domainEnglishFormat.kif 48929-48929 "recovery operation" is the printable form of recovery operation in english language

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners