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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GeopoliticalArea

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 13917-13920
(subclass GeopoliticalArea AutonomousAgent) Merge.kif 13916-13916 subclass GeopoliticalArea and AutonomousAgent
(subclass GeopoliticalArea GeographicArea) Merge.kif 13915-13915 subclass GeopoliticalArea and GeographicArea

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


(instance Antarctica GeopoliticalArea) CountriesAndRegions.kif 4240-4240 instance Antarctica and GeopoliticalArea
(instance ConfederateStatesOfAmerica GeopoliticalArea) Government.kif 4841-4841 instance ConfederateStatesOfAmerica and GeopoliticalArea
(instance GazaStrip GeopoliticalArea) CountriesAndRegions.kif 4234-4234 instance GazaStrip and GeopoliticalArea
(instance MiddleEastRegion GeopoliticalArea) Geography.kif 145-145 instance MiddleEastRegion and GeopoliticalArea
(instance Montenegro GeopoliticalArea) Media.kif 2522-2522 instance Montenegro and GeopoliticalArea
(instance PalestinianTerritories GeopoliticalArea) Media.kif 2570-2570 instance PalestinianTerritories and GeopoliticalArea
(instance ParacelIslands GeopoliticalArea) CountriesAndRegions.kif 4235-4235 instance ParacelIslands and GeopoliticalArea
(instance Scotland GeopoliticalArea) CountriesAndRegions.kif 798-798 instance Scotland and GeopoliticalArea
(instance Serbia GeopoliticalArea) Media.kif 2494-2494 instance Serbia and GeopoliticalArea
(instance SpratlyIslands GeopoliticalArea) CountriesAndRegions.kif 4236-4236 instance SpratlyIslands and GeopoliticalArea
(instance SvalbardAndJanMayenIsland GeopoliticalArea) Media.kif 2584-2584 instance SvalbardAndJanMayenIsland and GeopoliticalArea
(instance UnionStatesOfAmerica GeopoliticalArea) Government.kif 4845-4845 instance UnionStatesOfAmerica and GeopoliticalArea
(instance UnitedStatesMinorOutlyingIslands GeopoliticalArea) Media.kif 2608-2608 instance UnitedStatesMinorOutlyingIslands and GeopoliticalArea
(instance WestBank GeopoliticalArea) CountriesAndRegions.kif 4237-4237 instance WestBank and GeopoliticalArea
(instance WesternSahara GeopoliticalArea) CountriesAndRegions.kif 4238-4238 instance WesternSahara and GeopoliticalArea
(subclass City GeopoliticalArea) Merge.kif 14106-14106 subclass City and GeopoliticalArea
(subclass CityDistrict GeopoliticalArea) Mid-level-ontology.kif 8036-8036 subclass CityDistrict and GeopoliticalArea
(subclass County GeopoliticalArea) Merge.kif 14113-14113 subclass County and GeopoliticalArea
(subclass DependencyOrSpecialSovereigntyArea GeopoliticalArea) Mid-level-ontology.kif 7976-7976 subclass DependencyOrSpecialSovereigntyArea and GeopoliticalArea
(subclass IndependentState GeopoliticalArea) Mid-level-ontology.kif 7968-7968 subclass IndependentState and GeopoliticalArea
(subclass Nation GeopoliticalArea) Merge.kif 14085-14085 subclass Nation and GeopoliticalArea
(subclass OverseasArea GeopoliticalArea) Government.kif 487-487 subclass OverseasArea and GeopoliticalArea
(subclass ParliamentaryTerritory GeopoliticalArea) Government.kif 525-525 subclass ParliamentaryTerritory and GeopoliticalArea
(subclass PortFacility GeopoliticalArea) Transportation.kif 938-938 subclass PortFacility and GeopoliticalArea
(subclass SelfGoverningTerritory GeopoliticalArea) Government.kif 531-531 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 865-865 domain AvailableForMilitaryServiceMaleFn, 1 and GeopoliticalArea
(domain BirthsPerThousandFn 1 GeopoliticalArea) People.kif 95-95 domain BirthsPerThousandFn, 1 and GeopoliticalArea
(domain CabinetFn 1 GeopoliticalArea) Government.kif 1527-1527 domain CabinetFn, 1 and GeopoliticalArea
(domain ChildrenBornPerWomanFn 1 GeopoliticalArea) People.kif 467-467 domain ChildrenBornPerWomanFn, 1 and GeopoliticalArea
(domain CitizenryFn 1 GeopoliticalArea) Mid-level-ontology.kif 7998-7998 domain CitizenryFn, 1 and GeopoliticalArea
(domain ConstitutionFn 1 GeopoliticalArea) Government.kif 674-674 domain ConstitutionFn, 1 and GeopoliticalArea
(domain DeathsPerThousandFn 1 GeopoliticalArea) People.kif 128-128 domain DeathsPerThousandFn, 1 and GeopoliticalArea
(domain DeathsPerThousandLiveBirthsFn 1 GeopoliticalArea) People.kif 254-254 domain DeathsPerThousandLiveBirthsFn, 1 and GeopoliticalArea
(domain ExclusiveFishingZoneFn 1 GeopoliticalArea) Geography.kif 1156-1156 domain ExclusiveFishingZoneFn, 1 and GeopoliticalArea
(domain ExtendedFishingZoneFn 1 GeopoliticalArea) Geography.kif 1188-1188 domain ExtendedFishingZoneFn, 1 and GeopoliticalArea
(domain FemaleLifeExpectancyAtBirthFn 1 GeopoliticalArea) People.kif 420-420 domain FemaleLifeExpectancyAtBirthFn, 1 and GeopoliticalArea
(domain FitForMilitaryServiceMaleFn 1 GeopoliticalArea) Military.kif 887-887 domain FitForMilitaryServiceMaleFn, 1 and GeopoliticalArea
(domain GovernmentFn 1 GeopoliticalArea) Merge.kif 16565-16565 domain GovernmentFn, 1 and GeopoliticalArea
(domain JudiciaryFn 1 GeopoliticalArea) Government.kif 2138-2138 domain JudiciaryFn, 1 and GeopoliticalArea
(domain LegislatureFn 1 GeopoliticalArea) Government.kif 2036-2036 domain LegislatureFn, 1 and GeopoliticalArea
(domain LifeExpectancyAtBirthFn 1 GeopoliticalArea) People.kif 323-323 domain LifeExpectancyAtBirthFn, 1 and GeopoliticalArea
(domain MaleLifeExpectancyAtBirthFn 1 GeopoliticalArea) People.kif 372-372 domain MaleLifeExpectancyAtBirthFn, 1 and GeopoliticalArea
(domain MaleToFemaleRatioFn 1 GeopoliticalArea) People.kif 218-218 domain MaleToFemaleRatioFn, 1 and GeopoliticalArea
(domain MaritimeContiguousZoneFn 1 GeopoliticalArea) Geography.kif 1050-1050 domain MaritimeContiguousZoneFn, 1 and GeopoliticalArea
(domain MaritimeExclusiveEconomicZoneFn 1 GeopoliticalArea) Geography.kif 1124-1124 domain MaritimeExclusiveEconomicZoneFn, 1 and GeopoliticalArea
(domain MaritimeShelfAreaFn 1 GeopoliticalArea) Geography.kif 1092-1092 domain MaritimeShelfAreaFn, 1 and GeopoliticalArea
(domain MerchantMarineFn 1 GeopoliticalArea) Transportation.kif 965-965 domain MerchantMarineFn, 1 and GeopoliticalArea
(domain MigrantsPerThousandFn 1 GeopoliticalArea) People.kif 164-164 domain MigrantsPerThousandFn, 1 and GeopoliticalArea
(domain OverseasAreaFn 1 GeopoliticalArea) Government.kif 501-501 domain OverseasAreaFn, 1 and GeopoliticalArea
(domain PerCapitaFn 2 GeopoliticalArea) Mid-level-ontology.kif 8015-8015 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)
        (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 8004-8011
(=>
    (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 1164-1168
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (ExtendedFishingZoneFn ?AREA) ExtendedFishingZone))
    (claimedTerritory
        (ExtendedFishingZoneFn ?AREA) ?AREA))
