CounterproliferationWMD - Sigma Knowledge base Browser

appearance as argument number 1

(documentation CounterproliferationWMD EnglishLanguage "Counterproliferation (CP) of Weapons of Mass Destruction (WMD). CP refers to actions taken to locate, seize, destroy, render safe, capture, or recover WMD. Major objectives of CP are to prevent the acquisition of WMD and their delivery systems, roll back proliferation where it has occurred, deter the use of WMD and their delivery systems, and adapt US military forces and planning to operate against the threats posed by WMD and their delivery systems. The continued spread of WMD technology can foster regional unrest and provide terrorist organizations with new and potent weapons. The core capabilities of CP include counterforce, active defense, passive defense, and consequence management. SOF focus on counterforce tasks and conduct CP missions as special operations by covert, clandestine, or low visibility means. For more details on CP, see JP 3-40, Joint Doctrine for Counterproliferation Operations.")	MilitaryProcesses.kif 1461-1474
(subclass CounterproliferationWMD CounterOperation)	MilitaryProcesses.kif 1459-1459	CounterproliferationWM d is a subclass of counter operation
(subclass CounterproliferationWMD RecoveryOperation)	MilitaryProcesses.kif 1460-1460	CounterproliferationWM d is a subclass of recovery operation

appearance as argument number 2

(termFormat ChineseLanguage CounterproliferationWMD "反扩散")	domainEnglishFormat.kif 17572-17572
(termFormat ChineseTraditionalLanguage CounterproliferationWMD "反擴散")	domainEnglishFormat.kif 17571-17571
(termFormat EnglishLanguage CounterproliferationWMD "WMD counter-proliferation")	MilitaryProcesses.kif 2986-2986
(termFormat EnglishLanguage CounterproliferationWMD "counterproliferationWM d")	domainEnglishFormat.kif 17570-17570

antecedent

(=>
    (and
        (instance ?CO CounterproliferationWMD)
        (agent ?CO ?AGENT))
    (exists (?ENEMY ?OP)
        (and
            (enemy ?AGENT ?ENEMY)
            (agent ?OP ?ENEMY)
            (instance ?OP ProliferationWMD)
            (hasPurpose ?CO
                (prevents ?CO ProliferationWMD)))))

MilitaryProcesses.kif 1478-1488