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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnconventionalWarfare
UnconventionalWarfare

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


(documentation UnconventionalWarfare EnglishLanguage "These are operations that involve a broad spectrum of military and paramilitary operations, normally of long duration, predominantly conducted through, with, or by indigenous or surrogate forces who are organized, trained, equipped, supported, and directed in varying degrees by an external source. UW is unique in that it is a SO that can either be conducted as part of a geographic combatant commander's overall theater campaign, or as an independent, subordinate campaign. When conducted independently, the primary focus of UW is on political-military objectives and psychological objectives. UW includes military and paramilitary aspects of resistance movements. UW military activity represents the culmination of a successful effort to organize and mobilize the civil populace against a hostile government or occupying power. From the US perspective, the intent is to develop and sustain these supported resistance organizations and to synchronize their activities to further US national security objectives. SOF units do not create resistance movements. They advise, train, and assist indigenous resistance movements already in existence to conduct UW and when required, accompany them into combat. When UW operations support conventional military operations, the focus shifts to primarily military objectives - however the political and psychological implications remain. Operational and strategic staffs and commanders must guard against limiting UW to a specific set of circumstances or activities defined by either recent events or personal experience. The most prevalent mistake is the belief that UW is limited to guerrilla warfare or insurgency.") MilitaryProcesses.kif 133-158
(subclass UnconventionalWarfare Helping) MilitaryProcesses.kif 132-132
(subclass UnconventionalWarfare SpecialOperation) MilitaryProcesses.kif 131-131

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


(subclass Exfiltration UnconventionalWarfare) MilitaryProcesses.kif 249-249
(subclass GuerrillaWarfare UnconventionalWarfare) MilitaryProcesses.kif 185-185
(subclass IntelligenceActivities UnconventionalWarfare) MilitaryProcesses.kif 230-230
(subclass Sabotage UnconventionalWarfare) MilitaryProcesses.kif 219-219
(subclass Subversion UnconventionalWarfare) MilitaryProcesses.kif 210-210
(subclass UnconventionalAssistedRecovery UnconventionalWarfare) MilitaryProcesses.kif 239-239
(termFormat ChineseLanguage UnconventionalWarfare "非常规战争") domainEnglishFormat.kif 59893-59893
(termFormat ChineseTraditionalLanguage UnconventionalWarfare "非常規戰爭") domainEnglishFormat.kif 59892-59892
(termFormat EnglishLanguage UnconventionalWarfare "unconventional warfare") domainEnglishFormat.kif 59891-59891

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


(=>
    (and
        (instance ?UW UnconventionalWarfare)
        (agent ?UW ?AGENT)
        (not
            (equal ?AGENT ?POPULACE))
        (not
            (equal ?AGENT
                (GovernmentFn ?NATION)))
        (patient ?UW ?POPULACE)
        (or
            (member ?POPULACE
                (ResidentFn ?NATION))
            (subCollection ?POPULACE
                (ResidentFn ?NATION))))
    (exists (?CONTEST)
        (and
            (instance ?CONTEST Contest)
            (agent ?CONTEST ?POPULACE)
            (agent ?CONTEST
                (GovernmentFn ?NATION)))))
MilitaryProcesses.kif 163-183


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