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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GeopoliticalArea
GeopoliticalArea(secteur g�opolitique)

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


(documentation GeopoliticalArea ChineseLanguage "这是任何与某些政治架构有关的 GeographicArea。 这组类别包括：LandArea、City、城市的分区和县等等。注：一个 GeopoliticalArea 的特性在边界受到改变 以后可能仍然保持不变。") chinese_format.kif 1440-1442
(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 14025-14028
(subclass GeopoliticalArea AutonomousAgent) Merge.kif 14024-14024 Secteur g�opolitique est une sous-classe de AutonomousAgent
(subclass GeopoliticalArea GeographicArea) Merge.kif 14023-14023 Secteur g�opolitique est une sous-classe de secteur g�ographique

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


(instance Antarctica GeopoliticalArea) CountriesAndRegions.kif 4240-4240 Antarctica est une instance de secteur g�opolitique
(instance ConfederateStatesOfAmerica GeopoliticalArea) Government.kif 4841-4841 ConfederateStatesOfAmerica est une instance de secteur g�opolitique
(instance GazaStrip GeopoliticalArea) CountriesAndRegions.kif 4234-4234 GazaStrip est une instance de secteur g�opolitique
(instance MiddleEastRegion GeopoliticalArea) Geography.kif 145-145 MiddleEastRegion est une instance de secteur g�opolitique
(instance Montenegro GeopoliticalArea) Media.kif 2522-2522 Montenegro est une instance de secteur g�opolitique
(instance PalestinianTerritories GeopoliticalArea) Media.kif 2570-2570 PalestinianTerritories est une instance de secteur g�opolitique
(instance ParacelIslands GeopoliticalArea) CountriesAndRegions.kif 4235-4235 ParacelIslands est une instance de secteur g�opolitique
(instance Scotland GeopoliticalArea) CountriesAndRegions.kif 798-798 Scotland est une instance de secteur g�opolitique
(instance Serbia GeopoliticalArea) Media.kif 2494-2494 Serbia est une instance de secteur g�opolitique
(instance SpratlyIslands GeopoliticalArea) CountriesAndRegions.kif 4236-4236 SpratlyIslands est une instance de secteur g�opolitique
(instance SvalbardAndJanMayenIsland GeopoliticalArea) Media.kif 2584-2584 SvalbardAndJanMayenIsland est une instance de secteur g�opolitique
(instance UnionStatesOfAmerica GeopoliticalArea) Government.kif 4845-4845 UnionStatesOfAmerica est une instance de secteur g�opolitique
(instance UnitedStatesMinorOutlyingIslands GeopoliticalArea) Media.kif 2608-2608 UnitedStatesMinorOutlyingIslands est une instance de secteur g�opolitique
(instance WestBank GeopoliticalArea) CountriesAndRegions.kif 4237-4237 WestBank est une instance de secteur g�opolitique
(instance WesternSahara GeopoliticalArea) CountriesAndRegions.kif 4238-4238 WesternSahara est une instance de secteur g�opolitique
(subclass City GeopoliticalArea) Merge.kif 14214-14214 Ville est une sous-classe de secteur g�opolitique
(subclass CityDistrict GeopoliticalArea) Mid-level-ontology.kif 8049-8049 CityDistrict est une sous-classe de secteur g�opolitique
(subclass County GeopoliticalArea) Merge.kif 14221-14221 County est une sous-classe de secteur g�opolitique
(subclass DependencyOrSpecialSovereigntyArea GeopoliticalArea) Mid-level-ontology.kif 7989-7989 DependencyOrSpecialSovereigntyArea est une sous-classe de secteur g�opolitique
(subclass IndependentState GeopoliticalArea) Mid-level-ontology.kif 7981-7981 IndependentState est une sous-classe de secteur g�opolitique
(subclass Nation GeopoliticalArea) Merge.kif 14193-14193 Nation est une sous-classe de secteur g�opolitique
(subclass OverseasArea GeopoliticalArea) Government.kif 487-487 OverseasArea est une sous-classe de secteur g�opolitique
(subclass ParliamentaryTerritory GeopoliticalArea) Government.kif 525-525 ParliamentaryTerritory est une sous-classe de secteur g�opolitique
(subclass PortFacility GeopoliticalArea) Transportation.kif 938-938 PortFacility est une sous-classe de secteur g�opolitique
(subclass SelfGoverningTerritory GeopoliticalArea) Government.kif 531-531 SelfGoverningTerritory est une sous-classe de secteur g�opolitique

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 865-865 Le nombre 1 argument de AvailableForMilitaryServiceMaleFn est une instance de secteur g�opolitique
(domain BirthsPerThousandFn 1 GeopoliticalArea) People.kif 95-95 Le nombre 1 argument de BirthsPerThousandFn est une instance de secteur g�opolitique
(domain CabinetFn 1 GeopoliticalArea) Government.kif 1527-1527 Le nombre 1 argument de CabinetFn est une instance de secteur g�opolitique
(domain ChildrenBornPerWomanFn 1 GeopoliticalArea) People.kif 467-467 Le nombre 1 argument de ChildrenBornPerWomanFn est une instance de secteur g�opolitique
(domain CitizenryFn 1 GeopoliticalArea) Mid-level-ontology.kif 8011-8011 Le nombre 1 argument de CitizenryFn est une instance de secteur g�opolitique
(domain ConstitutionFn 1 GeopoliticalArea) Government.kif 674-674 Le nombre 1 argument de ConstitutionFn est une instance de secteur g�opolitique
(domain DeathsPerThousandFn 1 GeopoliticalArea) People.kif 128-128 Le nombre 1 argument de DeathsPerThousandFn est une instance de secteur g�opolitique
(domain DeathsPerThousandLiveBirthsFn 1 GeopoliticalArea) People.kif 254-254 Le nombre 1 argument de DeathsPerThousandLiveBirthsFn est une instance de secteur g�opolitique
(domain ExclusiveFishingZoneFn 1 GeopoliticalArea) Geography.kif 1149-1149 Le nombre 1 argument de ExclusiveFishingZoneFn est une instance de secteur g�opolitique
(domain ExtendedFishingZoneFn 1 GeopoliticalArea) Geography.kif 1181-1181 Le nombre 1 argument de ExtendedFishingZoneFn est une instance de secteur g�opolitique
(domain FemaleLifeExpectancyAtBirthFn 1 GeopoliticalArea) People.kif 420-420 Le nombre 1 argument de FemaleLifeExpectancyAtBirthFn est une instance de secteur g�opolitique
(domain FitForMilitaryServiceMaleFn 1 GeopoliticalArea) Military.kif 887-887 Le nombre 1 argument de FitForMilitaryServiceMaleFn est une instance de secteur g�opolitique
(domain GovernmentFn 1 GeopoliticalArea) Merge.kif 16682-16682 Le nombre 1 argument de GovernmentFn est une instance de secteur g�opolitique
(domain JudiciaryFn 1 GeopoliticalArea) Government.kif 2138-2138 Le nombre 1 argument de JudiciaryFn est une instance de secteur g�opolitique
(domain LegislatureFn 1 GeopoliticalArea) Government.kif 2036-2036 Le nombre 1 argument de LegislatureFn est une instance de secteur g�opolitique
(domain LifeExpectancyAtBirthFn 1 GeopoliticalArea) People.kif 323-323 Le nombre 1 argument de LifeExpectancyAtBirthFn est une instance de secteur g�opolitique
(domain MaleLifeExpectancyAtBirthFn 1 GeopoliticalArea) People.kif 372-372 Le nombre 1 argument de MaleLifeExpectancyAtBirthFn est une instance de secteur g�opolitique
(domain MaleToFemaleRatioFn 1 GeopoliticalArea) People.kif 218-218 Le nombre 1 argument de MaleToFemaleRatioFn est une instance de secteur g�opolitique
(domain MaritimeContiguousZoneFn 1 GeopoliticalArea) Geography.kif 1043-1043 Le nombre 1 argument de MaritimeContiguousZoneFn est une instance de secteur g�opolitique
(domain MaritimeExclusiveEconomicZoneFn 1 GeopoliticalArea) Geography.kif 1117-1117 Le nombre 1 argument de MaritimeExclusiveEconomicZoneFn est une instance de secteur g�opolitique
(domain MaritimeShelfAreaFn 1 GeopoliticalArea) Geography.kif 1085-1085 Le nombre 1 argument de MaritimeShelfAreaFn est une instance de secteur g�opolitique
(domain MerchantMarineFn 1 GeopoliticalArea) Transportation.kif 965-965 Le nombre 1 argument de MerchantMarineFn est une instance de secteur g�opolitique
(domain MigrantsPerThousandFn 1 GeopoliticalArea) People.kif 164-164 Le nombre 1 argument de MigrantsPerThousandFn est une instance de secteur g�opolitique
(domain OverseasAreaFn 1 GeopoliticalArea) Government.kif 501-501 Le nombre 1 argument de OverseasAreaFn est une instance de secteur g�opolitique
(domain PerCapitaFn 2 GeopoliticalArea) Mid-level-ontology.kif 8028-8028 Le nombre 2 argument de PerCapitaFn est une instance de secteur g�opolitique

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)
        (instance ?AREA GeopoliticalArea)
        (equal ?A2
            (SubstringFn ?A3 0 2)))
    (currencyType ?AREA ?CURRENCY))		 Media.kif 2889-2895
