Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - CivilAffairsAgreement
CivilAffairsAgreement(civil affairs agreement)

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 Civil affairs agreement is a subattribute of contract

appearance as argument number 2

(termFormat ChineseLanguage CivilAffairsAgreement "民政协议") domainEnglishFormat.kif 14881-14881
(termFormat ChineseTraditionalLanguage CivilAffairsAgreement "民政協議") domainEnglishFormat.kif 14880-14880
(termFormat EnglishLanguage CivilAffairsAgreement "civil affairs agreement") domainEnglishFormat.kif 14879-14879


        (instance ?CAA CivilAffairsAgreement)
        (partyToAgreement ?AGENT1 ?CAA)
        (partyToAgreement ?AGENT2 ?CAA))
        (enemy ?AGENT1 ?AGENT2)))
MilitaryProcesses.kif 2312-2318
        (instance ?CAA CivilAffairsAgreement)
        (partyToAgreement ?AGENT_MIL_THIS ?CAA)
        (instance ?AGENT_MIL_THIS MilitaryOrganization)
        (militaryOfArea ?AGENT_MIL_THIS ?NATION_THIS)
        (instance ?NATION_THIS Nation)
        (instance ?NATION_FRIENDLY Nation))
            (equal ?NATION_THIS ?NATION_FRIENDLY))
            (enemy ?NATION_THIS ?NATION_FRIENDLY))
        (exists (?AGENT_FRIENDLY)
                (located ?AGENT_FRIENDLY ?NATION_FRIENDLY)
                (partyToAgreement ?AGENT_FRIENDLY ?CAA)
                    (instance ?AGENT_FRIENDLY MilitaryOrganization))))))
MilitaryProcesses.kif 2289-2308

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