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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GeopoliticalArea
GeopoliticalAreaمَنْطِقَة جِيُوسِيَاسِيَّة, Anguilla, Anguillan, AreaGeopolitica, Area_Geopolitica, Baltic, Bloomsbury, Boeotian, Bosnian, Byzantine, Cambrian, Catalan, Croatian, Cyprian, Cypriot, Cypriote, Dar_al-Islam, Dipylon, Gallic, Georgian, Hollywood, House_of_Islam, Indian_reservation, Latin, Lilliputian, Macedonian, Manchurian, Numidia, Ottoman_Empire, Palestinian, Prussian, Scotch, Scots, Scottish, Serbian, Slovenian, SoHo, Soho, South_of_Houston, Sumerian, Tibetan, Turkish_Empire, Welsh, Wembley, abbacy, archbishopric, archdeaconry, archdiocese, archduchy, associated_state...

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


s__documentation(s__GeopoliticalArea,s__ChineseLanguage,'这是任何与某些政治架构有关的 GeographicArea。 这组类别包括:LandAreaCity、城市的分区和县等等。注:一个 GeopoliticalArea 的特性在边界受到改变 以后可能仍然保持不变。')

Merge.kif 14003-14005
s__documentation(s__GeopoliticalArea,s__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 13999-14002
s__instance(s__Agent,s__SetOrClass)

Merge.kif 13998-13998
s__instance(s__GeographicArea,s__SetOrClass)

Merge.kif 13997-13997

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


s__instance(s__Antarctica,s__GeopoliticalArea)

CountriesAndRegions.kif 4244-4244
s__instance(s__ConfederateStatesOfAmerica,s__GeopoliticalArea)

Government.kif 4777-4777
s__instance(s__GazaStrip,s__GeopoliticalArea)

CountriesAndRegions.kif 4238-4238
s__instance(s__MiddleEastRegion,s__GeopoliticalArea)

Geography.kif 145-145
s__instance(s__Montenegro,s__GeopoliticalArea)

Media.kif 2504-2504
s__instance(s__PalestinianTerritories,s__GeopoliticalArea)

Media.kif 2540-2540
s__instance(s__ParacelIslands,s__GeopoliticalArea)

CountriesAndRegions.kif 4239-4239
s__instance(s__Scotland,s__GeopoliticalArea)

CountriesAndRegions.kif 798-798
s__instance(s__Serbia,s__GeopoliticalArea)

Media.kif 2489-2489
s__instance(s__SpratlyIslands,s__GeopoliticalArea)

CountriesAndRegions.kif 4240-4240
s__instance(s__SvalbardAndJanMayenIsland,s__GeopoliticalArea)

Media.kif 2554-2554
s__instance(s__UnionStatesOfAmerica,s__GeopoliticalArea)

Government.kif 4781-4781
s__instance(s__UnitedStatesMinorOutlyingIslands,s__GeopoliticalArea)

Media.kif 2578-2578
s__instance(s__WestBank,s__GeopoliticalArea)

CountriesAndRegions.kif 4241-4241
s__instance(s__WesternSahara,s__GeopoliticalArea)

CountriesAndRegions.kif 4242-4242
s__subclass(s__City,s__GeopoliticalArea)

Merge.kif 14215-14215
s__subclass(s__CityDistrict,s__GeopoliticalArea)

Mid-level-ontology.kif 7816-7816
s__subclass(s__County,s__GeopoliticalArea)

Merge.kif 14225-14225
s__instance(s__DependencyOrSpecialSovereigntyArea,s__SetOrClass)

Mid-level-ontology.kif 7758-7758
s__instance(s__IndependentState,s__SetOrClass)

Mid-level-ontology.kif 7750-7750
s__instance(s__Nation,s__SetOrClass)

Merge.kif 14190-14190
s__instance(s__OverseasArea,s__SetOrClass)

Government.kif 476-476
s__subclass(s__ParliamentaryTerritory,s__GeopoliticalArea)

Government.kif 514-514
s__instance(s__PortFacility,s__SetOrClass)

Transportation.kif 885-885
s__instance(s__SelfGoverningTerritory,s__SetOrClass)

Government.kif 520-520

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


s__domain(s__AvailableForMilitaryServiceMaleFn__m,1,s__GeopoliticalArea)

Military.kif 860-860
s__domain(s__BirthsPerThousandFn__m,1,s__GeopoliticalArea)

People.kif 91-91
s__domain(s__CabinetFn__m,1,s__GeopoliticalArea)

Government.kif 1487-1487
s__domain(s__ChildrenBornPerWomanFn__m,1,s__GeopoliticalArea)

People.kif 447-447
s__domain(s__CitizenryFn__m,1,s__GeopoliticalArea)

Mid-level-ontology.kif 7780-7780
s__domain(s__ConstitutionFn__m,1,s__GeopoliticalArea)

Government.kif 668-668
s__domain(s__DeathsPerThousandFn__m,1,s__GeopoliticalArea)

People.kif 122-122
s__domain(s__DeathsPerThousandLiveBirthsFn__m,1,s__GeopoliticalArea)

People.kif 243-243
s__domain(s__ExclusiveFishingZoneFn__m,1,s__GeopoliticalArea)

Geography.kif 1133-1133
s__domain(s__ExtendedFishingZoneFn__m,1,s__GeopoliticalArea)

Geography.kif 1164-1164
s__domain(s__FemaleLifeExpectancyAtBirthFn__m,1,s__GeopoliticalArea)

People.kif 402-402
s__domain(s__FitForMilitaryServiceMaleFn__m,1,s__GeopoliticalArea)

Military.kif 882-882
s__domain(s__GovernmentFn__m,1,s__GeopoliticalArea)

Merge.kif 16925-16925
s__domain(s__JudiciaryFn__m,1,s__GeopoliticalArea)

Government.kif 2098-2098
s__domain(s__LegislatureFn__m,1,s__GeopoliticalArea)

Government.kif 1996-1996
s__domain(s__LifeExpectancyAtBirthFn__m,1,s__GeopoliticalArea)

People.kif 310-310
s__domain(s__MaleLifeExpectancyAtBirthFn__m,1,s__GeopoliticalArea)

People.kif 357-357
s__domain(s__MaleToFemaleRatioFn__m,1,s__GeopoliticalArea)

People.kif 207-207
s__domain(s__MaritimeContiguousZoneFn__m,1,s__GeopoliticalArea)

Geography.kif 1029-1029
s__domain(s__MaritimeExclusiveEconomicZoneFn__m,1,s__GeopoliticalArea)

Geography.kif 1102-1102
s__domain(s__MaritimeShelfAreaFn__m,1,s__GeopoliticalArea)

Geography.kif 1071-1071
s__domain(s__MerchantMarineFn__m,1,s__GeopoliticalArea)

Transportation.kif 912-912
s__domain(s__MigrantsPerThousandFn__m,1,s__GeopoliticalArea)

People.kif 156-156
s__domain(s__OverseasAreaFn__m,1,s__GeopoliticalArea)

Government.kif 490-490
s__domain(s__PerCapitaFn__m,2,s__GeopoliticalArea)

Mid-level-ontology.kif 7795-7795

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [V__A3,V__CURRENCY,V__A2,V__AREA] :
   ((s__codeMapping(s__ISO_4217_A,V__A3,V__CURRENCY)
     &
     s__codeMapping(s__ISO_3166_1_alpha_2,V__A2,V__AREA)
   &
   s__subclass(V__AREA,s__GeopoliticalArea) &
   (V__A2 = s__SubstringFn(V__A3,0,2)))
=>
s__currencyType(V__AREA,V__CURRENCY))
)

