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 2269-2283
(externalImage CivilMilitaryOperation "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 07/ Iraq_header_2.jpg") pictureList.kif 4865-4865
(externalImage CivilMilitaryOperation "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 35/ WarGulf_photobox.jpg") pictureList.kif 4866-4866
(subclass CivilMilitaryOperation JointOperation) MilitaryProcesses.kif 2268-2268

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


(termFormat ChineseLanguage CivilMilitaryOperation "民事军事行动") domainEnglishFormat.kif 14976-14976
(termFormat ChineseTraditionalLanguage CivilMilitaryOperation "民事軍事行動") domainEnglishFormat.kif 14975-14975
(termFormat EnglishLanguage CivilMilitaryOperation "civil military operation") domainEnglishFormat.kif 14974-14974

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

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 2350-2360
(=>
    (instance ?CAA CivilAffairsActivity)
    (hasPurpose ?CAA
        (exists (?GUIDING ?OP)
            (and
                (instance ?GUIDING Guiding)
                (patient ?GUIDING ?OP)
                (instance ?OP CivilMilitaryOperation)))))
MilitaryProcesses.kif 2386-2393


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