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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GeopoliticalArea

 Sigma KEE - GeopoliticalArea
GeopoliticalArea(AreaGeopolitica)

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 14055-14058
(subclass GeopoliticalArea AutonomousAgent) Merge.kif 14054-14054 AreaGeopolitica è una sottoclasse di AutonomousAgent
(subclass GeopoliticalArea GeographicArea) Merge.kif 14053-14053 AreaGeopolitica è una sottoclasse di AreaGeografica

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


(instance Antarctica GeopoliticalArea) CountriesAndRegions.kif 4240-4240 Antarctica è un' istanza di AreaGeopolitica
(instance ConfederateStatesOfAmerica GeopoliticalArea) Government.kif 4841-4841 ConfederateStatesOfAmerica è un' istanza di AreaGeopolitica
(instance GazaStrip GeopoliticalArea) CountriesAndRegions.kif 4234-4234 GazaStrip è un' istanza di AreaGeopolitica
(instance MiddleEastRegion GeopoliticalArea) Geography.kif 145-145 MiddleEastRegion è un' istanza di AreaGeopolitica
(instance Montenegro GeopoliticalArea) Media.kif 2522-2522 Montenegro è un' istanza di AreaGeopolitica
(instance PalestinianTerritories GeopoliticalArea) Media.kif 2570-2570 PalestinianTerritories è un' istanza di AreaGeopolitica
(instance ParacelIslands GeopoliticalArea) CountriesAndRegions.kif 4235-4235 ParacelIslands è un' istanza di AreaGeopolitica
(instance Scotland GeopoliticalArea) CountriesAndRegions.kif 798-798 Scotland è un' istanza di AreaGeopolitica
(instance Serbia GeopoliticalArea) Media.kif 2494-2494 Serbia è un' istanza di AreaGeopolitica
(instance SpratlyIslands GeopoliticalArea) CountriesAndRegions.kif 4236-4236 SpratlyIslands è un' istanza di AreaGeopolitica
(instance SvalbardAndJanMayenIsland GeopoliticalArea) Media.kif 2584-2584 SvalbardAndJanMayenIsland è un' istanza di AreaGeopolitica
(instance UnionStatesOfAmerica GeopoliticalArea) Government.kif 4845-4845 UnionStatesOfAmerica è un' istanza di AreaGeopolitica
(instance UnitedStatesMinorOutlyingIslands GeopoliticalArea) Media.kif 2608-2608 UnitedStatesMinorOutlyingIslands è un' istanza di AreaGeopolitica
(instance WestBank GeopoliticalArea) CountriesAndRegions.kif 4237-4237 WestBank è un' istanza di AreaGeopolitica
(instance WesternSahara GeopoliticalArea) CountriesAndRegions.kif 4238-4238 WesternSahara è un' istanza di AreaGeopolitica
(subclass City GeopoliticalArea) Merge.kif 14244-14244 Citt� è una sottoclasse di AreaGeopolitica
(subclass CityDistrict GeopoliticalArea) Mid-level-ontology.kif 8077-8077 CityDistrict è una sottoclasse di AreaGeopolitica
(subclass County GeopoliticalArea) Merge.kif 14251-14251 County è una sottoclasse di AreaGeopolitica
(subclass DependencyOrSpecialSovereigntyArea GeopoliticalArea) Mid-level-ontology.kif 8017-8017 DependencyOrSpecialSovereigntyArea è una sottoclasse di AreaGeopolitica
(subclass IndependentState GeopoliticalArea) Mid-level-ontology.kif 8009-8009 IndependentState è una sottoclasse di AreaGeopolitica
(subclass Nation GeopoliticalArea) Merge.kif 14223-14223 Nazione è una sottoclasse di AreaGeopolitica
(subclass OverseasArea GeopoliticalArea) Government.kif 487-487 OverseasArea è una sottoclasse di AreaGeopolitica
(subclass ParliamentaryTerritory GeopoliticalArea) Government.kif 525-525 ParliamentaryTerritory è una sottoclasse di AreaGeopolitica
(subclass PortFacility GeopoliticalArea) Transportation.kif 938-938 PortFacility è una sottoclasse di AreaGeopolitica
(subclass SelfGoverningTerritory GeopoliticalArea) Government.kif 531-531 SelfGoverningTerritory è una sottoclasse di AreaGeopolitica

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 Il numero 1 argomenti di AvailableForMilitaryServiceMaleFn è un istanza di AreaGeopolitica
(domain BirthsPerThousandFn 1 GeopoliticalArea) People.kif 69-69 Il numero 1 argomenti di BirthsPerThousandFn è un istanza di AreaGeopolitica
(domain CabinetFn 1 GeopoliticalArea) Government.kif 1527-1527 Il numero 1 argomenti di CabinetFn è un istanza di AreaGeopolitica
(domain ChildrenBornPerWomanFn 1 GeopoliticalArea) People.kif 441-441 Il numero 1 argomenti di ChildrenBornPerWomanFn è un istanza di AreaGeopolitica
(domain CitizenryFn 1 GeopoliticalArea) Mid-level-ontology.kif 8039-8039 Il numero 1 argomenti di CitizenryFn è un istanza di AreaGeopolitica
(domain ConstitutionFn 1 GeopoliticalArea) Government.kif 674-674 Il numero 1 argomenti di ConstitutionFn è un istanza di AreaGeopolitica
(domain DeathsPerThousandFn 1 GeopoliticalArea) People.kif 102-102 Il numero 1 argomenti di DeathsPerThousandFn è un istanza di AreaGeopolitica
(domain DeathsPerThousandLiveBirthsFn 1 GeopoliticalArea) People.kif 228-228 Il numero 1 argomenti di DeathsPerThousandLiveBirthsFn è un istanza di AreaGeopolitica
(domain ExclusiveFishingZoneFn 1 GeopoliticalArea) Geography.kif 1149-1149 Il numero 1 argomenti di ExclusiveFishingZoneFn è un istanza di AreaGeopolitica
(domain ExtendedFishingZoneFn 1 GeopoliticalArea) Geography.kif 1181-1181 Il numero 1 argomenti di ExtendedFishingZoneFn è un istanza di AreaGeopolitica
(domain FemaleLifeExpectancyAtBirthFn 1 GeopoliticalArea) People.kif 394-394 Il numero 1 argomenti di FemaleLifeExpectancyAtBirthFn è un istanza di AreaGeopolitica
(domain FitForMilitaryServiceMaleFn 1 GeopoliticalArea) Military.kif 887-887 Il numero 1 argomenti di FitForMilitaryServiceMaleFn è un istanza di AreaGeopolitica
(domain GovernmentFn 1 GeopoliticalArea) Merge.kif 16712-16712 Il numero 1 argomenti di GovernmentFn è un istanza di AreaGeopolitica
(domain JudiciaryFn 1 GeopoliticalArea) Government.kif 2138-2138 Il numero 1 argomenti di JudiciaryFn è un istanza di AreaGeopolitica
(domain LegislatureFn 1 GeopoliticalArea) Government.kif 2036-2036 Il numero 1 argomenti di LegislatureFn è un istanza di AreaGeopolitica
(domain LifeExpectancyAtBirthFn 1 GeopoliticalArea) People.kif 297-297 Il numero 1 argomenti di LifeExpectancyAtBirthFn è un istanza di AreaGeopolitica
(domain MaleLifeExpectancyAtBirthFn 1 GeopoliticalArea) People.kif 346-346 Il numero 1 argomenti di MaleLifeExpectancyAtBirthFn è un istanza di AreaGeopolitica
(domain MaleToFemaleRatioFn 1 GeopoliticalArea) People.kif 192-192 Il numero 1 argomenti di MaleToFemaleRatioFn è un istanza di AreaGeopolitica
(domain MaritimeContiguousZoneFn 1 GeopoliticalArea) Geography.kif 1043-1043 Il numero 1 argomenti di MaritimeContiguousZoneFn è un istanza di AreaGeopolitica
(domain MaritimeExclusiveEconomicZoneFn 1 GeopoliticalArea) Geography.kif 1117-1117 Il numero 1 argomenti di MaritimeExclusiveEconomicZoneFn è un istanza di AreaGeopolitica
(domain MaritimeShelfAreaFn 1 GeopoliticalArea) Geography.kif 1085-1085 Il numero 1 argomenti di MaritimeShelfAreaFn è un istanza di AreaGeopolitica
(domain MerchantMarineFn 1 GeopoliticalArea) Transportation.kif 965-965 Il numero 1 argomenti di MerchantMarineFn è un istanza di AreaGeopolitica
(domain MigrantsPerThousandFn 1 GeopoliticalArea) People.kif 138-138 Il numero 1 argomenti di MigrantsPerThousandFn è un istanza di AreaGeopolitica
(domain OverseasAreaFn 1 GeopoliticalArea) Government.kif 501-501 Il numero 1 argomenti di OverseasAreaFn è un istanza di AreaGeopolitica
(domain PerCapitaFn 2 GeopoliticalArea) Mid-level-ontology.kif 8056-8056 Il numero 2 argomenti di PerCapitaFn è un istanza di AreaGeopolitica

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 8045-8052
(=>
    (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 13882-13886
(=>
    (and
        (instance ?REL EconomicRelation)
        (domain ?REL 1 ?CLASS))
    (subclass ?CLASS GeopoliticalArea))		 Mid-level-ontology.kif 16905-16909
(=>
    (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 1841-1858
(=>
    (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 1822-1839
(=>
    (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 13338-13349
(=>
    (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 2728-2741
(=>
    (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 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 3.0 is open source software produced by Articulate Software and its partners