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 13384-13387
(subclass GeopoliticalArea Agent) Merge.kif 13383-13383 subclass GeopoliticalArea and Agent
(subclass GeopoliticalArea GeographicArea) Merge.kif 13382-13382 subclass GeopoliticalArea and GeographicArea

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


(instance Antarctica GeopoliticalArea) CountriesAndRegions.kif 4242-4242 instance Antarctica and GeopoliticalArea
(instance ConfederateStatesOfAmerica GeopoliticalArea) Government.kif 4804-4804 instance ConfederateStatesOfAmerica and GeopoliticalArea
(instance GazaStrip GeopoliticalArea) CountriesAndRegions.kif 4236-4236 instance GazaStrip and GeopoliticalArea
(instance MiddleEastRegion GeopoliticalArea) Geography.kif 145-145 instance MiddleEastRegion and GeopoliticalArea
(instance Montenegro GeopoliticalArea) Media.kif 2504-2504 instance Montenegro and GeopoliticalArea
(instance PalestinianTerritories GeopoliticalArea) Media.kif 2540-2540 instance PalestinianTerritories and GeopoliticalArea
(instance ParacelIslands GeopoliticalArea) CountriesAndRegions.kif 4237-4237 instance ParacelIslands and GeopoliticalArea
(instance Scotland GeopoliticalArea) CountriesAndRegions.kif 798-798 instance Scotland and GeopoliticalArea
(instance Serbia GeopoliticalArea) Media.kif 2489-2489 instance Serbia and GeopoliticalArea
(instance SpratlyIslands GeopoliticalArea) CountriesAndRegions.kif 4238-4238 instance SpratlyIslands and GeopoliticalArea
(instance SvalbardAndJanMayenIsland GeopoliticalArea) Media.kif 2554-2554 instance SvalbardAndJanMayenIsland and GeopoliticalArea
(instance UnionStatesOfAmerica GeopoliticalArea) Government.kif 4808-4808 instance UnionStatesOfAmerica and GeopoliticalArea
(instance UnitedStatesMinorOutlyingIslands GeopoliticalArea) Media.kif 2578-2578 instance UnitedStatesMinorOutlyingIslands and GeopoliticalArea
(instance WestBank GeopoliticalArea) CountriesAndRegions.kif 4239-4239 instance WestBank and GeopoliticalArea
(instance WesternSahara GeopoliticalArea) CountriesAndRegions.kif 4240-4240 instance WesternSahara and GeopoliticalArea
(subclass City GeopoliticalArea) Merge.kif 13573-13573 subclass City and GeopoliticalArea
(subclass CityDistrict GeopoliticalArea) Mid-level-ontology.kif 7434-7434 subclass CityDistrict and GeopoliticalArea
(subclass County GeopoliticalArea) Merge.kif 13580-13580 subclass County and GeopoliticalArea
(subclass DependencyOrSpecialSovereigntyArea GeopoliticalArea) Mid-level-ontology.kif 7374-7374 subclass DependencyOrSpecialSovereigntyArea and GeopoliticalArea
(subclass IndependentState GeopoliticalArea) Mid-level-ontology.kif 7366-7366 subclass IndependentState and GeopoliticalArea
(subclass Nation GeopoliticalArea) Merge.kif 13552-13552 subclass Nation and GeopoliticalArea
(subclass OverseasArea GeopoliticalArea) Government.kif 476-476 subclass OverseasArea and GeopoliticalArea
(subclass ParliamentaryTerritory GeopoliticalArea) Government.kif 514-514 subclass ParliamentaryTerritory and GeopoliticalArea
(subclass PortFacility GeopoliticalArea) Transportation.kif 938-938 subclass PortFacility and GeopoliticalArea
(subclass SelfGoverningTerritory GeopoliticalArea) Government.kif 520-520 subclass SelfGoverningTerritory and 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 860-860 domain AvailableForMilitaryServiceMaleFn, 1 and GeopoliticalArea
(domain BirthsPerThousandFn 1 GeopoliticalArea) People.kif 91-91 domain BirthsPerThousandFn, 1 and GeopoliticalArea
(domain CabinetFn 1 GeopoliticalArea) Government.kif 1513-1513 domain CabinetFn, 1 and GeopoliticalArea
(domain ChildrenBornPerWomanFn 1 GeopoliticalArea) People.kif 447-447 domain ChildrenBornPerWomanFn, 1 and GeopoliticalArea
(domain CitizenryFn 1 GeopoliticalArea) Mid-level-ontology.kif 7396-7396 domain CitizenryFn, 1 and GeopoliticalArea
(domain ConstitutionFn 1 GeopoliticalArea) Government.kif 661-661 domain ConstitutionFn, 1 and GeopoliticalArea
(domain DeathsPerThousandFn 1 GeopoliticalArea) People.kif 122-122 domain DeathsPerThousandFn, 1 and GeopoliticalArea
(domain DeathsPerThousandLiveBirthsFn 1 GeopoliticalArea) People.kif 243-243 domain DeathsPerThousandLiveBirthsFn, 1 and GeopoliticalArea
(domain ExclusiveFishingZoneFn 1 GeopoliticalArea) Geography.kif 1148-1148 domain ExclusiveFishingZoneFn, 1 and GeopoliticalArea
(domain ExtendedFishingZoneFn 1 GeopoliticalArea) Geography.kif 1180-1180 domain ExtendedFishingZoneFn, 1 and GeopoliticalArea
(domain FemaleLifeExpectancyAtBirthFn 1 GeopoliticalArea) People.kif 402-402 domain FemaleLifeExpectancyAtBirthFn, 1 and GeopoliticalArea
(domain FitForMilitaryServiceMaleFn 1 GeopoliticalArea) Military.kif 882-882 domain FitForMilitaryServiceMaleFn, 1 and GeopoliticalArea
(domain GovernmentFn 1 GeopoliticalArea) Merge.kif 15930-15930 domain GovernmentFn, 1 and GeopoliticalArea
(domain JudiciaryFn 1 GeopoliticalArea) Government.kif 2124-2124 domain JudiciaryFn, 1 and GeopoliticalArea
(domain LegislatureFn 1 GeopoliticalArea) Government.kif 2022-2022 domain LegislatureFn, 1 and GeopoliticalArea
(domain LifeExpectancyAtBirthFn 1 GeopoliticalArea) People.kif 310-310 domain LifeExpectancyAtBirthFn, 1 and GeopoliticalArea
(domain MaleLifeExpectancyAtBirthFn 1 GeopoliticalArea) People.kif 357-357 domain MaleLifeExpectancyAtBirthFn, 1 and GeopoliticalArea
(domain MaleToFemaleRatioFn 1 GeopoliticalArea) People.kif 207-207 domain MaleToFemaleRatioFn, 1 and GeopoliticalArea
(domain MaritimeContiguousZoneFn 1 GeopoliticalArea) Geography.kif 1042-1042 domain MaritimeContiguousZoneFn, 1 and GeopoliticalArea
(domain MaritimeExclusiveEconomicZoneFn 1 GeopoliticalArea) Geography.kif 1116-1116 domain MaritimeExclusiveEconomicZoneFn, 1 and GeopoliticalArea
(domain MaritimeShelfAreaFn 1 GeopoliticalArea) Geography.kif 1084-1084 domain MaritimeShelfAreaFn, 1 and GeopoliticalArea
(domain MerchantMarineFn 1 GeopoliticalArea) Transportation.kif 965-965 domain MerchantMarineFn, 1 and GeopoliticalArea
(domain MigrantsPerThousandFn 1 GeopoliticalArea) People.kif 156-156 domain MigrantsPerThousandFn, 1 and GeopoliticalArea
(domain OverseasAreaFn 1 GeopoliticalArea) Government.kif 490-490 domain OverseasAreaFn, 1 and GeopoliticalArea
(domain PerCapitaFn 2 GeopoliticalArea) Mid-level-ontology.kif 7413-7413 domain PerCapitaFn, 2 and GeopoliticalArea

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)
        (subclass ?AREA GeopoliticalArea)
        (equal ?A2
            (SubstringFn ?A3 0 2)))
    (currencyType ?AREA ?CURRENCY))
Media.kif 2859-2865
(=>
    (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 4611-4620
(=>
    (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 4621-4630
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 GeopoliticalArea))
    (employs
        (GovernmentFn ?AGENT1) ?PERSON))
Government.kif 4449-4453
(=>
    (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 4474-4482
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization)
        (instance ?AGENT2 GeopoliticalArea))
    (agentOperatesInArea ?AGENT1 ?AGENT2))
Government.kif 4467-4472
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT2 GeopoliticalArea))
    (agentOperatesInArea ?PERSON ?AGENT2))
Government.kif 4461-4465
(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea)
        (subOrganization ?ORG ?BRANCH))
    (subOrganization ?ORG
        (GovernmentFn ?AREA)))
Government.kif 1299-1304
(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?BRANCH GovernmentOrganization))
Government.kif 1281-1285
(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (subOrganization ?BRANCH
        (GovernmentFn ?AREA)))
Government.kif 1293-1297
(=>
    (and
        (governmentType ?AGENT ?TYPE)
        (subAttribute ?TYPE TheocraticGovernment)
        (instance ?AGENT GeopoliticalArea))
    (instance
        (GovernmentFn ?AGENT) ReligiousOrganization))
Government.kif 340-345
(=>
    (and
        (governmentType ?PLACE ?TYPE)
        (instance ?PLACE GeopoliticalArea)
        (subAttribute ?TYPE ParliamentaryGovernment))
    (exists (?ORG)
        (and
            (instance ?ORG Parliament)
            (subOrganization ?ORG
                (GovernmentFn ?PLACE)))))
Government.kif 244-252
(=>
    (and
        (governmentType ?PLACE AbsoluteMonarchy)
        (instance ?PLACE GeopoliticalArea))
    (leaderPosition ?PLACE Monarch))
Government.kif 230-234
(=>
    (and
        (instance
            (ExecutiveBranchFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (executiveBranch
        (ExecutiveBranchFn ?AREA)
        (GovernmentFn ?AREA)))
Government.kif 1322-1326
(=>
    (and
        (instance
            (JudiciaryFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (judicialBranch
        (JudiciaryFn ?AREA)
        (GovernmentFn ?AREA)))
Government.kif 2141-2145
(=>
    (and
        (instance
            (LegislatureFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (legislativeBranch
        (LegislatureFn ?AREA)
        (GovernmentFn ?AREA)))
Government.kif 2036-2040
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (equal ?CITIZENRY
            (CardinalityFn
                (CitizenryFn ?AREA)))
        (equal ?POPULATION
            (CardinalityFn
                (ResidentFn ?AREA))))
    (greaterThanOrEqualTo ?POPULATION ?CITIZENRY))
Mid-level-ontology.kif 7402-7409
(=>
    (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 1156-1160
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (ExtendedFishingZoneFn ?AREA) ExtendedFishingZone))
    (claimedTerritory
        (ExtendedFishingZoneFn ?AREA) ?AREA))
Geography.kif 1188-1192
(=>
    (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 1049-1053
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MaritimeExclusiveEconomicZoneFn ?AREA) MaritimeExclusiveEconomicZone))
    (claimedTerritory
        (MaritimeExclusiveEconomicZoneFn ?AREA) ?AREA))
Geography.kif 1124-1128
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MaritimeShelfAreaFn ?AREA) MaritimeShelfArea))
    (claimedTerritory
        (MaritimeShelfAreaFn ?AREA) ?AREA))
