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 2301-2304 | |
(subAttribute CivilAffairsAgreement Contract) | MilitaryProcesses.kif 2300-2300 |
appearance as argument number 2 |
(termFormat ChineseLanguage CivilAffairsAgreement "民政协议") | domainEnglishFormat.kif 14962-14962 | |
(termFormat ChineseTraditionalLanguage CivilAffairsAgreement "民政協議") | domainEnglishFormat.kif 14961-14961 | |
(termFormat EnglishLanguage CivilAffairsAgreement "civil affairs agreement") | domainEnglishFormat.kif 14960-14960 |
antecedent |
(=> (and (instance ?CAA CivilAffairsAgreement) (partyToAgreement ?AGENT1 ?CAA) (partyToAgreement ?AGENT2 ?CAA)) (not (enemy ?AGENT1 ?AGENT2))) |
MilitaryProcesses.kif 2332-2338 | |
(=> (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 2309-2328 |