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

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


(termFormat ChineseLanguage CivilMilitaryOperation "民事军事行动") domainEnglishFormat.kif 14917-14917 termFormat ChineseLanguage, CivilMilitaryOperation and "民事军事行动"
(termFormat ChineseTraditionalLanguage CivilMilitaryOperation "民事軍事行動") domainEnglishFormat.kif 14916-14916 termFormat ChineseTraditionalLanguage, CivilMilitaryOperation and "民事軍事行動"
(termFormat EnglishLanguage CivilMilitaryOperation "civil military operation") domainEnglishFormat.kif 14915-14915 termFormat EnglishLanguage, CivilMilitaryOperation and "civil military operation"

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners