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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GeopoliticalArea

Sigma KEE - GeopoliticalArea
GeopoliticalArea(地缘政治区域)

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


(documentation GeopoliticalArea ChineseLanguage "这是任何与某些政治架构有关的 GeographicArea。 这组类别包括:LandAreaCity、城市的分区和县等等。注:一个 GeopoliticalArea 的特性在边界受到改变 以后可能仍然保持不变。") Merge.kif 14061-14063
(documentation GeopoliticalArea EnglishLanguage "Any GeographicArea which is associated with some sort of political structure. This class includes LandArea, Cities, districts of cities, counties, etc. Note that the identity of a GeopoliticalArea may remain constant after a change in borders.") Merge.kif 14057-14060
(subclass GeopoliticalArea Agent) Merge.kif 14056-14056 地缘政治区域施事体subclass
(subclass GeopoliticalArea GeographicArea) Merge.kif 14055-14055 地缘政治区域地理区域subclass

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


(instance Antarctica GeopoliticalArea) CountriesAndRegions.kif 4241-4241 Antarctica地缘政治区域instance
(instance ConfederateStatesOfAmerica GeopoliticalArea) Government.kif 4777-4777 ConfederateStatesOfAmerica地缘政治区域instance
(instance GazaStrip GeopoliticalArea) CountriesAndRegions.kif 4235-4235 GazaStrip地缘政治区域instance
(instance MiddleEastRegion GeopoliticalArea) Geography.kif 145-145 MiddleEastRegion地缘政治区域instance
(instance Montenegro GeopoliticalArea) Media.kif 2504-2504 Montenegro地缘政治区域instance
(instance PalestinianTerritories GeopoliticalArea) Media.kif 2540-2540 PalestinianTerritories地缘政治区域instance
(instance ParacelIslands GeopoliticalArea) CountriesAndRegions.kif 4236-4236 ParacelIslands地缘政治区域instance
(instance Scotland GeopoliticalArea) CountriesAndRegions.kif 798-798 Scotland地缘政治区域instance
(instance Serbia GeopoliticalArea) Media.kif 2489-2489 Serbia地缘政治区域instance
(instance SpratlyIslands GeopoliticalArea) CountriesAndRegions.kif 4237-4237 SpratlyIslands地缘政治区域instance
(instance SvalbardAndJanMayenIsland GeopoliticalArea) Media.kif 2554-2554 SvalbardAndJanMayenIsland地缘政治区域instance
(instance UnionStatesOfAmerica GeopoliticalArea) Government.kif 4781-4781 UnionStatesOfAmerica地缘政治区域instance
(instance UnitedStatesMinorOutlyingIslands GeopoliticalArea) Media.kif 2578-2578 UnitedStatesMinorOutlyingIslands地缘政治区域instance
(instance WestBank GeopoliticalArea) CountriesAndRegions.kif 4238-4238 WestBank地缘政治区域instance
(instance WesternSahara GeopoliticalArea) CountriesAndRegions.kif 4239-4239 WesternSahara地缘政治区域instance
(subclass City GeopoliticalArea) Merge.kif 14273-14273 城市地缘政治区域subclass
(subclass CityDistrict GeopoliticalArea) Mid-level-ontology.kif 7816-7816 CityDistrict地缘政治区域subclass
(subclass County GeopoliticalArea) Merge.kif 14283-14283 County地缘政治区域subclass
(subclass DependencyOrSpecialSovereigntyArea GeopoliticalArea) Mid-level-ontology.kif 7758-7758 DependencyOrSpecialSovereigntyArea地缘政治区域subclass
(subclass IndependentState GeopoliticalArea) Mid-level-ontology.kif 7750-7750 IndependentState地缘政治区域subclass
(subclass Nation GeopoliticalArea) Merge.kif 14248-14248 国家地缘政治区域subclass
(subclass OverseasArea GeopoliticalArea) Government.kif 476-476 OverseasArea地缘政治区域subclass
(subclass ParliamentaryTerritory GeopoliticalArea) Government.kif 514-514 ParliamentaryTerritory地缘政治区域subclass
(subclass PortFacility GeopoliticalArea) Transportation.kif 912-912 PortFacility地缘政治区域subclass
(subclass SelfGoverningTerritory GeopoliticalArea) Government.kif 520-520 SelfGoverningTerritory地缘政治区域subclass

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


