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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CounterproliferationWMD
CounterproliferationWMD

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 1442-1455
(subclass CounterproliferationWMD CounterOperation) MilitaryProcesses.kif 1440-1440
(subclass CounterproliferationWMD RecoveryOperation) MilitaryProcesses.kif 1441-1441

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


(termFormat ChineseLanguage CounterproliferationWMD "反扩散") domainEnglishFormat.kif 17485-17485
(termFormat ChineseTraditionalLanguage CounterproliferationWMD "反擴散") domainEnglishFormat.kif 17484-17484
(termFormat EnglishLanguage CounterproliferationWMD "WMD counter-proliferation") MilitaryProcesses.kif 2752-2752
(termFormat EnglishLanguage CounterproliferationWMD "counterproliferationWM d") domainEnglishFormat.kif 17483-17483

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 ?OP)))))
MilitaryProcesses.kif 1459-1469


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