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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GeopoliticalArea
GeopoliticalArea(geopolitical area)Anguilla, Anguillan, 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, bailiwick, barony, bishopric...

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


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

 chinese_format.kif 1440-1442
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 13007-13010
s__instance(s__GeopoliticalArea,s__SetOrClass)

s__instance(s__Agent,s__SetOrClass)

s__subclass(s__GeopoliticalArea,s__Agent)

 Merge.kif 13006-13006 Geopolitical area is a subclass of agent
s__instance(s__GeopoliticalArea,s__SetOrClass)

s__instance(s__GeographicArea,s__SetOrClass)

s__subclass(s__GeopoliticalArea,s__GeographicArea)

 Merge.kif 13005-13005 Geopolitical area is a subclass of geographic area

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


s__instance(s__GeopoliticalArea,s__SetOrClass)

s__instance(s__Antarctica,s__GeopoliticalArea)

 CountriesAndRegions.kif 4242-4242 Antarctica is an instance of geopolitical area
s__instance(s__GeopoliticalArea,s__SetOrClass)

s__instance(s__ConfederateStatesOfAmerica,s__GeopoliticalArea)

 Government.kif 4772-4772 Confederate states of america is an instance of geopolitical area
s__instance(s__GeopoliticalArea,s__SetOrClass)

s__instance(s__GazaStrip,s__GeopoliticalArea)

 CountriesAndRegions.kif 4236-4236 Gaza strip is an instance of geopolitical area
s__instance(s__GeopoliticalArea,s__SetOrClass)

s__instance(s__MiddleEastRegion,s__GeopoliticalArea)

 Geography.kif 145-145 Middle east region is an instance of geopolitical area
s__instance(s__GeopoliticalArea,s__SetOrClass)

s__instance(s__Montenegro,s__GeopoliticalArea)

 Media.kif 2504-2504 Montenegro is an instance of geopolitical area
s__instance(s__GeopoliticalArea,s__SetOrClass)

s__instance(s__PalestinianTerritories,s__GeopoliticalArea)

 Media.kif 2540-2540 PalestinianTerritories is an instance of geopolitical area
s__instance(s__GeopoliticalArea,s__SetOrClass)

s__instance(s__ParacelIslands,s__GeopoliticalArea)

 CountriesAndRegions.kif 4237-4237 Paracel islands is an instance of geopolitical area
s__instance(s__GeopoliticalArea,s__SetOrClass)

s__instance(s__Scotland,s__GeopoliticalArea)

 CountriesAndRegions.kif 798-798 Scotland is an instance of geopolitical area
s__instance(s__GeopoliticalArea,s__SetOrClass)

s__instance(s__Serbia,s__GeopoliticalArea)

 Media.kif 2489-2489 Serbia is an instance of geopolitical area
s__instance(s__GeopoliticalArea,s__SetOrClass)

s__instance(s__SpratlyIslands,s__GeopoliticalArea)

 CountriesAndRegions.kif 4238-4238 Spratly islands is an instance of geopolitical area
s__instance(s__GeopoliticalArea,s__SetOrClass)

s__instance(s__SvalbardAndJanMayenIsland,s__GeopoliticalArea)

 Media.kif 2554-2554 SvalbardAndJanMayenIsland is an instance of geopolitical area
s__instance(s__GeopoliticalArea,s__SetOrClass)

s__instance(s__UnionStatesOfAmerica,s__GeopoliticalArea)

 Government.kif 4776-4776 Union states of america is an instance of geopolitical area
s__instance(s__GeopoliticalArea,s__SetOrClass)

s__instance(s__UnitedStatesMinorOutlyingIslands,s__GeopoliticalArea)

 Media.kif 2578-2578 UnitedStatesMinorOutlyingIslands is an instance of geopolitical area
s__instance(s__GeopoliticalArea,s__SetOrClass)

s__instance(s__WestBank,s__GeopoliticalArea)

 CountriesAndRegions.kif 4239-4239 West bank is an instance of geopolitical area
s__instance(s__GeopoliticalArea,s__SetOrClass)

s__instance(s__WesternSahara,s__GeopoliticalArea)

 CountriesAndRegions.kif 4240-4240 Western sahara is an instance of geopolitical area
s__instance(s__GeopoliticalArea,s__SetOrClass)

s__instance(s__City,s__SetOrClass)

s__subclass(s__City,s__GeopoliticalArea)

 Merge.kif 13196-13196 City is a subclass of geopolitical area
s__instance(s__GeopoliticalArea,s__SetOrClass)

s__instance(s__CityDistrict,s__SetOrClass)

s__subclass(s__CityDistrict,s__GeopoliticalArea)

 Mid-level-ontology.kif 7818-7818 City district is a subclass of geopolitical area
s__instance(s__GeopoliticalArea,s__SetOrClass)

s__instance(s__County,s__SetOrClass)

s__subclass(s__County,s__GeopoliticalArea)

 Merge.kif 13203-13203 County is a subclass of geopolitical area
s__instance(s__GeopoliticalArea,s__SetOrClass)

s__instance(s__DependencyOrSpecialSovereigntyArea,s__SetOrClass)

s__subclass(s__DependencyOrSpecialSovereigntyArea,s__GeopoliticalArea)

 Mid-level-ontology.kif 7760-7760 Dependency or special sovereignty area is a subclass of geopolitical area
s__instance(s__GeopoliticalArea,s__SetOrClass)

s__subclass(s__IndependentState,s__GeopoliticalArea)

s__instance(s__IndependentState,s__SetOrClass)

 Mid-level-ontology.kif 7752-7752 Independent state is a subclass of geopolitical area
s__instance(s__GeopoliticalArea,s__SetOrClass)

s__subclass(s__Nation,s__GeopoliticalArea)

s__instance(s__Nation,s__SetOrClass)

 Merge.kif 13175-13175 Nation is a subclass of geopolitical area
s__instance(s__GeopoliticalArea,s__SetOrClass)

s__subclass(s__OverseasArea,s__GeopoliticalArea)

s__instance(s__OverseasArea,s__SetOrClass)

 Government.kif 476-476 Overseas area is a subclass of geopolitical area
s__instance(s__GeopoliticalArea,s__SetOrClass)

s__subclass(s__ParliamentaryTerritory,s__GeopoliticalArea)

s__instance(s__ParliamentaryTerritory,s__SetOrClass)

 Government.kif 514-514 Parliamentary territory is a subclass of geopolitical area
s__instance(s__GeopoliticalArea,s__SetOrClass)

s__subclass(s__PortFacility,s__GeopoliticalArea)

s__instance(s__PortFacility,s__SetOrClass)

 Transportation.kif 927-927 Port facility is a subclass of geopolitical area
s__instance(s__GeopoliticalArea,s__SetOrClass)

s__instance(s__SelfGoverningTerritory,s__SetOrClass)

s__subclass(s__SelfGoverningTerritory,s__GeopoliticalArea)

 Government.kif 520-520 Self governing territory is a subclass of geopolitical area

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,n__1,s__GeopoliticalArea)

 Military.kif 860-860 The number 1 argument of available for military service male is an instance of geopolitical area
s__domain(s__BirthsPerThousandFn__m,n__1,s__GeopoliticalArea)

 People.kif 91-91 The number 1 argument of births per thousand is an instance of geopolitical area
s__domain(s__CabinetFn__m,n__1,s__GeopoliticalArea)

 Government.kif 1481-1481 The number 1 argument of cabinet is an instance of geopolitical area
s__domain(s__ChildrenBornPerWomanFn__m,n__1,s__GeopoliticalArea)

 People.kif 447-447 The number 1 argument of children born per woman is an instance of geopolitical area