(domain AvailableForMilitaryServiceMaleFn 1 GeopoliticalArea) Military.kif 860-860 AvailableForMilitaryServiceMaleFn 的 1 数量 是 地缘政治区域instance
(domain BirthsPerThousandFn 1 GeopoliticalArea) People.kif 91-91 BirthsPerThousandFn 的 1 数量 是 地缘政治区域instance
(domain CabinetFn 1 GeopoliticalArea) Government.kif 1487-1487 CabinetFn 的 1 数量 是 地缘政治区域instance
(domain ChildrenBornPerWomanFn 1 GeopoliticalArea) People.kif 447-447 ChildrenBornPerWomanFn 的 1 数量 是 地缘政治区域instance
(domain CitizenryFn 1 GeopoliticalArea) Mid-level-ontology.kif 7780-7780 CitizenryFn 的 1 数量 是 地缘政治区域instance
(domain ConstitutionFn 1 GeopoliticalArea) Government.kif 668-668 ConstitutionFn 的 1 数量 是 地缘政治区域instance
(domain DeathsPerThousandFn 1 GeopoliticalArea) People.kif 122-122 DeathsPerThousandFn 的 1 数量 是 地缘政治区域instance
(domain DeathsPerThousandLiveBirthsFn 1 GeopoliticalArea) People.kif 243-243 DeathsPerThousandLiveBirthsFn 的 1 数量 是 地缘政治区域instance
(domain ExclusiveFishingZoneFn 1 GeopoliticalArea) Geography.kif 1133-1133 ExclusiveFishingZoneFn 的 1 数量 是 地缘政治区域instance
(domain ExtendedFishingZoneFn 1 GeopoliticalArea) Geography.kif 1164-1164 ExtendedFishingZoneFn 的 1 数量 是 地缘政治区域instance
(domain FemaleLifeExpectancyAtBirthFn 1 GeopoliticalArea) People.kif 402-402 FemaleLifeExpectancyAtBirthFn 的 1 数量 是 地缘政治区域instance
(domain FitForMilitaryServiceMaleFn 1 GeopoliticalArea) Military.kif 882-882 FitForMilitaryServiceMaleFn 的 1 数量 是 地缘政治区域instance
(domain GovernmentFn 1 GeopoliticalArea) Merge.kif 16977-16977 政府函数 的 1 数量 是 地缘政治区域instance
(domain JudiciaryFn 1 GeopoliticalArea) Government.kif 2098-2098 JudiciaryFn 的 1 数量 是 地缘政治区域instance
(domain LegislatureFn 1 GeopoliticalArea) Government.kif 1996-1996 LegislatureFn 的 1 数量 是 地缘政治区域instance
(domain LifeExpectancyAtBirthFn 1 GeopoliticalArea) People.kif 310-310 LifeExpectancyAtBirthFn 的 1 数量 是 地缘政治区域instance
(domain MaleLifeExpectancyAtBirthFn 1 GeopoliticalArea) People.kif 357-357 MaleLifeExpectancyAtBirthFn 的 1 数量 是 地缘政治区域instance
(domain MaleToFemaleRatioFn 1 GeopoliticalArea) People.kif 207-207 MaleToFemaleRatioFn 的 1 数量 是 地缘政治区域instance
(domain MaritimeContiguousZoneFn 1 GeopoliticalArea) Geography.kif 1029-1029 MaritimeContiguousZoneFn 的 1 数量 是 地缘政治区域instance
(domain MaritimeExclusiveEconomicZoneFn 1 GeopoliticalArea) Geography.kif 1102-1102 MaritimeExclusiveEconomicZoneFn 的 1 数量 是 地缘政治区域instance
(domain MaritimeShelfAreaFn 1 GeopoliticalArea) Geography.kif 1071-1071 MaritimeShelfAreaFn 的 1 数量 是 地缘政治区域instance
(domain MerchantMarineFn 1 GeopoliticalArea) Transportation.kif 939-939 MerchantMarineFn 的 1 数量 是 地缘政治区域instance
(domain MigrantsPerThousandFn 1 GeopoliticalArea) People.kif 156-156 MigrantsPerThousandFn 的 1 数量 是 地缘政治区域instance
(domain OverseasAreaFn 1 GeopoliticalArea) Government.kif 490-490 OverseasAreaFn 的 1 数量 是 地缘政治区域instance
(domain PerCapitaFn 2 GeopoliticalArea) Mid-level-ontology.kif 7795-7795 PerCapitaFn 的 2 数量 是 地缘政治区域instance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (codeMapping ISO-4217-A ?A3 ?CURRENCY)
        (codeMapping ISO-3166-1-alpha-2 ?A2 ?AREA)
        (subclass ?AREA GeopoliticalArea)
        (equal ?A2
            (SubstringFn ?A3 0 2)))
    (currencyType ?AREA ?CURRENCY))
