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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CivilAffairsAgreement
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 2281-2284
(subAttribute CivilAffairsAgreement Contract) MilitaryProcesses.kif 2280-2280 subAttribute CivilAffairsAgreement and Contract

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


(termFormat ChineseLanguage CivilAffairsAgreement "民政协议") domainEnglishFormat.kif 14887-14887 termFormat ChineseLanguage, CivilAffairsAgreement and "民政协议"
(termFormat ChineseTraditionalLanguage CivilAffairsAgreement "民政協議") domainEnglishFormat.kif 14886-14886 termFormat ChineseTraditionalLanguage, CivilAffairsAgreement and "民政協議"
(termFormat EnglishLanguage CivilAffairsAgreement "civil affairs agreement") domainEnglishFormat.kif 14885-14885 termFormat EnglishLanguage, CivilAffairsAgreement and "civil affairs agreement"

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


(=>
    (and
        (instance ?CAA CivilAffairsAgreement)
        (partyToAgreement ?AGENT1 ?CAA)
        (partyToAgreement ?AGENT2 ?CAA))
    (not
        (enemy ?AGENT1 ?AGENT2)))
MilitaryProcesses.kif 2312-2318
(=>
    (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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners