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)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 2268-2271
(subAttribute CivilAffairsAgreement Contract) MilitaryProcesses.kif 2267-2267 Civil affairs agreement is a subattribute of contract

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage CivilAffairsAgreement "民政协议") domainEnglishFormat.kif 14887-14887 "民政协议" is the printable form of civil affairs agreement in ChineseLanguage
(termFormat ChineseTraditionalLanguage CivilAffairsAgreement "民政協議") domainEnglishFormat.kif 14886-14886 "民政協議" is the printable form of civil affairs agreement in ChineseTraditionalLanguage
(termFormat EnglishLanguage CivilAffairsAgreement "civil affairs agreement") domainEnglishFormat.kif 14885-14885 "civil affairs agreement" is the printable form of civil affairs agreement in english language

antecedent
-------------------------


(=>
    (and
        (instance ?CAA CivilAffairsAgreement)
        (partyToAgreement ?AGENT1 ?CAA)
        (partyToAgreement ?AGENT2 ?CAA))
    (not
        (enemy ?AGENT1 ?AGENT2)))
MilitaryProcesses.kif 2299-2305
(=>
    (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 2276-2295


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners