Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   CivilAffairsAgreement
|
|
|
| appearance as argument number 1 |
|
|
| (subclass CivilAffairsAgreement Contract) | MilitaryProcesses.kif 2323-2323 | Civil affairs agreement is a subclass of contract |
| (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 2324-2327 | Civil affairs agreement is a subclass of contract |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 2332-2351 | If All of the following hold: (1) X is an instance of civil affairs agreement (2) X is a party to agreement of ?AGENT_MIL_THIS (3) ?AGENT_MIL_THIS is an instance of military organization (4) ?NATION_THIS is a military of area of ?AGENT_MIL_THIS (5) ?NATION_THIS is an instance of nation (6) ?AGENT_MIL_THIS is located at ?NATION_FRIENDLY (7) ?NATION_FRIENDLY is an instance of nation, then equal ?NATION_THIS and ?NATION_FRIENDLY, ?NATION_THIS and ?NATION_FRIENDLY are not enemies of each other, and there exists ?AGENT_FRIENDLY such that ?AGENT_FRIENDLY is located at ?NATION_FRIENDLY, X is a party to agreement of ?AGENT_FRIENDLY, and ?AGENT_FRIENDLY is not an instance of military organization |
| (=> (and (instance ?CAA CivilAffairsAgreement) (partyToAgreement ?AGENT1 ?CAA) (partyToAgreement ?AGENT2 ?CAA)) (not (enemy ?AGENT1 ?AGENT2))) |
MilitaryProcesses.kif 2355-2361 | If X is an instance of civil affairs agreement, X is a party to agreement of Y, and X is a party to agreement of Z, then Y and Z are not enemies of each other |
|