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 1461-1474
(subclass CounterproliferationWMD CounterOperation) MilitaryProcesses.kif 1459-1459
(subclass CounterproliferationWMD RecoveryOperation) MilitaryProcesses.kif 1460-1460

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


(termFormat ChineseLanguage CounterproliferationWMD "反扩散") domainEnglishFormat.kif 17547-17547
(termFormat ChineseTraditionalLanguage CounterproliferationWMD "反擴散") domainEnglishFormat.kif 17546-17546
(termFormat EnglishLanguage CounterproliferationWMD "WMD counter-proliferation") MilitaryProcesses.kif 2771-2771
(termFormat EnglishLanguage CounterproliferationWMD "counterproliferationWM d") domainEnglishFormat.kif 17545-17545

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


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 3.0 is open source software produced by Articulate Software and its partners