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 |
![]() |
![]() |