Media.kif 2859-2865
( ! [V__AGENT1,V__TYPE,V__AGENT2] :
   ((s__diplomaticOrganizationType(V__AGENT1,V__TYPE,V__AGENT2)
     &
     s__instance(V__AGENT1,s__Nation) &
     s__instance(V__AGENT2,s__GeopoliticalArea))
   =>
   (? [V__ORG] :
     (s__instance(V__ORG,V__TYPE)
     &
     s__located(V__ORG,V__AGENT2)
   &
   s__subOrganization(V__ORG,s__GovernmentFn(V__AGENT1)))))
)

Government.kif 4585-4594
( ! [V__AGENT1,V__TYPE,V__AGENT2] :
   ((s__diplomaticOrganizationType(V__AGENT1,V__TYPE,V__AGENT2)
     &
     s__instance(V__AGENT1,s__Organization) &
     s__instance(V__AGENT2,s__GeopoliticalArea))
   =>
   (? [V__ORG] :
     (s__instance(V__ORG,V__TYPE)
     &
     s__located(V__ORG,V__AGENT2)
   &
   s__subOrganization(V__ORG,V__AGENT1))))
)

Government.kif 4595-4604
( ! [V__AGENT1,V__PERSON,V__POSITION,V__AGENT2] :
   ((s__diplomaticRepresentativeInRole(V__AGENT1,V__PERSON,V__POSITION,V__AGENT2)
     &
     s__instance(V__AGENT1,s__GeopoliticalArea))
   =>
   s__employs(s__GovernmentFn(V__AGENT1)
,V__PERSON))
)

Government.kif 4423-4427
( ! [V__AGENT1,V__PERSON,V__POSITION,V__AGENT2,V__ORG] :
   ((s__diplomaticRepresentativeInRole(V__AGENT1,V__PERSON,V__POSITION,V__AGENT2)
     &
     s__instance(V__AGENT1,s__Nation) &
     s__instance(V__ORG,s__DiplomaticOrganization) &
     s__subOrganization(V__ORG,s__GovernmentFn(V__AGENT1))
&
s__occupiesPosition(V__PERSON,V__POSITION,V__ORG)
&
s__instance(V__AGENT2,s__GeopoliticalArea))
=>
s__agentOperatesInArea(V__ORG,V__AGENT2))
)

Government.kif 4448-4456
( ! [V__AGENT1,V__PERSON,V__POSITION,V__AGENT2] :
   ((s__diplomaticRepresentativeInRole(V__AGENT1,V__PERSON,V__POSITION,V__AGENT2)
     &
     s__instance(V__AGENT1,s__Organization) &
     s__instance(V__AGENT2,s__GeopoliticalArea))
   =>
   s__agentOperatesInArea(V__AGENT1,V__AGENT2))
)

Government.kif 4441-4446
( ! [V__AGENT1,V__PERSON,V__POSITION,V__AGENT2] :
   ((s__diplomaticRepresentativeInRole(V__AGENT1,V__PERSON,V__POSITION,V__AGENT2)
     &
     s__instance(V__AGENT2,s__GeopoliticalArea))
   =>
   s__agentOperatesInArea(V__PERSON,V__AGENT2))
)

Government.kif 4435-4439
( ! [V__BRANCH,V__AREA,V__ORG] :
   ((s__executiveBranch(V__BRANCH,V__AREA)
     &
     s__instance(V__AREA,s__GeopoliticalArea) &
     s__subOrganization(V__ORG,V__BRANCH))
=>
s__subOrganization(V__ORG,s__GovernmentFn(V__AREA)))
)

Government.kif 1273-1278
( ! [V__BRANCH,V__AREA] :
   ((s__executiveBranch(V__BRANCH,V__AREA)
     &
     s__instance(V__AREA,s__GeopoliticalArea))
   =>
   s__instance(V__BRANCH,s__GovernmentOrganization))
)