s__domain(s__CitizenryFn__m,n__1,s__GeopoliticalArea)

 Mid-level-ontology.kif 7782-7782 The number 1 argument of citizenry is an instance of geopolitical area
s__domain(s__ConstitutionFn__m,n__1,s__GeopoliticalArea)

 Government.kif 661-661 The number 1 argument of constitution is an instance of geopolitical area
s__domain(s__DeathsPerThousandFn__m,n__1,s__GeopoliticalArea)

 People.kif 122-122 The number 1 argument of deaths per thousand is an instance of geopolitical area
s__domain(s__DeathsPerThousandLiveBirthsFn__m,n__1,s__GeopoliticalArea)

 People.kif 243-243 The number 1 argument of deaths per thousand live births is an instance of geopolitical area
s__domain(s__ExclusiveFishingZoneFn__m,n__1,s__GeopoliticalArea)

 Geography.kif 1145-1145 The number 1 argument of exclusive fishing zone is an instance of geopolitical area
s__domain(s__ExtendedFishingZoneFn__m,n__1,s__GeopoliticalArea)

 Geography.kif 1176-1176 The number 1 argument of extended fishing zone is an instance of geopolitical area
s__domain(s__FemaleLifeExpectancyAtBirthFn__m,n__1,s__GeopoliticalArea)

 People.kif 402-402 The number 1 argument of female life expectancy at birth is an instance of geopolitical area
s__domain(s__FitForMilitaryServiceMaleFn__m,n__1,s__GeopoliticalArea)

 Military.kif 882-882 The number 1 argument of fit for military service male is an instance of geopolitical area
s__domain(s__GovernmentFn__m,n__1,s__GeopoliticalArea)

 Merge.kif 15506-15506 The number 1 argument of government is an instance of geopolitical area
s__domain(s__JudiciaryFn__m,n__1,s__GeopoliticalArea)

 Government.kif 2092-2092 The number 1 argument of judiciary is an instance of geopolitical area
s__domain(s__LegislatureFn__m,n__1,s__GeopoliticalArea)

 Government.kif 1990-1990 The number 1 argument of legislature is an instance of geopolitical area
s__domain(s__LifeExpectancyAtBirthFn__m,n__1,s__GeopoliticalArea)

 People.kif 310-310 The number 1 argument of life expectancy at birth is an instance of geopolitical area
s__domain(s__MaleLifeExpectancyAtBirthFn__m,n__1,s__GeopoliticalArea)

 People.kif 357-357 The number 1 argument of male life expectancy at birth is an instance of geopolitical area
s__domain(s__MaleToFemaleRatioFn__m,n__1,s__GeopoliticalArea)

 People.kif 207-207 The number 1 argument of male to female ratio is an instance of geopolitical area
s__domain(s__MaritimeContiguousZoneFn__m,n__1,s__GeopoliticalArea)

 Geography.kif 1042-1042 The number 1 argument of maritime contiguous zone is an instance of geopolitical area
s__domain(s__MaritimeExclusiveEconomicZoneFn__m,n__1,s__GeopoliticalArea)

 Geography.kif 1114-1114 The number 1 argument of maritime exclusive economic zone is an instance of geopolitical area
s__domain(s__MaritimeShelfAreaFn__m,n__1,s__GeopoliticalArea)

 Geography.kif 1083-1083 The number 1 argument of maritime shelf area is an instance of geopolitical area
s__domain(s__MerchantMarineFn__m,n__1,s__GeopoliticalArea)

 Transportation.kif 954-954 The number 1 argument of merchant marine is an instance of geopolitical area
s__domain(s__MigrantsPerThousandFn__m,n__1,s__GeopoliticalArea)

 People.kif 156-156 The number 1 argument of migrants per thousand is an instance of geopolitical area
s__domain(s__OverseasAreaFn__m,n__1,s__GeopoliticalArea)

 Government.kif 490-490 The number 1 argument of overseas area is an instance of geopolitical area
