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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ForeignInternalDefense

Sigma KEE - ForeignInternalDefense
ForeignInternalDefense

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


(documentation ForeignInternalDefense EnglishLanguage "These are operations that involve participation by civilian and military agencies of a government in any of the action programs taken by another government or other designated organization, to free and protect its society from subversion, lawlessness, and insurgency. Both conventional and SOF units have a role and capability to conduct FID missions. SOF's primary role in this interagency activity is to assess, train, advise, and assist HN military and paramilitary forces with the tasks that require their unique capabilities. The goal is to enable these forces to maintain the HN's internal stability, to counter subversion and violence in their country, and to address the causes of instability. Internal stability forms the shield behind which a nation-building campaign can succeed. Successful FID missions can lead to strategic successes for US foreign policy. FID activities include the following: (1) HN Military Assistance. These are operations that train HN military individuals and units in tactical employment, sustainment, and integration of land, air, and maritime skills, provide advice and assistance to military leaders, and provide training on tactics, techniques, and procedures required to protect the HN from subversion, lawlessness, and insurgency, and develop indigenous individual, leader, and organizational skills. (2) Population Security. These are operations that strengthen population security by providing supervision of tactical operations conducted by HN military units to neutralize and destroy insurgent threats, isolate insurgents from the civil population, and protect the civil population. As a subset of FID, designated SOF units may also train select HN forces to perform counterterrorist missions. For more details on FID, see JP 3-07.1, Joint Tactics, Techniques, and Procedures for Foreign Internal Defense (FID).") MilitaryProcesses.kif 1907-1938
(subclass ForeignInternalDefense Helping) MilitaryProcesses.kif 1906-1906
(subclass ForeignInternalDefense MilitaryOperation) MilitaryProcesses.kif 1905-1905

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


(subclass HNMilitaryAssistance ForeignInternalDefense) MilitaryProcesses.kif 1977-1977
(subclass PopulationSecurity ForeignInternalDefense) MilitaryProcesses.kif 1986-1986
(termFormat ChineseLanguage ForeignInternalDefense "外国内部防御") domainEnglishFormat.kif 24656-24656
(termFormat ChineseTraditionalLanguage ForeignInternalDefense "外國內部防禦") domainEnglishFormat.kif 24655-24655
(termFormat EnglishLanguage ForeignInternalDefense "foreign internal defense") domainEnglishFormat.kif 24654-24654

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


(=>
    (and
        (instance ?FID ForeignInternalDefense)
        (agent ?FID ?MIL)
        (experiencer ?FID ?HN))
    (hasPurpose ?FID
        (exists (?ORG ?LEARNING)
            (and
                (instance ?LEARNING Learning)
                (experiencer ?LEARNING ?ORG)
                (agent ?LEARNING ?MIL)
                (or
                    (militaryOfArea ?ORG ?HN)
                    (and
                        (instance ?ORG MilitaryForce)
                        (located ?ORG ?HN)))))))
MilitaryProcesses.kif 1960-1975
(=>
    (and
        (instance ?FID ForeignInternalDefense)
        (agent ?FID ?MIL)
        (militaryOfArea ?MIL ?NATION))
    (exists (?HN ?MAINTAIN)
        (and
            (experiencer ?FID ?HN)
            (instance ?HN HostNation)
            (not
                (equal ?HN ?NATION))
            (instance ?MAINTAIN Maintaining)
            (agent ?MAINTAIN ?HN))))
MilitaryProcesses.kif 1943-1955


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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