Government.kif 1255-1259
( ! [V__BRANCH,V__AREA] :
   ((s__executiveBranch(V__BRANCH,V__AREA)
     &
     s__instance(V__AREA,s__GeopoliticalArea))
   =>
   s__subOrganization(V__BRANCH,s__GovernmentFn(V__AREA)))
)

Government.kif 1267-1271
( ! [V__AGENT,V__TYPE] :
   ((s__governmentType(V__AGENT,V__TYPE)
     &
     s__subAttribute(V__TYPE,s__TheocraticGovernment) &
     s__instance(V__AGENT,s__GeopoliticalArea))
   =>
   s__instance(s__GovernmentFn(V__AGENT)
,s__ReligiousOrganization))
)

Government.kif 340-345
( ! [V__PLACE,V__TYPE] :
   ((s__governmentType(V__PLACE,V__TYPE)
     &
     s__instance(V__PLACE,s__GeopoliticalArea) &
     s__subAttribute(V__TYPE,s__ParliamentaryGovernment))
   =>
   (? [V__ORG] :
     (s__instance(V__ORG,s__Parliament) &
       s__subOrganization(V__ORG,s__GovernmentFn(V__PLACE)))))
)

Government.kif 244-252
( ! [V__PLACE] :
   ((s__governmentType(V__PLACE,s__AbsoluteMonarchy) &
       s__instance(V__PLACE,s__GeopoliticalArea))
     =>
     s__leaderPosition(V__PLACE,s__Monarch))
   )

Government.kif 230-234
( ! [V__AREA] :
   ((s__instance(s__ExecutiveBranchFn(V__AREA)
    ,s__Organization) &
     s__instance(V__AREA,s__GeopoliticalArea))
   =>
   s__executiveBranch(s__ExecutiveBranchFn(V__AREA)
,s__GovernmentFn(V__AREA)))
)

Government.kif 1296-1300
( ! [V__AREA] :
   ((s__instance(s__JudiciaryFn(V__AREA)
    ,s__Organization) &
     s__instance(V__AREA,s__GeopoliticalArea))
   =>
   s__judicialBranch(s__JudiciaryFn(V__AREA)
,s__GovernmentFn(V__AREA)))
)

Government.kif 2115-2119
( ! [V__AREA] :
   ((s__instance(s__LegislatureFn(V__AREA)
    ,s__Organization) &
     s__instance(V__AREA,s__GeopoliticalArea))
   =>
   s__legislativeBranch(s__LegislatureFn(V__AREA)
,s__GovernmentFn(V__AREA)))
)

Government.kif 2010-2014
( ! [V__AREA,V__CITIZENRY,V__POPULATION] :
   ((s__instance(V__AREA,s__GeopoliticalArea) &
       (V__CITIZENRY = s__CitizenryFn(V__AREA))
     &
     (V__POPULATION = s__ResidentFn(V__AREA)))
=>
s__greaterThanOrEqualTo(V__POPULATION,V__CITIZENRY))
)

Mid-level-ontology.kif 7786-7791
( ! [V__AREA,V__TYPE] :
   ((s__instance(V__AREA,s__GeopoliticalArea) &
       s__governmentType(V__AREA,V__TYPE))
   =>
   s__attribute(s__GovernmentFn(V__AREA)
,V__TYPE))
)

Government.kif 142-146
( ! [V__AREA] :
   ((s__instance(V__AREA,s__GeopoliticalArea) &
       s__instance(s__ExclusiveFishingZoneFn(V__AREA)
    ,s__ExclusiveFishingZone))
   =>
   s__claimedTerritory(s__ExclusiveFishingZoneFn(V__AREA)
,V__AREA))
)

Geography.kif 1141-1145
( ! [V__AREA] :
   ((s__instance(V__AREA,s__GeopoliticalArea) &
       s__instance(s__ExtendedFishingZoneFn(V__AREA)
    ,s__ExtendedFishingZone))
   =>
   s__claimedTerritory(s__ExtendedFishingZoneFn(V__AREA)
,V__AREA))
)

