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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ForeignInternalDefense
ForeignInternalDefense(foreign internal defense)

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 Foreign internal defense is a subclass of helping
(subclass ForeignInternalDefense MilitaryOperation) MilitaryProcesses.kif 1905-1905 Foreign internal defense is a subclass of military operation

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


(subclass HNMilitaryAssistance ForeignInternalDefense) MilitaryProcesses.kif 1977-1977 HN military assistance is a subclass of foreign internal defense
(subclass PopulationSecurity ForeignInternalDefense) MilitaryProcesses.kif 1986-1986 Population security is a subclass of foreign internal defense
(termFormat ChineseLanguage ForeignInternalDefense "外国内部防御") domainEnglishFormat.kif 24678-24678 Population security is a subclass of foreign internal defense
(termFormat ChineseTraditionalLanguage ForeignInternalDefense "外國內部防禦") domainEnglishFormat.kif 24677-24677 Population security is a subclass of foreign internal defense
(termFormat EnglishLanguage ForeignInternalDefense "foreign internal defense") domainEnglishFormat.kif 24676-24676 Population security is a subclass of foreign internal defense

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 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