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

Formal Language: 



KB Term:  Term intersection
English Word: 

  militaryOfArea

 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 818-820
(domain militaryOfArea 1 MilitaryOrganization) Military.kif 816-816 区域军事 的 1 数量 是 军事组织 的 instance
(domain militaryOfArea 2 GeopoliticalArea) Military.kif 817-817 区域军事 的 2 数量 是 地缘政治区域 的 instance
(instance militaryOfArea BinaryPredicate) Military.kif 815-815 区域军事 是 二元谓语 的 instance

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 37661-37661
(termFormat ChineseTraditionalLanguage militaryOfArea "區域軍事") domainEnglishFormat.kif 37660-37660
(termFormat EnglishLanguage militaryOfArea "military of area") domainEnglishFormat.kif 37659-37659

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 2309-2328
(=>
    (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 1943-1955
(=>
    (and
        (militaryAge ?AREA
            (MeasureFn ?MILITARYAGE YearDuration))
        (militaryOfArea ?MILITARY ?AREA)
        (member ?AGENT ?MILITARY)
        (age ?AGENT
            (MeasureFn ?AGE YearDuration)))
    (greaterThanOrEqualTo ?AGE ?MILITARYAGE))		 Military.kif 843-851
(=>
    (and
        (militaryAge ?AREA
            (MeasureFn ?MILITARYAGE YearDuration))
        (militaryOfArea ?MILITARY ?AREA)
        (member ?AGENT ?MILITARY))
    (exists (?AGE)
        (and
            (age ?AGENT
                (MeasureFn ?AGE YearDuration))
            (greaterThanOrEqualTo ?AGE ?MILITARYAGE))))		 Military.kif 831-841

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 1960-1975
(=>
    (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 1357-1373
(=>
    (instance ?MILITARY MilitaryOrganization)
    (exists (?AREA)
        (and
            (instance ?AREA GeopoliticalArea)
            (militaryOfArea ?MILITARY ?AREA))))		 Military.kif 779-784

Show without tree


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