Geography.kif 1172-1176
( ! [V__AREA] :
   ((s__instance(V__AREA,s__GeopoliticalArea) &
       s__instance(s__GovernmentFn(V__AREA)
    ,s__NationalGovernment))
   =>
   s__instance(V__AREA,s__Nation))
)

Government.kif 121-125
( ! [V__AREA] :
   ((s__instance(V__AREA,s__GeopoliticalArea) &
       s__instance(s__MaritimeContiguousZoneFn(V__AREA)
    ,s__MaritimeContiguousZone))
   =>
   s__claimedTerritory(s__MaritimeContiguousZoneFn(V__AREA)
,V__AREA))
)

Geography.kif 1036-1040
( ! [V__AREA] :
   ((s__instance(V__AREA,s__GeopoliticalArea) &
       s__instance(s__MaritimeExclusiveEconomicZoneFn(V__AREA)
    ,s__MaritimeExclusiveEconomicZone))
   =>
   s__claimedTerritory(s__MaritimeExclusiveEconomicZoneFn(V__AREA)
,V__AREA))
)

Geography.kif 1110-1114
( ! [V__AREA] :
   ((s__instance(V__AREA,s__GeopoliticalArea) &
       s__instance(s__MaritimeShelfAreaFn(V__AREA)
    ,s__MaritimeShelfArea))
   =>
   s__claimedTerritory(s__MaritimeShelfAreaFn(V__AREA)
,V__AREA))
)

Geography.kif 1078-1082
( ! [V__AREA] :
   ((s__instance(V__AREA,s__GeopoliticalArea) &
       s__instance(s__MerchantMarineFn(V__AREA)
    ,s__MerchantMarine))
   =>
   s__possesses(V__AREA,s__MerchantMarineFn(V__AREA)))
)

Transportation.kif 925-929

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 26-47
( ! [V__AGENT] :
   ((s__instance(V__AGENT,s__Agent) &
       s__subclass(s__ElectionFn(V__AGENT)
    ,s__Election))
   =>
   (s__instance(V__AGENT,s__Organization) |
     s__instance(V__AGENT,s__GeopoliticalArea)))
)

Government.kif 1652-1658
No TPTP formula. May not be expressible in strict first order. Economy.kif 2435-2448
( ! [V__R,V__A] :
   ((s__instance(V__R,s__PoliticalRevolution) &
       s__patient(V__R,V__A))
   =>
   s__instance(V__A,s__GeopoliticalArea))
)

Mid-level-ontology.kif 11486-11490
( ! [V__REL,V__CLASS] :
   ((s__instance(V__REL,s__EconomicRelation) &
       s__domain(V__REL,1,V__CLASS))
   =>
   s__subclass(V__CLASS,s__GeopoliticalArea))
)

Mid-level-ontology.kif 14460-14464
( ! [V__WAR,V__AGENT] :
   ((s__instance(V__WAR,s__War) &
       s__agent(V__WAR,V__AGENT))
   =>
   (s__instance(V__AGENT,s__GeopoliticalArea) |
     (s__instance(V__AGENT,s__Organization) &
       (! [V__MEMBER] :
         (s__member(V__MEMBER,V__AGENT)
         =>
         s__instance(V__MEMBER,s__GeopoliticalArea))))))
)

Merge.kif 13271-13282
( ! [V__AGENT] :
   ((s__member(V__AGENT,s__InternationalCourtOfJustice) &
       s__attribute(V__AGENT,s__JudgeAtLaw))
     =>
     (? [V__POLITY] :
       (s__instance(V__POLITY,s__GeopoliticalArea) &
         s__representativeAgentToAgent(V__POLITY,V__AGENT,s__InternationalCourtOfJustice))))
   )

Government.kif 3403-3410
( ! [V__PERSON] :
   (s__attribute(V__PERSON,s__Monarch) =>
     (? [V__PLACE] :
       (s__instance(V__PLACE,s__GeopoliticalArea) &
         s__governmentType(V__PLACE,s__Monarchy) &
         s__chiefOfState(V__PLACE,s__Monarch,V__PERSON))))
)

