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。 这组类别包括：LandArea、City、城市的分区和县等等。注：一个 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 14193-14196
(subclass GeopoliticalArea AutonomousAgent) Merge.kif 14192-14192 地缘政治区域 是 施事体 的 subclass
(subclass GeopoliticalArea GeographicArea) Merge.kif 14191-14191 地缘政治区域 是 地理区域 的 subclass

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


(instance Antarctica GeopoliticalArea) CountriesAndRegions.kif 4240-4240 南极洲 是 地缘政治区域 的 instance
(instance ConfederateStatesOfAmerica GeopoliticalArea) Government.kif 4802-4802 同盟国美国 是 地缘政治区域 的 instance
(instance GazaStrip GeopoliticalArea) CountriesAndRegions.kif 4234-4234 加沙地带 是 地缘政治区域 的 instance
(instance MiddleEastRegion GeopoliticalArea) Geography.kif 145-145 中东地区 是 地缘政治区域 的 instance
(instance Montenegro GeopoliticalArea) Media.kif 2524-2524 Montenegro 是 地缘政治区域 的 instance
(instance PalestinianTerritories GeopoliticalArea) Media.kif 2572-2572 PalestinianTerritories 是 地缘政治区域 的 instance
(instance ParacelIslands GeopoliticalArea) CountriesAndRegions.kif 4235-4235 西沙群岛 是 地缘政治区域 的 instance
(instance Scotland GeopoliticalArea) CountriesAndRegions.kif 798-798 苏格兰 是 地缘政治区域 的 instance
(instance Serbia GeopoliticalArea) Media.kif 2496-2496 Serbia 是 地缘政治区域 的 instance
(instance SpratlyIslands GeopoliticalArea) CountriesAndRegions.kif 4236-4236 南沙群岛 是 地缘政治区域 的 instance
(instance SvalbardAndJanMayenIsland GeopoliticalArea) Media.kif 2586-2586 SvalbardAndJanMayenIsland 是 地缘政治区域 的 instance
(instance UnionStatesOfAmerica GeopoliticalArea) Government.kif 4806-4806 工会美国 是 地缘政治区域 的 instance
(instance UnitedStatesMinorOutlyingIslands GeopoliticalArea) Media.kif 2610-2610 UnitedStatesMinorOutlyingIslands 是 地缘政治区域 的 instance
(instance WestBank GeopoliticalArea) CountriesAndRegions.kif 4237-4237 西方银行 是 地缘政治区域 的 instance
(instance WesternSahara GeopoliticalArea) CountriesAndRegions.kif 4238-4238 撒哈拉沙漠西部 是 地缘政治区域 的 instance
(subclass City GeopoliticalArea) Merge.kif 14382-14382 城市 是 地缘政治区域 的 subclass
(subclass CityDistrict GeopoliticalArea) Mid-level-ontology.kif 9244-9244 市区 是 地缘政治区域 的 subclass
(subclass County GeopoliticalArea) Merge.kif 14389-14389 县 是 地缘政治区域 的 subclass
(subclass DependencyOrSpecialSovereigntyArea GeopoliticalArea) Mid-level-ontology.kif 9184-9184 依赖或特殊主权领域 是 地缘政治区域 的 subclass
(subclass IndependentState GeopoliticalArea) Mid-level-ontology.kif 9176-9176 独立国家 是 地缘政治区域 的 subclass
(subclass Nation GeopoliticalArea) Merge.kif 14361-14361 国家 是 地缘政治区域 的 subclass
(subclass OverseasArea GeopoliticalArea) Government.kif 451-451 海外地区 是 地缘政治区域 的 subclass
(subclass ParliamentaryTerritory GeopoliticalArea) Government.kif 489-489 议会领土 是 地缘政治区域 的 subclass
(subclass PortFacility GeopoliticalArea) Transportation.kif 938-938 港口设施 是 地缘政治区域 的 subclass
(subclass SelfGoverningTerritory GeopoliticalArea) Government.kif 495-495 自治领土 是 地缘政治区域 的 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 933-933 可用于兵役男性 的 1 数量 是 地缘政治区域 的 instance
(domain BirthsPerThousandFn 1 GeopoliticalArea) People.kif 69-69 每千人分娩 的 1 数量 是 地缘政治区域 的 instance
(domain CabinetFn 1 GeopoliticalArea) Government.kif 1489-1489 内阁 的 1 数量 是 地缘政治区域 的 instance
(domain ChildrenBornPerWomanFn 1 GeopoliticalArea) People.kif 441-441 每个女人出生的孩子 的 1 数量 是 地缘政治区域 的 instance
(domain CitizenryFn 1 GeopoliticalArea) Mid-level-ontology.kif 9206-9206 公民 的 1 数量 是 地缘政治区域 的 instance
(domain ConstitutionFn 1 GeopoliticalArea) Government.kif 638-638 宪法 的 1 数量 是 地缘政治区域 的 instance
(domain DeathsPerThousandFn 1 GeopoliticalArea) People.kif 102-102 每千人死亡 的 1 数量 是 地缘政治区域 的 instance
(domain DeathsPerThousandLiveBirthsFn 1 GeopoliticalArea) People.kif 228-228 每千名活产婴儿死亡人数 的 1 数量 是 地缘政治区域 的 instance
(domain ExclusiveFishingZoneFn 1 GeopoliticalArea) Geography.kif 1143-1143 专属捕鱼区 的 1 数量 是 地缘政治区域 的 instance
(domain ExtendedFishingZoneFn 1 GeopoliticalArea) Geography.kif 1175-1175 延伸捕鱼区 的 1 数量 是 地缘政治区域 的 instance
(domain FemaleLifeExpectancyAtBirthFn 1 GeopoliticalArea) People.kif 394-394 女性出生时的预期寿命 的 1 数量 是 地缘政治区域 的 instance
(domain FitForMilitaryServiceMaleFn 1 GeopoliticalArea) Military.kif 955-955 适合兵役的男性 的 1 数量 是 地缘政治区域 的 instance
(domain GovernmentFn 1 GeopoliticalArea) Merge.kif 16872-16872 政府函数 的 1 数量 是 地缘政治区域 的 instance
(domain GrossNationalProductFn 1 GeopoliticalArea) Economy.kif 1025-1025 GrossNationalProductFn 的 1 数量 是 地缘政治区域 的 instance
(domain JudiciaryFn 1 GeopoliticalArea) Government.kif 2100-2100 司法 的 1 数量 是 地缘政治区域 的 instance
(domain LegislatureFn 1 GeopoliticalArea) Government.kif 1998-1998 立法机关 的 1 数量 是 地缘政治区域 的 instance
(domain LifeExpectancyAtBirthFn 1 GeopoliticalArea) People.kif 297-297 出生时的预期寿命 的 1 数量 是 地缘政治区域 的 instance
(domain MaleLifeExpectancyAtBirthFn 1 GeopoliticalArea) People.kif 346-346 男性出生时的预期寿命 的 1 数量 是 地缘政治区域 的 instance
(domain MaleToFemaleRatioFn 1 GeopoliticalArea) People.kif 192-192 男女比例 的 1 数量 是 地缘政治区域 的 instance
(domain MaritimeContiguousZoneFn 1 GeopoliticalArea) Geography.kif 1037-1037 海上毗连区 的 1 数量 是 地缘政治区域 的 instance
(domain MaritimeExclusiveEconomicZoneFn 1 GeopoliticalArea) Geography.kif 1111-1111 海上专属经济区 的 1 数量 是 地缘政治区域 的 instance
(domain MaritimeShelfAreaFn 1 GeopoliticalArea) Geography.kif 1079-1079 海运货架区 的 1 数量 是 地缘政治区域 的 instance
(domain MerchantMarineFn 1 GeopoliticalArea) Transportation.kif 965-965 商船 的 1 数量 是 地缘政治区域 的 instance
(domain MigrantsPerThousandFn 1 GeopoliticalArea) People.kif 138-138 每千人移民 的 1 数量 是 地缘政治区域 的 instance
(domain OverseasAreaFn 1 GeopoliticalArea) Government.kif 465-465 海外地区 的 1 数量 是 地缘政治区域 的 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)
        (instance ?AREA GeopoliticalArea)
        (equal ?A2
            (SubstringFn ?A3 0 2)))
    (currencyType ?AREA ?CURRENCY))		 Media.kif 2891-2897
(=>
    (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 4609-4618
(=>
    (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 4619-4628
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 GeopoliticalArea))
    (employs
        (GovernmentFn ?AGENT1) ?PERSON))		 Government.kif 4447-4451
(=>
    (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 4472-4480
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization)
        (instance ?AGENT2 GeopoliticalArea))
    (agentOperatesInArea ?AGENT1 ?AGENT2))		 Government.kif 4465-4470
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT2 GeopoliticalArea))
    (agentOperatesInArea ?PERSON ?AGENT2))		 Government.kif 4459-4463
(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea)
        (subOrganization ?ORG ?BRANCH))
    (subOrganization ?ORG
        (GovernmentFn ?AREA)))		 Government.kif 1275-1280
(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?BRANCH GovernmentOrganization))		 Government.kif 1257-1261
(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (subOrganization ?BRANCH
        (GovernmentFn ?AREA)))		 Government.kif 1269-1273
(=>
    (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 1298-1302
(=>
    (and
        (instance
            (JudiciaryFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (judicialBranch
        (JudiciaryFn ?AREA)
        (GovernmentFn ?AREA)))		 Government.kif 2116-2120
(=>
    (and
        (instance
            (LegislatureFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (legislativeBranch
        (LegislatureFn ?AREA)
        (GovernmentFn ?AREA)))		 Government.kif 2012-2016
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (equal ?CITIZENRY
            (CardinalityFn
                (CitizenryFn ?AREA)))
        (equal ?POPULATION
            (CardinalityFn
                (ResidentFn ?AREA))))
    (greaterThanOrEqualTo ?POPULATION ?CITIZENRY))		 Mid-level-ontology.kif 9212-9219
(=>
    (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 1151-1155
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (ExtendedFishingZoneFn ?AREA) ExtendedFishingZone))
    (claimedTerritory
        (ExtendedFishingZoneFn ?AREA) ?AREA))		 Geography.kif 1183-1187
(=>
    (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 1044-1048
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MaritimeExclusiveEconomicZoneFn ?AREA) MaritimeExclusiveEconomicZone))
    (claimedTerritory
        (MaritimeExclusiveEconomicZoneFn ?AREA) ?AREA))		 Geography.kif 1119-1123
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MaritimeShelfAreaFn ?AREA) MaritimeShelfArea))
    (claimedTerritory
        (MaritimeShelfAreaFn ?AREA) ?AREA))		 Geography.kif 1086-1090
