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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - militaryOfArea
militaryOfArea

appearance as argument number 1
-------------------------


(documentation militaryOfArea EnglishLanguage "(militaryOfArea ?MILITARY ?AREA) denotes that ?MILITARY is a MilitaryOrganization serving in defense of the GeopoliticalArea ?AREA.") Military.kif 827-829
(domain militaryOfArea 1 MilitaryOrganization) Military.kif 825-825 domain militaryOfArea, 1 and MilitaryOrganization
(domain militaryOfArea 2 GeopoliticalArea) Military.kif 826-826 domain militaryOfArea, 2 and GeopoliticalArea
(instance militaryOfArea BinaryPredicate) Military.kif 824-824 instance militaryOfArea and BinaryPredicate

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


(format ChineseLanguage militaryOfArea "%2 %n 是 %1 的 military 区域") domainEnglishFormat.kif 1735-1735
(format ChineseTraditionalLanguage militaryOfArea "%2 %n 是 %1 的 military 區域") domainEnglishFormat.kif 1734-1734
(format EnglishLanguage militaryOfArea "%2 is %n a military of area of %1") domainEnglishFormat.kif 1733-1733
(termFormat ChineseLanguage militaryOfArea "区域军事") domainEnglishFormat.kif 37585-37585 termFormat ChineseLanguage, militaryOfArea and "区域军事"
(termFormat ChineseTraditionalLanguage militaryOfArea "區域軍事") domainEnglishFormat.kif 37584-37584 termFormat ChineseTraditionalLanguage, militaryOfArea and "區域軍事"
(termFormat EnglishLanguage militaryOfArea "military of area") domainEnglishFormat.kif 37583-37583 termFormat EnglishLanguage, militaryOfArea and "military of area"

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 2289-2308
(=>
    (and
        (instance ?FID ForeignInternalDefense)
        (agent ?FID ?MIL)
        (militaryOfArea ?MIL ?NATION))
    (exists (?HN ?MAINTAIN)
        (and
            (experiencer ?FID ?HN)
            (instance ?HN HostNation)
            (not
                (equal ?HN ?NATION))
            (instance ?MAINTAIN Maintaining)
            (agent ?MAINTAIN ?HN))))		 MilitaryProcesses.kif 1924-1936
(=>
    (and
        (militaryAge ?AREA ?MILITARYAGE)
        (militaryOfArea ?MILITARY ?AREA)
        (member ?AGENT ?MILITARY)
        (age ?AGENT ?AGE))
    (greaterThanOrEqualTo ?AGE ?MILITARYAGE))		 Military.kif 849-855
(=>
    (and
        (militaryAge ?AREA ?MILITARYAGE)
        (militaryOfArea ?MILITARY ?AREA)
        (member ?AGENT ?MILITARY))
    (exists (?AGE)
        (and
            (age ?AGENT ?AGE)
            (greaterThanOrEqualTo ?AGE ?MILITARYAGE))))		 Military.kif 839-847

consequent
-------------------------


(=>
    (and
        (instance ?ATTR USMilitaryRank)
        (attribute ?PERSON ?ATTR))
    (exists (?MO)
        (and
            (member ?PERSON ?MO)
            (militaryOfArea ?MO UnitedStates))))		 Military.kif 257-264
(=>
    (and
        (instance ?FID ForeignInternalDefense)
        (agent ?FID ?MIL)
        (experiencer ?FID ?HN))
    (hasPurpose ?FID
        (exists (?ORG ?LEARNING)
            (and
                (instance ?LEARNING Learning)
                (experiencer ?LEARNING ?ORG)
                (agent ?LEARNING ?MIL)
                (or
                    (militaryOfArea ?ORG ?HN)
                    (and
                        (instance ?ORG MilitaryForce)
                        (located ?ORG ?HN)))))))		 MilitaryProcesses.kif 1941-1956
(=>
    (instance ?HN HostNation)
    (exists (?GETTING ?FORCES ?OTHERNATION ?MILITARY)
        (and
            (instance ?OTHERNATION Nation)
            (instance ?MILITARY MilitaryForce)
            (militaryOfArea ?MILITARY ?OTHERNATION)
            (subOrganization ?FORCES ?MILITARY)
            (not
                (equal ?HN ?OTHERNATION))
            (not
                (enemy ?HN ?OTHERNATION))
            (instance ?GETTING Getting)
            (agent ?GETTING ?HN)
            (patient ?GETTING ?FORCES)
            (instance ?FORCES MilitaryForce)
            (located ?FORCES ?HN))))		 MilitaryProcesses.kif 1356-1372
(=>
    (instance ?MILITARY MilitaryOrganization)
    (exists (?AREA)
        (and
            (instance ?AREA GeopoliticalArea)
            (militaryOfArea ?MILITARY ?AREA))))		 Military.kif 788-793