Media.kif 2859-2865
(=>
    (and
        (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT2)
        (instance ?AGENT1 Nation)
        (instance ?AGENT2 GeopoliticalArea))
    (exists (?ORG)
        (and
            (instance ?ORG ?TYPE)
            (located ?ORG ?AGENT2)
            (subOrganization ?ORG
                (GovernmentFn ?AGENT1)))))
Government.kif 4585-4594
(=>
    (and
        (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT2)
        (instance ?AGENT1 Organization)
        (instance ?AGENT2 GeopoliticalArea))
    (exists (?ORG)
        (and
            (instance ?ORG ?TYPE)
            (located ?ORG ?AGENT2)
            (subOrganization ?ORG ?AGENT1))))
Government.kif 4595-4604
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 GeopoliticalArea))
    (employs
        (GovernmentFn ?AGENT1) ?PERSON))
Government.kif 4423-4427
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Nation)
        (instance ?ORG DiplomaticOrganization)
        (subOrganization ?ORG
            (GovernmentFn ?AGENT1))
        (occupiesPosition ?PERSON ?POSITION ?ORG)
        (instance ?AGENT2 GeopoliticalArea))
    (agentOperatesInArea ?ORG ?AGENT2))
Government.kif 4448-4456
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization)
        (instance ?AGENT2 GeopoliticalArea))
    (agentOperatesInArea ?AGENT1 ?AGENT2))
Government.kif 4441-4446
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT2 GeopoliticalArea))
    (agentOperatesInArea ?PERSON ?AGENT2))
Government.kif 4435-4439
(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea)
        (subOrganization ?ORG ?BRANCH))
    (subOrganization ?ORG
        (GovernmentFn ?AREA)))
Government.kif 1273-1278
(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?BRANCH GovernmentOrganization))
Government.kif 1255-1259
(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (subOrganization ?BRANCH
        (GovernmentFn ?AREA)))
Government.kif 1267-1271
(=>
    (and
        (governmentType ?AGENT ?TYPE)
        (subAttribute ?TYPE TheocraticGovernment)
        (instance ?AGENT GeopoliticalArea))
    (instance
        (GovernmentFn ?AGENT) ReligiousOrganization))
Government.kif 340-345
(=>
    (and
        (governmentType ?PLACE ?TYPE)
        (instance ?PLACE GeopoliticalArea)
        (subAttribute ?TYPE ParliamentaryGovernment))
    (exists (?ORG)
        (and
            (instance ?ORG Parliament)
            (subOrganization ?ORG
                (GovernmentFn ?PLACE)))))
Government.kif 244-252
(=>
    (and
        (governmentType ?PLACE AbsoluteMonarchy)
        (instance ?PLACE GeopoliticalArea))
    (leaderPosition ?PLACE Monarch))
