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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CivilMilitaryOperation
CivilMilitaryOperation

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


(documentation CivilMilitaryOperation EnglishLanguage "The activities of a commander that establish, maintain, influence, or exploit relations between military forces, governmental and nongovernmental civilian organizations and authorities, and the civilian populace in a friendly, neutral, or hostile operational area in order to facilitate military operations, to consolidate and achieve operational US objectives. Civil-military operations may include performance by military forces of activities and functions normally the responsibility of the local, regional, or national government. These activities may occur prior to, during, or subsequent to other military actions. They may also occur, if directed, in the absence of other military operations. Civilmilitary operations may be performed by designated civil affairs, by other military forces, or by a combination of civil affairs and other forces. Also called CMO. See also civil affairs, operation.") MilitaryProcesses.kif 2249-2263
(externalImage CivilMilitaryOperation "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 07/ Iraq_header_2.jpg") pictureList.kif 4866-4866
(externalImage CivilMilitaryOperation "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 35/ WarGulf_photobox.jpg") pictureList.kif 4867-4867
(subclass CivilMilitaryOperation JointOperation) MilitaryProcesses.kif 2248-2248 subclass CivilMilitaryOperation and JointOperation

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


(termFormat ChineseLanguage CivilMilitaryOperation "民事军事行动") domainEnglishFormat.kif 14911-14911
(termFormat ChineseTraditionalLanguage CivilMilitaryOperation "民事軍事行動") domainEnglishFormat.kif 14910-14910
(termFormat EnglishLanguage CivilMilitaryOperation "civil military operation") domainEnglishFormat.kif 14909-14909

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


(=>
    (instance ?CAO CivilMilitaryOperation)
    (exists (?AGENT1 ?AGENT2)
        (and
            (agent ?CAO ?AGENT1)
            (agent ?CAO ?AGENT2)
            (not
                (equal ?AGENT1 ?AGENT2))
            (instance ?AGENT1 MilitaryOrganization)
            (not
                (instance ?AGENT2 MilitaryOrganization)))))
MilitaryProcesses.kif 2268-2278

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


(=>
    (instance ?CA CivilAffairs)
    (hasPurpose ?CA
        (exists (?GUIDING ?OP_ACT)
            (and
                (instance ?GUIDING Guiding)
                (patient ?GUIDING ?OP_ACT)
                (agent ?CA ?GUIDING)
                (or
                    (instance ?OP_ACT CivilMilitaryOperation)
                    (instance ?OP_ACT CivilAffairsActivity))))))
MilitaryProcesses.kif 2330-2340
(=>
    (instance ?CAA CivilAffairsActivity)
    (hasPurpose ?CAA
        (exists (?GUIDING ?OP)
            (and
                (instance ?GUIDING Guiding)
                (patient ?GUIDING ?OP)
                (instance ?OP CivilMilitaryOperation)))))
MilitaryProcesses.kif 2366-2373


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