Geography.kif 1196-1200
(=>
    (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 1057-1061
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MaritimeExclusiveEconomicZoneFn ?AREA) MaritimeExclusiveEconomicZone))
    (claimedTerritory
        (MaritimeExclusiveEconomicZoneFn ?AREA) ?AREA))
Geography.kif 1132-1136
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MaritimeShelfAreaFn ?AREA) MaritimeShelfArea))
    (claimedTerritory
        (MaritimeShelfAreaFn ?AREA) ?AREA))
Geography.kif 1099-1103
(=>
    (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 2443-2456
(=>
    (and
        (instance ?R PoliticalRevolution)
        (patient ?R ?A))
    (instance ?A GeopoliticalArea))
Mid-level-ontology.kif 13728-13732
(=>
    (and
        (instance ?REL EconomicRelation)
        (domain ?REL 1 ?CLASS))
    (subclass ?CLASS GeopoliticalArea))
Mid-level-ontology.kif 16747-16751
(=>
    (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 2047-2064
(=>
    (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 2028-2045
(=>
    (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 13200-13211
(=>
    (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 3715-3719
(=>
    (equal ?FY
        (FiscalYearStartingFn ?PLACE ?YEAR))
    (or
        (instance ?PLACE GeopoliticalArea)
        (instance ?PLACE Organization)))
Economy.kif 3743-3747
(=>
    (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 2934-2947
(=>
    (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 2972-2982
(=>
    (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