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 13802-13805
(subclass GeopoliticalArea Agent) Merge.kif 13801-13801 地缘政治区域施事体subclass
(subclass GeopoliticalArea GeographicArea) Merge.kif 13800-13800 地缘政治区域地理区域subclass

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


(instance Antarctica GeopoliticalArea) CountriesAndRegions.kif 4240-4240 南极洲地缘政治区域instance
(instance ConfederateStatesOfAmerica GeopoliticalArea) Government.kif 4833-4833 同盟国美国地缘政治区域instance
(instance GazaStrip GeopoliticalArea) CountriesAndRegions.kif 4234-4234 加沙地带地缘政治区域instance
(instance MiddleEastRegion GeopoliticalArea) Geography.kif 145-145 中东地区地缘政治区域instance
(instance Montenegro GeopoliticalArea) Media.kif 2513-2513 Montenegro地缘政治区域instance
(instance PalestinianTerritories GeopoliticalArea) Media.kif 2558-2558 PalestinianTerritories地缘政治区域instance
(instance ParacelIslands GeopoliticalArea) CountriesAndRegions.kif 4235-4235 西沙群岛地缘政治区域instance
(instance Scotland GeopoliticalArea) CountriesAndRegions.kif 798-798 苏格兰地缘政治区域instance
(instance Serbia GeopoliticalArea) Media.kif 2485-2485 Serbia地缘政治区域instance
(instance SpratlyIslands GeopoliticalArea) CountriesAndRegions.kif 4236-4236 南沙群岛地缘政治区域instance
(instance SvalbardAndJanMayenIsland GeopoliticalArea) Media.kif 2572-2572 SvalbardAndJanMayenIsland地缘政治区域instance
(instance UnionStatesOfAmerica GeopoliticalArea) Government.kif 4837-4837 工会美国地缘政治区域instance
(instance UnitedStatesMinorOutlyingIslands GeopoliticalArea) Media.kif 2596-2596 UnitedStatesMinorOutlyingIslands地缘政治区域instance
(instance WestBank GeopoliticalArea) CountriesAndRegions.kif 4237-4237 西方银行地缘政治区域instance
(instance WesternSahara GeopoliticalArea) CountriesAndRegions.kif 4238-4238 撒哈拉沙漠西部地缘政治区域instance
(subclass City GeopoliticalArea) Merge.kif 13991-13991 城市地缘政治区域subclass
(subclass CityDistrict GeopoliticalArea) Mid-level-ontology.kif 7746-7746 市区地缘政治区域subclass
(subclass County GeopoliticalArea) Merge.kif 13998-13998 地缘政治区域subclass
(subclass DependencyOrSpecialSovereigntyArea GeopoliticalArea) Mid-level-ontology.kif 7686-7686 依赖或特殊主权领域地缘政治区域subclass
(subclass IndependentState GeopoliticalArea) Mid-level-ontology.kif 7678-7678 独立国家地缘政治区域subclass
(subclass Nation GeopoliticalArea) Merge.kif 13970-13970 国家地缘政治区域subclass
(subclass OverseasArea GeopoliticalArea) Government.kif 487-487 海外地区地缘政治区域subclass
(subclass ParliamentaryTerritory GeopoliticalArea) Government.kif 525-525 议会领土地缘政治区域subclass
(subclass PortFacility GeopoliticalArea) Transportation.kif 938-938 港口设施地缘政治区域subclass
(subclass SelfGoverningTerritory GeopoliticalArea) Government.kif 531-531 自治领土地缘政治区域subclass

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 可用于兵役男性 的 1 数量 是 地缘政治区域instance
(domain BirthsPerThousandFn 1 GeopoliticalArea) People.kif 95-95 每千人分娩 的 1 数量 是 地缘政治区域instance
(domain CabinetFn 1 GeopoliticalArea) Government.kif 1524-1524 内阁 的 1 数量 是 地缘政治区域instance
(domain ChildrenBornPerWomanFn 1 GeopoliticalArea) People.kif 454-454 每个女人出生的孩子 的 1 数量 是 地缘政治区域instance
(domain CitizenryFn 1 GeopoliticalArea) Mid-level-ontology.kif 7708-7708 公民 的 1 数量 是 地缘政治区域instance
(domain ConstitutionFn 1 GeopoliticalArea) Government.kif 672-672 宪法 的 1 数量 是 地缘政治区域instance
(domain DeathsPerThousandFn 1 GeopoliticalArea) People.kif 126-126 每千人死亡 的 1 数量 是 地缘政治区域instance
(domain DeathsPerThousandLiveBirthsFn 1 GeopoliticalArea) People.kif 247-247 每千名活产婴儿死亡人数 的 1 数量 是 地缘政治区域instance
(domain ExclusiveFishingZoneFn 1 GeopoliticalArea) Geography.kif 1156-1156 专属捕鱼区 的 1 数量 是 地缘政治区域instance
(domain ExtendedFishingZoneFn 1 GeopoliticalArea) Geography.kif 1188-1188 延伸捕鱼区 的 1 数量 是 地缘政治区域instance
(domain FemaleLifeExpectancyAtBirthFn 1 GeopoliticalArea) People.kif 409-409 女性出生时的预期寿命 的 1 数量 是 地缘政治区域instance
(domain FitForMilitaryServiceMaleFn 1 GeopoliticalArea) Military.kif 887-887 适合兵役的男性 的 1 数量 是 地缘政治区域instance
(domain GovernmentFn 1 GeopoliticalArea) Merge.kif 16437-16437 政府函数 的 1 数量 是 地缘政治区域instance
(domain JudiciaryFn 1 GeopoliticalArea) Government.kif 2135-2135 司法 的 1 数量 是 地缘政治区域instance
(domain LegislatureFn 1 GeopoliticalArea) Government.kif 2033-2033 立法机关 的 1 数量 是 地缘政治区域instance
(domain LifeExpectancyAtBirthFn 1 GeopoliticalArea) People.kif 314-314 出生时的预期寿命 的 1 数量 是 地缘政治区域instance
(domain MaleLifeExpectancyAtBirthFn 1 GeopoliticalArea) People.kif 361-361 男性出生时的预期寿命 的 1 数量 是 地缘政治区域instance
(domain MaleToFemaleRatioFn 1 GeopoliticalArea) People.kif 211-211 男女比例 的 1 数量 是 地缘政治区域instance
(domain MaritimeContiguousZoneFn 1 GeopoliticalArea) Geography.kif 1050-1050 海上毗连区 的 1 数量 是 地缘政治区域instance
(domain MaritimeExclusiveEconomicZoneFn 1 GeopoliticalArea) Geography.kif 1124-1124 海上专属经济区 的 1 数量 是 地缘政治区域instance
(domain MaritimeShelfAreaFn 1 GeopoliticalArea) Geography.kif 1092-1092 海运货架区 的 1 数量 是 地缘政治区域instance
(domain MerchantMarineFn 1 GeopoliticalArea) Transportation.kif 965-965 商船 的 1 数量 是 地缘政治区域instance
(domain MigrantsPerThousandFn 1 GeopoliticalArea) People.kif 160-160 每千人移民 的 1 数量 是 地缘政治区域instance
(domain OverseasAreaFn 1 GeopoliticalArea) Government.kif 501-501 海外地区 的 1 数量 是 地缘政治区域instance
(domain PerCapitaFn 2 GeopoliticalArea) Mid-level-ontology.kif 7725-7725 PerCapitaFn 的 2 数量 是 地缘政治区域instance

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 2877-2883
(=>
    (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 4640-4649
(=>
    (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 4650-4659
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 GeopoliticalArea))
    (employs
        (GovernmentFn ?AGENT1) ?PERSON))
Government.kif 4478-4482
(=>
    (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 4503-4511
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization)
        (instance ?AGENT2 GeopoliticalArea))
    (agentOperatesInArea ?AGENT1 ?AGENT2))
