CivilMilitaryOperation - Sigma Knowledge base Browser

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	Civil military operation is a subclass of joint operation

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	If a physical is an instance of civil affairs, then the physical has the purpose there exist an entity and another entity_ACT such that the entity is an instance of guiding and the other entity_ACT is a patient of the entity and the entity is an agent of the physical and the other entity_ACT is an instance of civil military operation or the other entity_ACT is an instance of civil affairs activity
(=> (instance ?CAA CivilAffairsActivity) (hasPurpose ?CAA (exists (?GUIDING ?OP) (and (instance ?GUIDING Guiding) (patient ?GUIDING ?OP) (instance ?OP CivilMilitaryOperation)))))	MilitaryProcesses.kif 2386-2393	If a physical is an instance of civil affairs activity, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of guiding and the other entity is a patient of the entity and the other entity is an instance of civil military operation