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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CivilMilitaryOperation

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 2268-2282
(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 2267-2267

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


(termFormat ChineseLanguage CivilMilitaryOperation "民事军事行动") domainEnglishFormat.kif 14979-14979
(termFormat ChineseTraditionalLanguage CivilMilitaryOperation "民事軍事行動") domainEnglishFormat.kif 14978-14978
(termFormat EnglishLanguage CivilMilitaryOperation "civil military operation") domainEnglishFormat.kif 14977-14977

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

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 2349-2359
(=>
    (instance ?CAA CivilAffairsActivity)
    (hasPurpose ?CAA
        (exists (?GUIDING ?OP)
            (and
                (instance ?GUIDING Guiding)
                (patient ?GUIDING ?OP)
                (instance ?OP CivilMilitaryOperation)))))
MilitaryProcesses.kif 2385-2392


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