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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CounterTerrorism
CounterTerrorism(counter terrorism)counterterror, counterterrorist

appearance as argument number 1
-------------------------


(documentation CounterTerrorism EnglishLanguage "These are operations that include the offensive measures taken to prevent, deter, preempt, and respond to terrorism. SOF's role and additive capability is to conduct offensive measures within DOD's overall combatting terrorism efforts. SOF conduct CT missions as special operations by covert, clandestine, or low visibility means. SOF's activities within CT include, but are not limited to, intelligence operations, attacks against terrorist networks and infrastructures, hostage rescue, recovery of sensitive material from terrorist organizations, and non-kinetic activities aimed at the ideologies or motivations that spawn terrorism. (1) Intelligence Operations. These are operations to collect, exploit, and report information on terrorist organizations, personnel, assets, and/ or activities. SOF have the capability to conduct these operations in an overt, covert, and/ or clandestine manner. (2) Network and Infrastructure Attacks. These are operations that involve preemptive strikes against terrorist organizations with the objective of destroying, disorganizing, or disarming terrorist organizations before they can strike targets of national interest. (3) Hostage or Sensitive Materiel Recovery. These are operations conducted to rescue hostages and/ or recover sensitive materiel from terrorist control, requiring capabilities not normally found in conventional military units. The safety of the hostages and preventing destruction of the sensitive materiel are essential mission requirements. (4) Non-Kinetic Activities. These are actions that are focused on defeating the ideologies or motivations that spawn terrorism by non-kinetic means. These could include, but are not limited to, PSYOP, IO, CA operations, UW and/ or FID.") MilitaryProcesses.kif 1978-2009
(subclass CounterTerrorism CounterOperation) MilitaryProcesses.kif 1977-1977 Counter terrorism is a subclass of counter operation

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


(subclass CTHostageMaterielRecovery CounterTerrorism) MilitaryProcesses.kif 2042-2042 CT hostage materiel recovery is a subclass of counter terrorism
(subclass CTIntelligenceOperation CounterTerrorism) MilitaryProcesses.kif 2026-2026 CT intelligence operation is a subclass of counter terrorism
(subclass CTNonKineticActivity CounterTerrorism) MilitaryProcesses.kif 2051-2051 CT non kinetic activity is a subclass of counter terrorism
(subclass CTNwInfraAttack CounterTerrorism) MilitaryProcesses.kif 2034-2034 CT nw infra attack is a subclass of counter terrorism
(termFormat ChineseLanguage CounterTerrorism "反恐") domainEnglishFormat.kif 17491-17491
(termFormat ChineseTraditionalLanguage CounterTerrorism "反恐") domainEnglishFormat.kif 17490-17490
(termFormat EnglishLanguage CounterTerrorism "counter terrorism") domainEnglishFormat.kif 17489-17489
(termFormat EnglishLanguage CounterTerrorism "counter-terrorism") MilitaryProcesses.kif 2774-2774

antecedent
-------------------------


(=>
    (and
        (instance ?CO CounterTerrorism)
        (agent ?CO ?AGENT))
    (exists (?ENEMY ?OP)
        (and
            (enemy ?AGENT ?ENEMY)
            (agent ?OP ?ENEMY)
            (instance ?OP Terrorism)
            (hasPurpose ?CO
                (prevents ?CO ?OP)))))
MilitaryProcesses.kif 2013-2023

consequent
-------------------------


(=>
    (and
        (instance ?STRAT CounterTerrorismStrategy)
        (instance ?PLANNING OperationPlanning)
        (result ?PLANNING ?STRAT))
    (exists (?CT)
        (and
            (patient ?PLANNING ?CT)
            (instance ?CT CounterTerrorism))))
MilitaryProcesses.kif 2064-2072


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