(=>
    (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 4648-4657
(=>
    (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 4658-4667
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 GeopoliticalArea))
    (employs
        (GovernmentFn ?AGENT1) ?PERSON))		 Government.kif 4486-4490
(=>
    (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 4511-4519
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization)
        (instance ?AGENT2 GeopoliticalArea))
    (agentOperatesInArea ?AGENT1 ?AGENT2))		 Government.kif 4504-4509
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT2 GeopoliticalArea))
    (agentOperatesInArea ?PERSON ?AGENT2))		 Government.kif 4498-4502
(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea)
        (subOrganization ?ORG ?BRANCH))
    (subOrganization ?ORG
        (GovernmentFn ?AREA)))		 Government.kif 1313-1318
(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?BRANCH GovernmentOrganization))		 Government.kif 1295-1299
(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (subOrganization ?BRANCH
        (GovernmentFn ?AREA)))		 Government.kif 1307-1311
(=>
    (and
        (governmentType ?AGENT ?TYPE)
        (subAttribute ?TYPE TheocraticGovernment)
        (instance ?AGENT GeopoliticalArea))
    (instance
        (GovernmentFn ?AGENT) ReligiousOrganization))		 Government.kif 352-357
(=>
    (and
        (governmentType ?PLACE ?TYPE)
        (instance ?PLACE GeopoliticalArea)
        (subAttribute ?TYPE ParliamentaryGovernment))
    (exists (?ORG)
        (and
            (instance ?ORG Parliament)
            (subOrganization ?ORG
                (GovernmentFn ?PLACE)))))		 Government.kif 256-264
