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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CounterproliferationWMD
CounterproliferationWMD(counterproliferationWM d)

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 17556-17556
(termFormat ChineseTraditionalLanguage CounterproliferationWMD "反擴散") domainEnglishFormat.kif 17555-17555
(termFormat EnglishLanguage CounterproliferationWMD "WMD counter-proliferation") MilitaryProcesses.kif 2796-2796
(termFormat EnglishLanguage CounterproliferationWMD "counterproliferationWM d") domainEnglishFormat.kif 17554-17554

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