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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GeopoliticalArea
GeopoliticalArea(geopolitical area)Anguilla, Anguillan, Baltic, Bloomsbury, Boeotian, Bosnian, Byzantine, Cambrian, Catalan, Croatian, Cyprian, Cypriot, Cypriote, Dar_al-Islam, Dipylon, Gallic, Georgian, Hollywood, House_of_Islam, Indian_reservation, Latin, Lilliputian, Macedonian, Manchurian, Numidia, Ottoman_Empire, Palestinian, Prussian, Scotch, Scots, Scottish, Serbian, Slovenian, SoHo, Soho, South_of_Houston, Sumerian, Tibetan, Turkish_Empire, Welsh, Wembley, abbacy, archbishopric, archdeaconry, archdiocese, archduchy, associated_state, bailiwick, barony, bishopric...

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 14055-14058
(subclass GeopoliticalArea AutonomousAgent) Merge.kif 14054-14054 Geopolitical area is a subclass of agent
(subclass GeopoliticalArea GeographicArea) Merge.kif 14053-14053 Geopolitical area is a subclass of geographic area

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


(instance Antarctica GeopoliticalArea) CountriesAndRegions.kif 4240-4240 Antarctica is an instance of geopolitical area
(instance ConfederateStatesOfAmerica GeopoliticalArea) Government.kif 4841-4841 Confederate states of america is an instance of geopolitical area
(instance GazaStrip GeopoliticalArea) CountriesAndRegions.kif 4234-4234 Gaza strip is an instance of geopolitical area
(instance MiddleEastRegion GeopoliticalArea) Geography.kif 145-145 Middle east region is an instance of geopolitical area
(instance Montenegro GeopoliticalArea) Media.kif 2522-2522 Montenegro is an instance of geopolitical area
(instance PalestinianTerritories GeopoliticalArea) Media.kif 2570-2570 Palestinian territories is an instance of geopolitical area
(instance ParacelIslands GeopoliticalArea) CountriesAndRegions.kif 4235-4235 Paracel islands is an instance of geopolitical area
(instance Scotland GeopoliticalArea) CountriesAndRegions.kif 798-798 Scotland is an instance of geopolitical area
(instance Serbia GeopoliticalArea) Media.kif 2494-2494 Serbia is an instance of geopolitical area
(instance SpratlyIslands GeopoliticalArea) CountriesAndRegions.kif 4236-4236 Spratly islands is an instance of geopolitical area
(instance SvalbardAndJanMayenIsland GeopoliticalArea) Media.kif 2584-2584 Svalbard and Jan Mayen island is an instance of geopolitical area
(instance UnionStatesOfAmerica GeopoliticalArea) Government.kif 4845-4845 Union states of america is an instance of geopolitical area
(instance UnitedStatesMinorOutlyingIslands GeopoliticalArea) Media.kif 2608-2608 United states minor outlying islands is an instance of geopolitical area
(instance WestBank GeopoliticalArea) CountriesAndRegions.kif 4237-4237 West bank is an instance of geopolitical area
(instance WesternSahara GeopoliticalArea) CountriesAndRegions.kif 4238-4238 Western sahara is an instance of geopolitical area
(subclass City GeopoliticalArea) Merge.kif 14244-14244 City is a subclass of geopolitical area
(subclass CityDistrict GeopoliticalArea) Mid-level-ontology.kif 8077-8077 City district is a subclass of geopolitical area
(subclass County GeopoliticalArea) Merge.kif 14251-14251 County is a subclass of geopolitical area
(subclass DependencyOrSpecialSovereigntyArea GeopoliticalArea) Mid-level-ontology.kif 8017-8017 Dependency or special sovereignty area is a subclass of geopolitical area
(subclass IndependentState GeopoliticalArea) Mid-level-ontology.kif 8009-8009 Independent state is a subclass of geopolitical area
(subclass Nation GeopoliticalArea) Merge.kif 14223-14223 Nation is a subclass of geopolitical area
(subclass OverseasArea GeopoliticalArea) Government.kif 487-487 Overseas area is a subclass of geopolitical area
(subclass ParliamentaryTerritory GeopoliticalArea) Government.kif 525-525 Parliamentary territory is a subclass of geopolitical area
(subclass PortFacility GeopoliticalArea) Transportation.kif 938-938 Port facility is a subclass of geopolitical area
(subclass SelfGoverningTerritory GeopoliticalArea) Government.kif 531-531 Self governing territory is a subclass of geopolitical area

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 The number 1 argument of available for military service male is an instance of geopolitical area
(domain BirthsPerThousandFn 1 GeopoliticalArea) People.kif 69-69 The number 1 argument of births per thousand is an instance of geopolitical area
(domain CabinetFn 1 GeopoliticalArea) Government.kif 1527-1527 The number 1 argument of cabinet is an instance of geopolitical area
(domain ChildrenBornPerWomanFn 1 GeopoliticalArea) People.kif 441-441 The number 1 argument of children born per woman is an instance of geopolitical area
(domain CitizenryFn 1 GeopoliticalArea) Mid-level-ontology.kif 8039-8039 The number 1 argument of citizenry is an instance of geopolitical area
(domain ConstitutionFn 1 GeopoliticalArea) Government.kif 674-674 The number 1 argument of constitution is an instance of geopolitical area
(domain DeathsPerThousandFn 1 GeopoliticalArea) People.kif 102-102 The number 1 argument of deaths per thousand is an instance of geopolitical area
(domain DeathsPerThousandLiveBirthsFn 1 GeopoliticalArea) People.kif 228-228 The number 1 argument of deaths per thousand live births is an instance of geopolitical area
(domain ExclusiveFishingZoneFn 1 GeopoliticalArea) Geography.kif 1149-1149 The number 1 argument of exclusive fishing zone is an instance of geopolitical area
(domain ExtendedFishingZoneFn 1 GeopoliticalArea) Geography.kif 1181-1181 The number 1 argument of extended fishing zone is an instance of geopolitical area
(domain FemaleLifeExpectancyAtBirthFn 1 GeopoliticalArea) People.kif 394-394 The number 1 argument of female life expectancy at birth is an instance of geopolitical area
(domain FitForMilitaryServiceMaleFn 1 GeopoliticalArea) Military.kif 887-887 The number 1 argument of fit for military service male is an instance of geopolitical area
(domain GovernmentFn 1 GeopoliticalArea) Merge.kif 16712-16712 The number 1 argument of government is an instance of geopolitical area
(domain JudiciaryFn 1 GeopoliticalArea) Government.kif 2138-2138 The number 1 argument of judiciary is an instance of geopolitical area
(domain LegislatureFn 1 GeopoliticalArea) Government.kif 2036-2036 The number 1 argument of legislature is an instance of geopolitical area
(domain LifeExpectancyAtBirthFn 1 GeopoliticalArea) People.kif 297-297 The number 1 argument of life expectancy at birth is an instance of geopolitical area
(domain MaleLifeExpectancyAtBirthFn 1 GeopoliticalArea) People.kif 346-346 The number 1 argument of male life expectancy at birth is an instance of geopolitical area
(domain MaleToFemaleRatioFn 1 GeopoliticalArea) People.kif 192-192 The number 1 argument of male to female ratio is an instance of geopolitical area
(domain MaritimeContiguousZoneFn 1 GeopoliticalArea) Geography.kif 1043-1043 The number 1 argument of maritime contiguous zone is an instance of geopolitical area
(domain MaritimeExclusiveEconomicZoneFn 1 GeopoliticalArea) Geography.kif 1117-1117 The number 1 argument of maritime exclusive economic zone is an instance of geopolitical area
(domain MaritimeShelfAreaFn 1 GeopoliticalArea) Geography.kif 1085-1085 The number 1 argument of maritime shelf area is an instance of geopolitical area
(domain MerchantMarineFn 1 GeopoliticalArea) Transportation.kif 965-965 The number 1 argument of merchant marine is an instance of geopolitical area
(domain MigrantsPerThousandFn 1 GeopoliticalArea) People.kif 138-138 The number 1 argument of migrants per thousand is an instance of geopolitical area
(domain OverseasAreaFn 1 GeopoliticalArea) Government.kif 501-501 The number 1 argument of overseas area is an instance of geopolitical area
(domain PerCapitaFn 2 GeopoliticalArea) Mid-level-ontology.kif 8056-8056 The number 2 argument of per capita fn is an instance of geopolitical area

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 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