(=>
    (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 1489-1502
(=>
    (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 1654-1660
(=>
    (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 2672-2685
(=>
    (and
        (instance ?IMPORT Importing)
        (patient ?IMPORT ?ITEM)
        (instance ?AREA1 GeopoliticalArea)
        (holdsDuring
            (BeginFn
                (WhenFn ?IMPORT))
            (located ?ITEM ?AREA1)))
    (exists (?AREA2)
        (and
            (instance ?AREA2 GeopoliticalArea)
            (not
                (geopoliticalSubdivision ?AREA1 ?AREA2))
            (not
                (geopoliticalSubdivision ?AREA2 ?AREA1))
            (holdsDuring
                (EndFn
                    (WhenFn ?IMPORT))
                (located ?ITEM ?AREA2)))))		 Economy.kif 2832-2851
(=>
    (and
        (instance ?R PoliticalRevolution)
        (patient ?R ?A))
    (instance ?A GeopoliticalArea))		 Mid-level-ontology.kif 15253-15257
(=>
    (and
        (instance ?REL EconomicRelation)
        (domain ?REL 1 ?CLASS))
    (subclass ?CLASS GeopoliticalArea))		 Mid-level-ontology.kif 18292-18296
(=>
    (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 13477-13488
(=>
    (and
        (member ?AGENT InternationalCourtOfJustice)
        (attribute ?AGENT JudgeAtLaw))
    (exists (?POLITY)
        (and
            (instance ?POLITY GeopoliticalArea)
            (representativeAgentToAgent ?POLITY ?AGENT InternationalCourtOfJustice))))		 Government.kif 3427-3434
(=>
    (attribute ?PERSON Monarch)
    (exists (?PLACE)
        (and
            (instance ?PLACE GeopoliticalArea)
            (governmentType ?PLACE Monarchy)
            (chiefOfState ?PLACE Monarch ?PERSON))))		 Government.kif 1325-1331
(=>
    (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 4041-4045
(=>
    (equal ?FY
        (FiscalYearStartingFn ?PLACE ?YEAR))
    (or
        (instance ?PLACE GeopoliticalArea)
        (instance ?PLACE Organization)))		 Economy.kif 4069-4073
(=>
    (executiveBranch ?BRANCH ?AGENT)
    (or
        (instance ?BRANCH GeopoliticalArea)
        (instance ?BRANCH Organization)))		 Government.kif 1251-1255
(=>
    (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 1337-1352
(=>
    (instance ?GAS GoodsAndServices)
    (and
        (instance ?GPA GeopoliticalArea)
        (=>
            (and
                (instance ?M Manufacture)
                (result ?M ?PRODUCT)
                (agent ?M ?MAKER)
                (member ?MAKER
                    (CitizenryFn ?GPA))
                (finishesDuring
                    (WhenFn ?M) ?Y)
                (located ?M ?GPA))
            (member ?PRODUCT ?GAS))
        (=>
            (and
                (instance ?SERVICE Process)
                (attribute ?SERVICE ServiceInEconomics)
                (agent ?SERVICE ?PROVIDER)
                (member ?PROVIDER
                    (CitizenryFn ?GPA))
                (finishesDuring
                    (WhenFn ?SERVICE) ?Y)
                (located ?SERVICE ?GPA))
            (member ?SERVICE ?GAS))))		 Economy.kif 6905-6926
(=>
    (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 856-861
(=>
    (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 3027-3037
(=>
    (judicialBranch ?BRANCH ?AGENT)
    (or
        (instance ?BRANCH GeopoliticalArea)
        (instance ?BRANCH Organization)))		 Government.kif 2064-2068
(=>
    (legislativeBranch ?ORG ?AGENT)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))		 Government.kif 1969-1973
(=>
    (member ?CAPITALIST Capitalism)
    (believes ?CAPITALIST
        (=>
            (and
                (instance ?MEANOFPRODUCTION MeanOfProduction)
                (attribute ?OBJ ?MEANOFPRODUCTION)
                (instance ?COUNTRY GeopoliticalArea)
                (located ?OBJ ?COUNTRY))
            (exists (?AA)
                (and
                    (instance ?AA AutonomousAgent)
                    (element ?OBJ
                        (PropertyFn
                            (?AA)))
                    (not
                        (equal ?AA
                            (CitizenryFn ?COUNTRY))))))))		 Economy.kif 905-919

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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