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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GeopoliticalArea
GeopoliticalArea

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


(documentation GeopoliticalArea ChineseLanguage "这是任何与某些政治架构有关的 GeographicArea。 这组类别包括:LandAreaCity、城市的分区和县等等。注:一个 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 14101-14104
(subclass GeopoliticalArea AutonomousAgent) Merge.kif 14100-14100 GeopoliticalArea ist eine teilkategorie von AutonomousAgent
(subclass GeopoliticalArea GeographicArea) Merge.kif 14099-14099 GeopoliticalArea ist eine teilkategorie von GeographicArea

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


(instance Antarctica GeopoliticalArea) CountriesAndRegions.kif 4240-4240 Antarctica ist ein fall von GeopoliticalArea %n{nicht}
(instance ConfederateStatesOfAmerica GeopoliticalArea) Government.kif 4805-4805 ConfederateStatesOfAmerica ist ein fall von GeopoliticalArea %n{nicht}
(instance GazaStrip GeopoliticalArea) CountriesAndRegions.kif 4234-4234 GazaStrip ist ein fall von GeopoliticalArea %n{nicht}
(instance MiddleEastRegion GeopoliticalArea) Geography.kif 145-145 MiddleEastRegion ist ein fall von GeopoliticalArea %n{nicht}
(instance Montenegro GeopoliticalArea) Media.kif 2522-2522 Montenegro ist ein fall von GeopoliticalArea %n{nicht}
(instance PalestinianTerritories GeopoliticalArea) Media.kif 2570-2570 PalestinianTerritories ist ein fall von GeopoliticalArea %n{nicht}
(instance ParacelIslands GeopoliticalArea) CountriesAndRegions.kif 4235-4235 ParacelIslands ist ein fall von GeopoliticalArea %n{nicht}
(instance Scotland GeopoliticalArea) CountriesAndRegions.kif 798-798 Scotland ist ein fall von GeopoliticalArea %n{nicht}
(instance Serbia GeopoliticalArea) Media.kif 2494-2494 Serbia ist ein fall von GeopoliticalArea %n{nicht}
(instance SpratlyIslands GeopoliticalArea) CountriesAndRegions.kif 4236-4236 SpratlyIslands ist ein fall von GeopoliticalArea %n{nicht}
(instance SvalbardAndJanMayenIsland GeopoliticalArea) Media.kif 2584-2584 SvalbardAndJanMayenIsland ist ein fall von GeopoliticalArea %n{nicht}
(instance UnionStatesOfAmerica GeopoliticalArea) Government.kif 4809-4809 UnionStatesOfAmerica ist ein fall von GeopoliticalArea %n{nicht}
(instance UnitedStatesMinorOutlyingIslands GeopoliticalArea) Media.kif 2608-2608 UnitedStatesMinorOutlyingIslands ist ein fall von GeopoliticalArea %n{nicht}
(instance WestBank GeopoliticalArea) CountriesAndRegions.kif 4237-4237 WestBank ist ein fall von GeopoliticalArea %n{nicht}
(instance WesternSahara GeopoliticalArea) CountriesAndRegions.kif 4238-4238 WesternSahara ist ein fall von GeopoliticalArea %n{nicht}
(subclass City GeopoliticalArea) Merge.kif 14290-14290 City ist eine teilkategorie von GeopoliticalArea
(subclass CityDistrict GeopoliticalArea) Mid-level-ontology.kif 8104-8104 CityDistrict ist eine teilkategorie von GeopoliticalArea
(subclass County GeopoliticalArea) Merge.kif 14297-14297 County ist eine teilkategorie von GeopoliticalArea
(subclass DependencyOrSpecialSovereigntyArea GeopoliticalArea) Mid-level-ontology.kif 8044-8044 DependencyOrSpecialSovereigntyArea ist eine teilkategorie von GeopoliticalArea
(subclass IndependentState GeopoliticalArea) Mid-level-ontology.kif 8036-8036 IndependentState ist eine teilkategorie von GeopoliticalArea
(subclass Nation GeopoliticalArea) Merge.kif 14269-14269 Nation ist eine teilkategorie von GeopoliticalArea
(subclass OverseasArea GeopoliticalArea) Government.kif 451-451 OverseasArea ist eine teilkategorie von GeopoliticalArea
(subclass ParliamentaryTerritory GeopoliticalArea) Government.kif 489-489 ParliamentaryTerritory ist eine teilkategorie von GeopoliticalArea
(subclass PortFacility GeopoliticalArea) Transportation.kif 938-938 PortFacility ist eine teilkategorie von GeopoliticalArea
(subclass SelfGoverningTerritory GeopoliticalArea) Government.kif 495-495 SelfGoverningTerritory ist eine teilkategorie von GeopoliticalArea

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 856-856 Die Zahl 1 Argument von AvailableForMilitaryServiceMaleFn ist ein fall von GeopoliticalArea %n{nicht}
(domain BirthsPerThousandFn 1 GeopoliticalArea) People.kif 69-69 Die Zahl 1 Argument von BirthsPerThousandFn ist ein fall von GeopoliticalArea %n{nicht}
(domain CabinetFn 1 GeopoliticalArea) Government.kif 1491-1491 Die Zahl 1 Argument von CabinetFn ist ein fall von GeopoliticalArea %n{nicht}
(domain ChildrenBornPerWomanFn 1 GeopoliticalArea) People.kif 441-441 Die Zahl 1 Argument von ChildrenBornPerWomanFn ist ein fall von GeopoliticalArea %n{nicht}
(domain CitizenryFn 1 GeopoliticalArea) Mid-level-ontology.kif 8066-8066 Die Zahl 1 Argument von CitizenryFn ist ein fall von GeopoliticalArea %n{nicht}
(domain ConstitutionFn 1 GeopoliticalArea) Government.kif 638-638 Die Zahl 1 Argument von ConstitutionFn ist ein fall von GeopoliticalArea %n{nicht}
(domain DeathsPerThousandFn 1 GeopoliticalArea) People.kif 102-102 Die Zahl 1 Argument von DeathsPerThousandFn ist ein fall von GeopoliticalArea %n{nicht}
(domain DeathsPerThousandLiveBirthsFn 1 GeopoliticalArea) People.kif 228-228 Die Zahl 1 Argument von DeathsPerThousandLiveBirthsFn ist ein fall von GeopoliticalArea %n{nicht}
(domain ExclusiveFishingZoneFn 1 GeopoliticalArea) Geography.kif 1149-1149 Die Zahl 1 Argument von ExclusiveFishingZoneFn ist ein fall von GeopoliticalArea %n{nicht}
(domain ExtendedFishingZoneFn 1 GeopoliticalArea) Geography.kif 1181-1181 Die Zahl 1 Argument von ExtendedFishingZoneFn ist ein fall von GeopoliticalArea %n{nicht}
(domain FemaleLifeExpectancyAtBirthFn 1 GeopoliticalArea) People.kif 394-394 Die Zahl 1 Argument von FemaleLifeExpectancyAtBirthFn ist ein fall von GeopoliticalArea %n{nicht}
(domain FitForMilitaryServiceMaleFn 1 GeopoliticalArea) Military.kif 878-878 Die Zahl 1 Argument von FitForMilitaryServiceMaleFn ist ein fall von GeopoliticalArea %n{nicht}
(domain GovernmentFn 1 GeopoliticalArea) Merge.kif 16783-16783 Die Zahl 1 Argument von GovernmentFn ist ein fall von GeopoliticalArea %n{nicht}
(domain JudiciaryFn 1 GeopoliticalArea) Government.kif 2102-2102 Die Zahl 1 Argument von JudiciaryFn ist ein fall von GeopoliticalArea %n{nicht}
(domain LegislatureFn 1 GeopoliticalArea) Government.kif 2000-2000 Die Zahl 1 Argument von LegislatureFn ist ein fall von GeopoliticalArea %n{nicht}
(domain LifeExpectancyAtBirthFn 1 GeopoliticalArea) People.kif 297-297 Die Zahl 1 Argument von LifeExpectancyAtBirthFn ist ein fall von GeopoliticalArea %n{nicht}
(domain MaleLifeExpectancyAtBirthFn 1 GeopoliticalArea) People.kif 346-346 Die Zahl 1 Argument von MaleLifeExpectancyAtBirthFn ist ein fall von GeopoliticalArea %n{nicht}
(domain MaleToFemaleRatioFn 1 GeopoliticalArea) People.kif 192-192 Die Zahl 1 Argument von MaleToFemaleRatioFn ist ein fall von GeopoliticalArea %n{nicht}
(domain MaritimeContiguousZoneFn 1 GeopoliticalArea) Geography.kif 1043-1043 Die Zahl 1 Argument von MaritimeContiguousZoneFn ist ein fall von GeopoliticalArea %n{nicht}
(domain MaritimeExclusiveEconomicZoneFn 1 GeopoliticalArea) Geography.kif 1117-1117 Die Zahl 1 Argument von MaritimeExclusiveEconomicZoneFn ist ein fall von GeopoliticalArea %n{nicht}
(domain MaritimeShelfAreaFn 1 GeopoliticalArea) Geography.kif 1085-1085 Die Zahl 1 Argument von MaritimeShelfAreaFn ist ein fall von GeopoliticalArea %n{nicht}
(domain MerchantMarineFn 1 GeopoliticalArea) Transportation.kif 965-965 Die Zahl 1 Argument von MerchantMarineFn ist ein fall von GeopoliticalArea %n{nicht}
(domain MigrantsPerThousandFn 1 GeopoliticalArea) People.kif 138-138 Die Zahl 1 Argument von MigrantsPerThousandFn ist ein fall von GeopoliticalArea %n{nicht}
(domain OverseasAreaFn 1 GeopoliticalArea) Government.kif 465-465 Die Zahl 1 Argument von OverseasAreaFn ist ein fall von GeopoliticalArea %n{nicht}
(domain PerCapitaFn 2 GeopoliticalArea) Mid-level-ontology.kif 8083-8083 Die Zahl 2 Argument von PerCapitaFn ist ein fall von GeopoliticalArea %n{nicht}

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 4612-4621
(=>
    (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 4622-4631
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 GeopoliticalArea))
    (employs
        (GovernmentFn ?AGENT1) ?PERSON))
