| 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 | Civil affairs agreement is a subattribute of contract |
| 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 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners