| CivilAffairs(civil affairs)
|
| appearance as argument number 1 |
|
| (documentation CivilAffairs EnglishLanguage "Designated Active and Reserve component forces and units organized, trained, and equipped specifically to conduct civil affairs activities and to support civil_military operations. Also called CA. See also civil affairs activities; civil_military operations.") | MilitaryProcesses.kif 2341-2345 | |
| (externalImage CivilAffairs "http://upload.wikimedia.org/wikipedia/en/1/ 1c/ Civilaffairs_firstaid.jpg") | pictureList.kif 5915-5915 | |
| (externalImage CivilAffairs "http://upload.wikimedia.org/wikipedia/en/d/ d4/ Fm41-10-3-1.jpg") | pictureList.kif 6272-6272 | |
| (externalImage CivilAffairs "http://upload.wikimedia.org/wikipedia/en/e/ e0/ IraqiVillage.jpg") | pictureList.kif 6273-6273 | |
| (externalImage CivilAffairs "http://upload.wikimedia.org/wikipedia/en/e/ ec/ PIPELINE.jpg") | pictureList.kif 6274-6274 | |
| (subclass CivilAffairs MilitaryForce) | MilitaryProcesses.kif 2340-2340 | Civil affairs is a subclass of military force |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage CivilAffairs "民政") | domainEnglishFormat.kif 14949-14949 | |
| (termFormat ChineseTraditionalLanguage CivilAffairs "民政") | domainEnglishFormat.kif 14948-14948 | |
| (termFormat EnglishLanguage CivilAffairs "civil affairs") | domainEnglishFormat.kif 14947-14947 |
| antecedent |
|
|
| (=> (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 |
|
| consequent |
|
|
| (=> (instance ?CAA CivilAffairsActivity) (exists (?CA) (and (agent ?CAA ?CA) (instance ?CA CivilAffairs)))) |
MilitaryProcesses.kif 2377-2382 |
|
|
|
|