Government.kif 4450-4454
(=>
    (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 4475-4483
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization)
        (instance ?AGENT2 GeopoliticalArea))
    (agentOperatesInArea ?AGENT1 ?AGENT2))
Government.kif 4468-4473
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT2 GeopoliticalArea))
    (agentOperatesInArea ?PERSON ?AGENT2))
Government.kif 4462-4466
(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea)
        (subOrganization ?ORG ?BRANCH))
    (subOrganization ?ORG
        (GovernmentFn ?AREA)))
Government.kif 1277-1282
(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?BRANCH GovernmentOrganization))
Government.kif 1259-1263
(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (subOrganization ?BRANCH
        (GovernmentFn ?AREA)))
Government.kif 1271-1275
(=>
    (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 1300-1304
(=>
    (and
        (instance
            (JudiciaryFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (judicialBranch
        (JudiciaryFn ?AREA)
        (GovernmentFn ?AREA)))
Government.kif 2119-2123
(=>
    (and
        (instance
            (LegislatureFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (legislativeBranch
        (LegislatureFn ?AREA)
        (GovernmentFn ?AREA)))
Government.kif 2014-2018
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (equal ?CITIZENRY
            (CardinalityFn
                (CitizenryFn ?AREA)))
        (equal ?POPULATION
            (CardinalityFn
                (ResidentFn ?AREA))))
    (greaterThanOrEqualTo ?POPULATION ?CITIZENRY))
Mid-level-ontology.kif 8072-8079
(=>
    (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 1656-1662
(=>
    (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 13909-13913
(=>
    (and
        (instance ?REL EconomicRelation)
        (domain ?REL 1 ?CLASS))
    (subclass ?CLASS GeopoliticalArea))
Mid-level-ontology.kif 16932-16936
(=>
    (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 13384-13395
(=>
    (and
        (member ?AGENT InternationalCourtOfJustice)
        (attribute ?AGENT JudgeAtLaw))
    (exists (?POLITY)
        (and
            (instance ?POLITY GeopoliticalArea)
            (representativeAgentToAgent ?POLITY ?AGENT InternationalCourtOfJustice))))
Government.kif 3430-3437
(=>
    (attribute ?PERSON Monarch)
    (exists (?PLACE)
        (and
            (instance ?PLACE GeopoliticalArea)
            (governmentType ?PLACE Monarchy)
            (chiefOfState ?PLACE Monarch ?PERSON))))
Government.kif 1327-1333
(=>
    (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 1253-1257
(=>
    (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 1339-1354
(=>
    (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 779-784
(=>
    (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 2066-2070
(=>
    (legislativeBranch ?ORG ?AGENT)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))
Government.kif 1971-1975
(=>
    (suffrageAgeMaximum ?AGENT ?AGE)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))
Government.kif 987-991
(=>
    (suffrageAgeMinimum ?AGENT ?AGE)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))
Government.kif 915-919


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