Government.kif 1323-1329
( ! [V__AGENT,V__ATTRIBUTE] :
   (s__economyType(V__AGENT,V__ATTRIBUTE)
   =>
   (s__instance(V__AGENT,s__GeopoliticalArea) |
     s__instance(V__AGENT,s__Organization)))
)

Economy.kif 91-95
( ! [V__FY,V__PLACE] :
   ((V__FY = s__FiscalYearFn(V__PLACE))
   =>
   (s__instance(V__PLACE,s__GeopoliticalArea) |
     s__instance(V__PLACE,s__Organization)))
)

Economy.kif 3707-3711
( ! [V__FY,V__PLACE,V__YEAR] :
   ((V__FY = s__FiscalYearStartingFn(V__PLACE,V__YEAR))
   =>
   (s__instance(V__PLACE,s__GeopoliticalArea) |
     s__instance(V__PLACE,s__Organization)))
)

Economy.kif 3733-3737
( ! [V__BRANCH,V__AGENT] :
   (s__executiveBranch(V__BRANCH,V__AGENT)
   =>
   (s__instance(V__BRANCH,s__GeopoliticalArea) |
     s__instance(V__BRANCH,s__Organization)))
)

Government.kif 1249-1253
( ! [V__AGENT,V__TYPE] :
   (s__governmentType(V__AGENT,V__TYPE)
   =>
   (s__instance(V__AGENT,s__Organization) |
     s__instance(V__AGENT,s__GeopoliticalArea)))
)

Government.kif 136-140
No TPTP formula. May not be expressible in strict first order. Government.kif 1335-1350
( ! [V__MILITARY] :
   (s__instance(V__MILITARY,s__MilitaryOrganization) =>
     (? [V__AREA] :
       (s__instance(V__AREA,s__GeopoliticalArea) &
         s__militaryOfArea(V__MILITARY,V__AREA))))
)

Military.kif 788-793
( ! [V__TREATY] :
   (s__instance(V__TREATY,s__TreatyDocument) =>
     (? [V__COMM,V__COUNTRY1,V__COUNTRY2] :
       (s__instance(V__COMM,s__Committing) &
         s__patient(V__COMM,V__TREATY)
       &
       s__instance(V__COUNTRY1,s__GeopoliticalArea) &
       s__agent(V__COMM,V__COUNTRY1)
     &
     s__instance(V__COUNTRY2,s__GeopoliticalArea) &
     s__agent(V__COMM,V__COUNTRY2)
   &
   (~ (V__COUNTRY1 = V__COUNTRY2)))))
)

Geography.kif 2885-2895
( ! [V__BRANCH,V__AGENT] :
   (s__judicialBranch(V__BRANCH,V__AGENT)
   =>
   (s__instance(V__BRANCH,s__GeopoliticalArea) |
     s__instance(V__BRANCH,s__Organization)))
)

Government.kif 2062-2066
( ! [V__ORG,V__AGENT] :
   (s__legislativeBranch(V__ORG,V__AGENT)
   =>
   (s__instance(V__AGENT,s__Organization) |
     s__instance(V__AGENT,s__GeopoliticalArea)))
)

Government.kif 1967-1971
( ! [V__AGENT,V__AGE] :
   (s__suffrageAgeMaximum(V__AGENT,V__AGE)
   =>
   (s__instance(V__AGENT,s__Organization) |
     s__instance(V__AGENT,s__GeopoliticalArea)))
)

Government.kif 1008-1012
( ! [V__AGENT,V__AGE] :
   (s__suffrageAgeMinimum(V__AGENT,V__AGE)
   =>
   (s__instance(V__AGENT,s__Organization) |
     s__instance(V__AGENT,s__GeopoliticalArea)))
)

Government.kif 944-948


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