| CivilAffairsAgreement | |
| appearance as argument number 1 |
|
|
| (documentation CivilAffairsAgreement EnglishLanguage "An agreement that governs the relationship between allied armed forces located in a friendly country and the civil authorities and people of that country. See also civil affairs.") | MilitaryProcesses.kif 2281-2284 | |
| (subAttribute CivilAffairsAgreement Contract) | MilitaryProcesses.kif 2280-2280 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage CivilAffairsAgreement "民政协议") | domainEnglishFormat.kif 14887-14887 | |
| (termFormat ChineseTraditionalLanguage CivilAffairsAgreement "民政協議") | domainEnglishFormat.kif 14886-14886 | |
| (termFormat EnglishLanguage CivilAffairsAgreement "civil affairs agreement") | domainEnglishFormat.kif 14885-14885 |
| antecedent |
|
|
| (=> (and (instance ?CAA CivilAffairsAgreement) (partyToAgreement ?AGENT1 ?CAA) (partyToAgreement ?AGENT2 ?CAA)) (not (enemy ?AGENT1 ?AGENT2))) |
MilitaryProcesses.kif 2312-2318 | |
| (=> (and (instance ?CAA CivilAffairsAgreement) (partyToAgreement ?AGENT_MIL_THIS ?CAA) (instance ?AGENT_MIL_THIS MilitaryOrganization) (militaryOfArea ?AGENT_MIL_THIS ?NATION_THIS) (instance ?NATION_THIS Nation) (located ?AGENT_MIL_THIS ?NATION_FRIENDLY) (instance ?NATION_FRIENDLY Nation)) (and (not (equal ?NATION_THIS ?NATION_FRIENDLY)) (not (enemy ?NATION_THIS ?NATION_FRIENDLY)) (exists (?AGENT_FRIENDLY) (and (located ?AGENT_FRIENDLY ?NATION_FRIENDLY) (partyToAgreement ?AGENT_FRIENDLY ?CAA) (not (instance ?AGENT_FRIENDLY MilitaryOrganization)))))) |
MilitaryProcesses.kif 2289-2308 |
|
|
|