Government.kif 230-234
(=>
    (and
        (instance
            (ExecutiveBranchFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (executiveBranch
        (ExecutiveBranchFn ?AREA)
        (GovernmentFn ?AREA)))
Government.kif 1296-1300
(=>
    (and
        (instance
            (JudiciaryFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (judicialBranch
        (JudiciaryFn ?AREA)
        (GovernmentFn ?AREA)))
Government.kif 2115-2119
(=>
    (and
        (instance
            (LegislatureFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (legislativeBranch
        (LegislatureFn ?AREA)
        (GovernmentFn ?AREA)))
Government.kif 2010-2014
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (equal ?CITIZENRY
            (CitizenryFn ?AREA))
        (equal ?POPULATION
            (ResidentFn ?AREA)))
    (greaterThanOrEqualTo ?POPULATION ?CITIZENRY))
Mid-level-ontology.kif 7786-7791
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (governmentType ?AREA ?TYPE))
    (attribute
        (GovernmentFn ?AREA) ?TYPE))
Government.kif 142-146
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (ExclusiveFishingZoneFn ?AREA) ExclusiveFishingZone))
    (claimedTerritory
        (ExclusiveFishingZoneFn ?AREA) ?AREA))
Geography.kif 1141-1145
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (ExtendedFishingZoneFn ?AREA) ExtendedFishingZone))
    (claimedTerritory
        (ExtendedFishingZoneFn ?AREA) ?AREA))
Geography.kif 1172-1176
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (GovernmentFn ?AREA) NationalGovernment))
    (instance ?AREA Nation))
Government.kif 121-125
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MaritimeContiguousZoneFn ?AREA) MaritimeContiguousZone))
    (claimedTerritory
        (MaritimeContiguousZoneFn ?AREA) ?AREA))
Geography.kif 1036-1040
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MaritimeExclusiveEconomicZoneFn ?AREA) MaritimeExclusiveEconomicZone))
    (claimedTerritory
        (MaritimeExclusiveEconomicZoneFn ?AREA) ?AREA))
Geography.kif 1110-1114
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MaritimeShelfAreaFn ?AREA) MaritimeShelfArea))
    (claimedTerritory
        (MaritimeShelfAreaFn ?AREA) ?AREA))
Geography.kif 1078-1082
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MerchantMarineFn ?AREA) MerchantMarine))
    (possesses ?AREA
        (MerchantMarineFn ?AREA)))
Transportation.kif 952-956

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (holdsDuring ?T1
            (and
                (attribute ?PERSON DislocatedCivilian)
                (inhabits ?PERSON ?RESIDENCE)
                (located ?RESIDENCE ?PLACE)))
        (instance ?PLACE GeographicArea)
        (instance ?T1 TimeInterval))
    (exists (?T0 ?PRIOR-PLACE ?PRIOR-RES)
        (and
            (instance ?T0 TimeInterval)
            (earlier ?T0 ?T1)
            (instance ?PRIOR-RES Object)
            (instance ?PRIOR-PLACE GeopoliticalArea)
            (located ?PRIOR-RES ?PRIOR-PLACE)
            (not
                (equal ?PLACE ?PRIOR-PLACE))
            (not
                (equal ?RESIDENCE ?PRIOR-RES))
            (not
                (geographicSubregion ?PLACE ?PRIOR-PLACE))
            (not
                (geographicSubregion ?PRIOR-PLACE ?PLACE))
            (holdsDuring ?T0
                (inhabits ?PERSON ?PRIOR-RES)))))
MilitaryPersons.kif 26-47
(=>
    (and
        (instance ?AGENT Agent)
        (subclass
            (ElectionFn ?AGENT) Election))
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))
Government.kif 1652-1658
(=>
    (and
        (instance ?EXPORT Exporting)
        (patient ?EXPORT ?ITEM)
        (instance ?AREA GeopoliticalArea)
        (holdsDuring
            (BeginFn
                (WhenFn ?EXPORT))
            (located ?ITEM ?AREA)))
    (exists (?AREA2)
        (and
            (instance ?AREA2 GeopoliticalArea)
            (not
                (geopoliticalSubdivision ?AREA1 ?AREA2))
            (not
                (geopoliticalSubdivision ?AREA2 ?AREA1))
            (holdsDuring
                (EndFn
                    (WhenFn ?EXPORT))
                (located ?ITEM ?AREA2)))))
Economy.kif 2435-2448
(=>
    (and
        (instance ?R PoliticalRevolution)
        (patient ?R ?A))
    (instance ?A GeopoliticalArea))