s__domain(s__PerCapitaFn__m,n__2,s__GeopoliticalArea)

 Mid-level-ontology.kif 7797-7797 The number 2 argument of PerCapitaFn is an instance of geopolitical area

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [V__A2,V__A3,V__CURRENCY,V__AREA] :
   ((s__instance(V__A2,s__SymbolicString) &
       s__instance(V__A3,s__SymbolicString) &
       s__instance(V__CURRENCY,s__UnitOfCurrency) &
       s__instance(V__AREA,s__GeopoliticalArea) &
       s__instance(V__AREA,s__SetOrClass))
     =>
     (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,n__0,n__2)))
=>
s__currencyType(V__AREA,V__CURRENCY)
)
)

 Media.kif 2859-2865
( ! [V__AGENT2,V__TYPE,V__AGENT1] :
   ((s__instance(V__TYPE,s__SetOrClass) &
       s__subclass(V__TYPE,s__Organization))
     =>
     (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,s__Organization) &
         (s__instance(V__ORG,V__TYPE)
         &
         s__located(V__ORG,V__AGENT2)
       &
       s__subOrganization(V__ORG,s__GovernmentFn(V__AGENT1))))))
)
)

 Government.kif 4579-4588
( ! [V__AGENT2,V__TYPE,V__AGENT1] :
   ((s__instance(V__TYPE,s__SetOrClass) &
       s__subclass(V__TYPE,s__Organization))
     =>
     (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,s__Organization) &
         (s__instance(V__ORG,V__TYPE)
         &
         s__located(V__ORG,V__AGENT2)
       &
       s__subOrganization(V__ORG,V__AGENT1)))))
)
)

 Government.kif 4589-4598