(=>
    (and
        (governmentType ?PLACE AbsoluteMonarchy)
        (instance ?PLACE GeopoliticalArea))
    (leaderPosition ?PLACE Monarch))		 Government.kif 242-246
(=>
    (and
        (instance
            (ExecutiveBranchFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (executiveBranch
        (ExecutiveBranchFn ?AREA)
        (GovernmentFn ?AREA)))		 Government.kif 1336-1340
(=>
    (and
        (instance
            (JudiciaryFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (judicialBranch
        (JudiciaryFn ?AREA)
        (GovernmentFn ?AREA)))		 Government.kif 2155-2159
(=>
    (and
        (instance
            (LegislatureFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (legislativeBranch
        (LegislatureFn ?AREA)
        (GovernmentFn ?AREA)))		 Government.kif 2050-2054
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (equal ?CITIZENRY
            (CardinalityFn
                (CitizenryFn ?AREA)))
        (equal ?POPULATION
            (CardinalityFn
                (ResidentFn ?AREA))))
    (greaterThanOrEqualTo ?POPULATION ?CITIZENRY))		 Mid-level-ontology.kif 8017-8024
(=>
    (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 1157-1161
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (ExtendedFishingZoneFn ?AREA) ExtendedFishingZone))
    (claimedTerritory
        (ExtendedFishingZoneFn ?AREA) ?AREA))		 Geography.kif 1189-1193
(=>
    (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 1050-1054
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MaritimeExclusiveEconomicZoneFn ?AREA) MaritimeExclusiveEconomicZone))
    (claimedTerritory
        (MaritimeExclusiveEconomicZoneFn ?AREA) ?AREA))		 Geography.kif 1125-1129
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MaritimeShelfAreaFn ?AREA) MaritimeShelfArea))
    (claimedTerritory
        (MaritimeShelfAreaFn ?AREA) ?AREA))		 Geography.kif 1092-1096
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MerchantMarineFn ?AREA) MerchantMarine))
    (possesses ?AREA
        (MerchantMarineFn ?AREA)))		 Transportation.kif 978-982

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (attribute ?X DutyFree)
        (instance ?X Store))
    (exists (?AREA ?OBJ ?O ?SELL)
        (and
            (instance ?AREA GeopoliticalArea)
            (located ?X ?AREA)
            (subclass ?O Object)
            (importCommodityType ?AREA ?O)
            (instance ?OBJ ?O)
            (instance ?SELL Selling)
            (patient ?SELL ?OBJ)
            (located ?SELL ?X))))		 Hotel.kif 1478-1491
(=>
    (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 AutonomousAgent)
        (subclass
            (ElectionFn ?AGENT) Election))
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))		 Government.kif 1692-1698
(=>
    (and
        (instance ?EXPORT Exporting)
        (patient ?EXPORT ?ITEM)
        (instance ?AREA1 GeopoliticalArea)
        (holdsDuring
            (BeginFn
                (WhenFn ?EXPORT))
            (located ?ITEM ?AREA1)))
    (exists (?AREA2)
        (and
            (instance ?AREA2 GeopoliticalArea)
            (not
                (geopoliticalSubdivision ?AREA1 ?AREA2))
            (not
                (geopoliticalSubdivision ?AREA2 ?AREA1))
            (holdsDuring
                (EndFn
                    (WhenFn ?EXPORT))
                (located ?ITEM ?AREA2)))))		 Economy.kif 2432-2445
(=>
    (and
        (instance ?R PoliticalRevolution)
        (patient ?R ?A))
    (instance ?A GeopoliticalArea))		 Mid-level-ontology.kif 13854-13858
(=>
    (and
        (instance ?REL EconomicRelation)
        (domain ?REL 1 ?CLASS))
    (subclass ?CLASS GeopoliticalArea))		 Mid-level-ontology.kif 16877-16881
(=>
    (and
        (instance ?TRANS Buying)
        (attribute ?TRANS CBT)
        (patient ?TRANS ?OBJ)
        (instance ?OBJ Object))
    (exists (?SELLER ?BUYER ?BUYER_LOCATION ?SELLER_LOCATION)
        (and
            (instance ?BUYER AutonomousAgent)
            (instance ?SELLER AutonomousAgent)
            (agent ?TRANS ?BUYER)
            (origin ?TRANS ?SELLER)
            (instance ?BUYER_LOCATION GeopoliticalArea)
            (instance ?SELLER_LOCATION GeopoliticalArea)
            (located ?SELLER ?SELLER_LOCATION)
            (located ?BUYER ?BUYER_LOCATION)
            (not
                (equal ?BUYER_LOCATION ?SELLER_LOCATION)))))		 UXExperimentalTerms.kif 1849-1866
(=>
    (and
        (instance ?TRANS Selling)
        (attribute ?TRANS CBT)
        (patient ?TRANS ?OBJ)
        (instance ?OBJ Object))
    (exists (?SELLER ?BUYER ?BUYER_LOCATION ?SELLER_LOCATION)
        (and
            (instance ?BUYER AutonomousAgent)
            (instance ?SELLER AutonomousAgent)
            (destination ?TRANS ?BUYER)
            (agent ?TRANS ?SELLER)
            (instance ?BUYER_LOCATION GeopoliticalArea)
            (instance ?SELLER_LOCATION GeopoliticalArea)
            (located ?SELLER ?SELLER_LOCATION)
            (located ?BUYER ?BUYER_LOCATION)
            (not
                (equal ?BUYER_LOCATION ?SELLER_LOCATION)))))		 UXExperimentalTerms.kif 1830-1847
(=>
    (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 13308-13319
(=>
    (and
        (member ?AGENT InternationalCourtOfJustice)
        (attribute ?AGENT JudgeAtLaw))
    (exists (?POLITY)
        (and
            (instance ?POLITY GeopoliticalArea)
            (representativeAgentToAgent ?POLITY ?AGENT InternationalCourtOfJustice))))		 Government.kif 3466-3473
(=>
    (attribute ?PERSON Monarch)
    (exists (?PLACE)
        (and
            (instance ?PLACE GeopoliticalArea)
            (governmentType ?PLACE Monarchy)
            (chiefOfState ?PLACE Monarch ?PERSON))))		 Government.kif 1363-1369
(=>
    (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 3704-3708
(=>
    (equal ?FY
        (FiscalYearStartingFn ?PLACE ?YEAR))
    (or
        (instance ?PLACE GeopoliticalArea)
        (instance ?PLACE Organization)))		 Economy.kif 3732-3736
(=>
    (executiveBranch ?BRANCH ?AGENT)
    (or
        (instance ?BRANCH GeopoliticalArea)
        (instance ?BRANCH Organization)))		 Government.kif 1289-1293
(=>
    (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 1375-1390
(=>
    (instance ?GXT GlobalCrossFunctionalTeam)
    (exists (?MEMBER1 ?MEMBER1_LOC ?MEMBER2 ?MEMBER2_LOC)
        (and
            (instance ?MEMBER1 Human)
            (instance ?MEMBER2 Human)
            (instance ?MEMBER1_LOC GeopoliticalArea)
            (instance ?MEMBER2_LOC GeopoliticalArea)
            (member ?MEMBER1 ?GXT)
            (member ?MEMBER2 ?GXT)
            (located ?MEMBER1 ?MEMBER1_LOC)
            (located ?MEMBER2 ?MEMBER2_LOC)
            (not
                (equal ?MEMBER1_LOC ?MEMBER2_LOC)))))		 UXExperimentalTerms.kif 2736-2749
(=>
    (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 3039-3049
(=>
    (judicialBranch ?BRANCH ?AGENT)
    (or
        (instance ?BRANCH GeopoliticalArea)
        (instance ?BRANCH Organization)))		 Government.kif 2102-2106
(=>
    (legislativeBranch ?ORG ?AGENT)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))		 Government.kif 2007-2011
(=>
    (suffrageAgeMaximum ?AGENT ?AGE)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))		 Government.kif 1023-1027
(=>
    (suffrageAgeMinimum ?AGENT ?AGE)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))		 Government.kif 951-955


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 3.0 is open source software produced by Articulate Software and its partners