Mid-level-ontology.kif 11486-11490
(=>
    (and
        (instance ?REL EconomicRelation)
        (domain ?REL 1 ?CLASS))
    (subclass ?CLASS GeopoliticalArea))
Mid-level-ontology.kif 14460-14464
(=>
    (and
        (instance ?WAR War)
        (agent ?WAR ?AGENT))
    (or
        (instance ?AGENT GeopoliticalArea)
        (and
            (instance ?AGENT Organization)
            (forall (?MEMBER)
                (=>
                    (member ?MEMBER ?AGENT)
                    (instance ?MEMBER GeopoliticalArea))))))
Merge.kif 13329-13340
(=>
    (and
        (member ?AGENT InternationalCourtOfJustice)
        (attribute ?AGENT JudgeAtLaw))
    (exists (?POLITY)
        (and
            (instance ?POLITY GeopoliticalArea)
            (representativeAgentToAgent ?POLITY ?AGENT InternationalCourtOfJustice))))
Government.kif 3403-3410
(=>
    (attribute ?PERSON Monarch)
    (exists (?PLACE)
        (and
            (instance ?PLACE GeopoliticalArea)
            (governmentType ?PLACE Monarchy)
            (chiefOfState ?PLACE Monarch ?PERSON))))
Government.kif 1323-1329
(=>
    (economyType ?AGENT ?ATTRIBUTE)
    (or
        (instance ?AGENT GeopoliticalArea)
        (instance ?AGENT Organization)))
Economy.kif 91-95
(=>
    (equal ?FY
        (FiscalYearFn ?PLACE))
    (or
        (instance ?PLACE GeopoliticalArea)
        (instance ?PLACE Organization)))
Economy.kif 3707-3711
(=>
    (equal ?FY
        (FiscalYearStartingFn ?PLACE ?YEAR))
    (or
        (instance ?PLACE GeopoliticalArea)
        (instance ?PLACE Organization)))
Economy.kif 3733-3737
(=>
    (executiveBranch ?BRANCH ?AGENT)
    (or
        (instance ?BRANCH GeopoliticalArea)
        (instance ?BRANCH Organization)))
Government.kif 1249-1253
(=>
    (governmentType ?AGENT ?TYPE)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))
Government.kif 136-140
(=>
    (instance ?C Coronation)
    (exists (?PERSON ?PLACE)
        (and
            (instance ?PERSON Human)
            (patient ?C ?PERSON)
            (instance ?PLACE GeopoliticalArea)
            (holdsDuring
                (BeginFn
                    (WhenFn ?C))
                (not
                    (chiefOfState ?PLACE Monarch ?PERSON)))
            (holdsDuring
                (ImmediateFutureFn
                    (WhenFn ?C))
                (chiefOfState ?PLACE Monarch ?PERSON)))))
Government.kif 1335-1350
(=>
    (instance ?MILITARY MilitaryOrganization)
    (exists (?AREA)
        (and
            (instance ?AREA GeopoliticalArea)
            (militaryOfArea ?MILITARY ?AREA))))
Military.kif 788-793
(=>
    (instance ?TREATY TreatyDocument)
    (exists (?COMM ?COUNTRY1 ?COUNTRY2)
        (and
            (instance ?COMM Committing)
            (patient ?COMM ?TREATY)
            (instance ?COUNTRY1 GeopoliticalArea)
            (agent ?COMM ?COUNTRY1)
            (instance ?COUNTRY2 GeopoliticalArea)
            (agent ?COMM ?COUNTRY2)
            (not
                (equal ?COUNTRY1 ?COUNTRY2)))))
Geography.kif 2885-2895
(=>
    (judicialBranch ?BRANCH ?AGENT)
    (or
        (instance ?BRANCH GeopoliticalArea)
        (instance ?BRANCH Organization)))
Government.kif 2062-2066
(=>
    (legislativeBranch ?ORG ?AGENT)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))
Government.kif 1967-1971
(=>
    (suffrageAgeMaximum ?AGENT ?AGE)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))
Government.kif 1008-1012
(=>
    (suffrageAgeMinimum ?AGENT ?AGE)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))
Government.kif 944-948


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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