( ! [V__AGENT2,V__POSITION,V__AGENT1,V__PERSON] :
   ((s__instance(V__AGENT2,s__Agent) &
       s__instance(V__POSITION,s__Position) &
       s__instance(V__PERSON,s__Human))
     =>
     (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 4417-4421
( ! [V__AGENT2,V__POSITION,V__AGENT1,V__ORG,V__PERSON] :
   ((s__instance(V__POSITION,s__Position) &
       s__instance(V__PERSON,s__Human))
     =>
     (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 4442-4450
( ! [V__AGENT2,V__POSITION,V__AGENT1,V__PERSON] :
   ((s__instance(V__POSITION,s__Position) &
       s__instance(V__PERSON,s__Human))
     =>
     (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 4435-4440
( ! [V__AGENT2,V__AGENT1,V__POSITION,V__PERSON] :
   ((s__instance(V__AGENT1,s__Agent) &
       s__instance(V__POSITION,s__Position) &
       s__instance(V__PERSON,s__Human))
     =>
     (s__diplomaticRepresentativeInRole(V__AGENT1,V__PERSON,V__POSITION,V__AGENT2)
     &
     s__instance(V__AGENT2,s__GeopoliticalArea))
   =>
   s__agentOperatesInArea(V__PERSON,V__AGENT2)
)
)

 Government.kif 4429-4433
( ! [V__ORG,V__AREA,V__BRANCH] :
   ((s__instance(V__ORG,s__Organization) &
       s__instance(V__BRANCH,s__Organization))
     =>
     (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 1267-1272
( ! [V__AREA,V__BRANCH] :
   (s__instance(V__BRANCH,s__Organization) =>
     (s__executiveBranch(V__BRANCH,V__AREA)
     &
     s__instance(V__AREA,s__GeopoliticalArea))
   =>
   s__instance(V__BRANCH,s__GovernmentOrganization) )
)

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

 Government.kif 1261-1265
( ! [V__AGENT,V__TYPE] :
   (s__instance(V__TYPE,s__FormOfGovernment) =>
     (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__instance(V__TYPE,s__FormOfGovernment) =>
     (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 1290-1294
( ! [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 2109-2113
( ! [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 2004-2008
( ! [V__CITIZENRY,V__POPULATION,V__AREA] :
   ((s__instance(V__CITIZENRY,s__GroupOfPeople) &
       s__instance(V__CITIZENRY,s__Quantity) &
       s__instance(V__POPULATION,s__GroupOfPeople) &
       s__instance(V__POPULATION,s__Quantity))
     =>
     (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 7788-7793
( ! [V__TYPE,V__AREA] :
   (s__instance(V__TYPE,s__FormOfGovernment) =>
     (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 1153-1157
( ! [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 1184-1188
( ! [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 1049-1053
( ! [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 1122-1126
( ! [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 1090-1094
( ! [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 967-971

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 1646-1652
No TPTP formula. May not be expressible in strict first order. Economy.kif 2435-2448
( ! [V__A,V__R] :
   ((s__instance(V__R,s__PoliticalRevolution) &
       s__patient(V__R,V__A))
   =>
   s__instance(V__A,s__GeopoliticalArea) )
)

 Mid-level-ontology.kif 11492-11496
( ! [V__REL,V__CLASS] :
   (s__instance(V__CLASS,s__SetOrClass) =>
     (s__instance(V__REL,s__EconomicRelation) &
       s__domain(V__REL,n__1,V__CLASS))
   =>
   s__subclass(V__CLASS,s__GeopoliticalArea) )
)

 Mid-level-ontology.kif 14461-14465
( ! [V__OBJ,V__TRANS] :
   ((s__instance(V__TRANS,s__Buying) &
       s__attribute(V__TRANS,s__CBT) &
       s__patient(V__TRANS,V__OBJ)
     &
     s__instance(V__OBJ,s__Object))
   =>
   ( ? [V__SELLER, V__BUYER, V__BUYER_LOCATION, V__SELLER_LOCATION] :
     ((s__instance(V__BUYER,s__Agent) &
         s__instance(V__SELLER,s__Agent) &
         s__agent(V__TRANS,V__BUYER)
       &
       s__origin(V__TRANS,V__SELLER)
     &
     s__instance(V__BUYER_LOCATION,s__GeopoliticalArea) &
     s__instance(V__SELLER_LOCATION,s__GeopoliticalArea) &
     s__located(V__SELLER,V__SELLER_LOCATION)
   &
   s__located(V__BUYER,V__BUYER_LOCATION)
&
~((V__BUYER_LOCATION = V__SELLER_LOCATION)))))
)
)

 UXExperimentalTerms.kif 2045-2062
( ! [V__OBJ,V__TRANS] :
   ((s__instance(V__TRANS,s__Selling) &
       s__attribute(V__TRANS,s__CBT) &
       s__patient(V__TRANS,V__OBJ)
     &
     s__instance(V__OBJ,s__Object))
   =>
   ( ? [V__SELLER, V__BUYER, V__BUYER_LOCATION, V__SELLER_LOCATION] :
     ((s__instance(V__BUYER,s__Agent) &
         s__instance(V__SELLER,s__Agent) &
         s__destination(V__TRANS,V__BUYER)
       &
       s__agent(V__TRANS,V__SELLER)
     &
     s__instance(V__BUYER_LOCATION,s__GeopoliticalArea) &
     s__instance(V__SELLER_LOCATION,s__GeopoliticalArea) &
     s__located(V__SELLER,V__SELLER_LOCATION)
   &
   s__located(V__BUYER,V__BUYER_LOCATION)
&
~((V__BUYER_LOCATION = V__SELLER_LOCATION)))))
)
)

 UXExperimentalTerms.kif 2026-2043
( ! [V__AGENT,V__WAR] :
   ((s__instance(V__AGENT,s__Agent) &
       s__instance(V__AGENT,s__Collection))
     =>
     (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 12361-12372
( ! [V__AGENT] :
   (s__instance(V__AGENT,s__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 3397-3404
( ! [V__PERSON] :
   (s__instance(V__PERSON,s__Human) =>
     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 1317-1323
( ! [V__AGENT,V__ATTRIBUTE] :
   ((s__instance(V__AGENT,s__Agent) &
       s__instance(V__ATTRIBUTE,s__EconomicAttribute))
     =>
     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] :
   ((s__subclass(V__FY,s__TimeInterval) &
       s__instance(V__PLACE,s__Agent))
     =>
     (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] :
   ((s__instance(V__FY,s__TimeInterval) &
       s__instance(V__PLACE,s__Agent) &
       s__subclass(V__YEAR,s__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__AGENT,V__BRANCH] :
   ((s__instance(V__AGENT,s__Agent) &
       s__instance(V__BRANCH,s__Organization))
     =>
     s__executiveBranch(V__BRANCH,V__AGENT)
   =>
   (s__instance(V__BRANCH,s__GeopoliticalArea) |
     s__instance(V__BRANCH,s__Organization))
   )
)

 Government.kif 1243-1247
( ! [V__AGENT,V__TYPE] :
   ((s__instance(V__AGENT,s__Agent) &
       s__instance(V__TYPE,s__FormOfGovernment))
     =>
     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 1329-1344
( ! [V__GXT] :
   (s__instance(V__GXT,s__GlobalCrossFunctionalTeam) =>
     ( ? [V__MEMBER1, V__MEMBER1_LOC, V__MEMBER2, V__MEMBER2_LOC] :
       ((s__instance(V__MEMBER1,s__Human) &
           s__instance(V__MEMBER2,s__Human) &
           s__instance(V__MEMBER1_LOC,s__GeopoliticalArea) &
           s__instance(V__MEMBER2_LOC,s__GeopoliticalArea) &
           s__member(V__MEMBER1,V__GXT)
         &
         s__member(V__MEMBER2,V__GXT)
       &
       s__located(V__MEMBER1,V__MEMBER1_LOC)
     &
     s__located(V__MEMBER2,V__MEMBER2_LOC)
   &
   ~((V__MEMBER1_LOC = V__MEMBER2_LOC)))))
)
)

 UXExperimentalTerms.kif 2933-2946
( ! [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 2898-2908
( ! [V__AGENT,V__BRANCH] :
   ((s__instance(V__AGENT,s__Agent) &
       s__instance(V__BRANCH,s__Organization))
     =>
     s__judicialBranch(V__BRANCH,V__AGENT)
   =>
   (s__instance(V__BRANCH,s__GeopoliticalArea) |
     s__instance(V__BRANCH,s__Organization))
   )
)

 Government.kif 2056-2060
( ! [V__AGENT,V__ORG] :
   ((s__instance(V__AGENT,s__Agent) &
       s__instance(V__ORG,s__Organization))
     =>
     s__legislativeBranch(V__ORG,V__AGENT)
   =>
   (s__instance(V__AGENT,s__Organization) |
     s__instance(V__AGENT,s__GeopoliticalArea))
   )
)

 Government.kif 1961-1965
( ! [V__AGENT,V__AGE] :
   ((s__instance(V__AGENT,s__Agent) &
       s__instance(V__AGE,s__TimeDuration))
     =>
     s__suffrageAgeMaximum(V__AGENT,V__AGE)
   =>
   (s__instance(V__AGENT,s__Organization) |
     s__instance(V__AGENT,s__GeopoliticalArea))
   )
)

 Government.kif 1001-1005
( ! [V__AGENT,V__AGE] :
   ((s__instance(V__AGENT,s__Agent) &
       s__instance(V__AGE,s__TimeDuration))
     =>
     s__suffrageAgeMinimum(V__AGENT,V__AGE)
   =>
   (s__instance(V__AGENT,s__Organization) |
     s__instance(V__AGENT,s__GeopoliticalArea))
   )
)

 Government.kif 937-941


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