Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
CivilMilitaryOperation(civil military operation)
|
| appearance as argument number 1 |
|
| (subclass CivilMilitaryOperation JointOperation) | MilitaryProcesses.kif 2291-2291 | Civil military operation is a subclass of joint operation |
| (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 2292-2306 | Civil military operation is a subclass of joint operation |
| (externalImage CivilMilitaryOperation "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 07/ Iraq_header_2.jpg") | pictureList.kif 4864-4864 | Civil military operation is a subclass of joint operation |
| (externalImage CivilMilitaryOperation "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 35/ WarGulf_photobox.jpg") | pictureList.kif 4865-4865 | Civil military operation is a subclass of joint operation |
| appearance as argument number 2 |
|
|
| 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 2311-2321 | If X is an instance of civil military operation, then All of the following hold: (1) there exist Y (2) Z such that Y is an agent of X (3) Z is an agent of X (4) equal Y (5) Z (6) Y is an instance of military organization (7) Z is not an instance of military organization |
| 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 2373-2383 | If X is an instance of civil affairs, then X has the purpose there exist Y, ?OP_ACT such that Y is an instance of guiding, ?OP_ACT is a patient of Y, Y is an agent of X, and ?OP_ACT is an instance of civil military operation or ?OP_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 2413-2420 | If X is an instance of civil affairs activity, then X has the purpose there exist Y, Z such that Y is an instance of guiding, Z is a patient of Y, and Z is an instance of civil military operation |
|