Government.kif 4496-4501
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT2 GeopoliticalArea))
    (agentOperatesInArea ?PERSON ?AGENT2))
Government.kif 4490-4494
(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea)
        (subOrganization ?ORG ?BRANCH))
    (subOrganization ?ORG
        (GovernmentFn ?AREA)))
Government.kif 1310-1315
(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?BRANCH GovernmentOrganization))
Government.kif 1292-1296
(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (subOrganization ?BRANCH
        (GovernmentFn ?AREA)))
Government.kif 1304-1308
(=>
    (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 1333-1337
(=>
    (and
        (instance
            (JudiciaryFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (judicialBranch
        (JudiciaryFn ?AREA)
        (GovernmentFn ?AREA)))
Government.kif 2152-2156
(=>
    (and
        (instance
            (LegislatureFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (legislativeBranch
        (LegislatureFn ?AREA)
        (GovernmentFn ?AREA)))
Government.kif 2047-2051
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (equal ?CITIZENRY
            (CardinalityFn
                (CitizenryFn ?AREA)))
        (equal ?POPULATION
            (CardinalityFn
                (ResidentFn ?AREA))))
    (greaterThanOrEqualTo ?POPULATION ?CITIZENRY))
Mid-level-ontology.kif 7714-7721
(=>
    (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
        (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 1689-1695
(=>
    (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 2442-2455
(=>
    (and
        (instance ?R PoliticalRevolution)
        (patient ?R ?A))
    (instance ?A GeopoliticalArea))
Mid-level-ontology.kif 13348-13352
(=>
    (and
        (instance ?REL EconomicRelation)
        (domain ?REL 1 ?CLASS))
    (subclass ?CLASS GeopoliticalArea))
Mid-level-ontology.kif 16344-16348
(=>
    (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 13092-13103
(=>
    (and
        (member ?AGENT InternationalCourtOfJustice)
        (attribute ?AGENT JudgeAtLaw))
    (exists (?POLITY)
        (and
            (instance ?POLITY GeopoliticalArea)
            (representativeAgentToAgent ?POLITY ?AGENT InternationalCourtOfJustice))))
Government.kif 3458-3465
(=>
    (attribute ?PERSON Monarch)
    (exists (?PLACE)
        (and
            (instance ?PLACE GeopoliticalArea)
            (governmentType ?PLACE Monarchy)
            (chiefOfState ?PLACE Monarch ?PERSON))))
Government.kif 1360-1366
(=>
    (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 3714-3718
(=>
    (equal ?FY
        (FiscalYearStartingFn ?PLACE ?YEAR))
    (or
        (instance ?PLACE GeopoliticalArea)
        (instance ?PLACE Organization)))
Economy.kif 3740-3744
(=>
    (executiveBranch ?BRANCH ?AGENT)
    (or
        (instance ?BRANCH GeopoliticalArea)
        (instance ?BRANCH Organization)))
Government.kif 1286-1290
(=>
    (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 1372-1387
(=>
    (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 2961-2971
(=>
    (judicialBranch ?BRANCH ?AGENT)
    (or
        (instance ?BRANCH GeopoliticalArea)
        (instance ?BRANCH Organization)))
Government.kif 2099-2103
(=>
    (legislativeBranch ?ORG ?AGENT)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))
Government.kif 2004-2008
(=>
    (suffrageAgeMaximum ?AGENT ?AGE)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))
Government.kif 1020-1024
(=>
    (suffrageAgeMinimum ?AGENT ?AGE)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))
Government.kif 948-952


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