Geography.kif 1091-1095
(=>
    (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
        (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 Agent)
        (subclass
            (ElectionFn ?AGENT) Election))
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))
Government.kif 1678-1684
(=>
    (and
        (instance ?EXPORT Exporting)
        (patient ?EXPORT ?ITEM)
        (instance ?AREA GeopoliticalArea)
        (holdsDuring
            (BeginFn
                (WhenFn ?EXPORT))
            (located ?ITEM ?AREA)))
    (exists (?AREA2)
        (and
            (instance ?AREA2 GeopoliticalArea)
            (not
                (geopoliticalSubdivision ?AREA1 ?AREA2))
            (not
                (geopoliticalSubdivision ?AREA2 ?AREA1))
            (holdsDuring
                (EndFn
                    (WhenFn ?EXPORT))
                (located ?ITEM ?AREA2)))))
Economy.kif 2435-2448
(=>
    (and
        (instance ?R PoliticalRevolution)
        (patient ?R ?A))
    (instance ?A GeopoliticalArea))
Mid-level-ontology.kif 12247-12251
(=>
    (and
        (instance ?REL EconomicRelation)
        (domain ?REL 1 ?CLASS))
    (subclass ?CLASS GeopoliticalArea))
Mid-level-ontology.kif 15111-15115
(=>
    (and
        (instance ?TRANS Buying)
        (attribute ?TRANS CBT)
        (patient ?TRANS ?OBJ)
        (instance ?OBJ Object))
    (exists (?SELLER ?BUYER ?BUYER_LOCATION ?SELLER_LOCATION)
        (and
            (instance ?BUYER Agent)
            (instance ?SELLER Agent)
            (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 2050-2067
(=>
    (and
        (instance ?TRANS Selling)
        (attribute ?TRANS CBT)
        (patient ?TRANS ?OBJ)
        (instance ?OBJ Object))
    (exists (?SELLER ?BUYER ?BUYER_LOCATION ?SELLER_LOCATION)
        (and
            (instance ?BUYER Agent)
            (instance ?SELLER Agent)
            (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 2031-2048
(=>
    (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 12682-12693
(=>
    (and
        (member ?AGENT InternationalCourtOfJustice)
        (attribute ?AGENT JudgeAtLaw))
    (exists (?POLITY)
        (and
            (instance ?POLITY GeopoliticalArea)
            (representativeAgentToAgent ?POLITY ?AGENT InternationalCourtOfJustice))))
Government.kif 3429-3436
(=>
    (attribute ?PERSON Monarch)
    (exists (?PLACE)
        (and
            (instance ?PLACE GeopoliticalArea)
            (governmentType ?PLACE Monarchy)
            (chiefOfState ?PLACE Monarch ?PERSON))))
Government.kif 1349-1355
(=>
    (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 3707-3711
(=>
    (equal ?FY
        (FiscalYearStartingFn ?PLACE ?YEAR))
    (or
        (instance ?PLACE GeopoliticalArea)
        (instance ?PLACE Organization)))
Economy.kif 3733-3737
(=>
    (executiveBranch ?BRANCH ?AGENT)
    (or
        (instance ?BRANCH GeopoliticalArea)
        (instance ?BRANCH Organization)))
Government.kif 1275-1279
(=>
    (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 1361-1376
(=>
    (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 2938-2951
(=>
    (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 2920-2930
(=>
    (judicialBranch ?BRANCH ?AGENT)
    (or
        (instance ?BRANCH GeopoliticalArea)
        (instance ?BRANCH Organization)))
Government.kif 2088-2092
(=>
    (legislativeBranch ?ORG ?AGENT)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))
Government.kif 1993-1997
(=>
    (suffrageAgeMaximum ?AGENT ?AGE)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))
Government.kif 1009-1013
(=>
    (suffrageAgeMinimum ?AGENT ?AGE)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT 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 3.0 is open source software produced by Articulate Software and its partners