TreeView Knowledge Base Browser - CounterproliferationWMD

appearance as argument number 1

(subclass CounterproliferationWMD CounterOperation)	MilitaryProcesses.kif 1481-1481	CounterproliferationWM d is a subclass of counter operation
(subclass CounterproliferationWMD RecoveryOperation)	MilitaryProcesses.kif 1482-1482	CounterproliferationWM d is a subclass of recovery operation
(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 1483-1496	CounterproliferationWM d is a subclass of recovery operation

appearance as argument number 2

(termFormat EnglishLanguage CounterproliferationWMD "WMD counter-proliferation")	MilitaryProcesses.kif 3010-3010
(termFormat EnglishLanguage CounterproliferationWMD "counterproliferationWM d")	domainEnglishFormat.kif 17556-17556
(termFormat ChineseTraditionalLanguage CounterproliferationWMD "反擴散")	domainEnglishFormat.kif 17557-17557
(termFormat ChineseLanguage CounterproliferationWMD "反扩散")	domainEnglishFormat.kif 17558-17558

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)))))

If X is an instance of counterproliferationWM d and Y is an agent of X, then there exist Z, W such that Y, Z are enemies of each other, Z is an agent of W, W is an instance of proliferationWMD, and X has the purpose X prevents the occurrence of proliferationWMD