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 地政学的地域 は AutonomousAgent の subclass では %n
(subclass GeopoliticalArea GeographicArea) Merge.kif 14191-14191 地政学的地域 は 地理的地域 の subclass では %n

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


(instance Antarctica GeopoliticalArea) CountriesAndRegions.kif 4240-4240 Antarctica は 地政学的地域 の instance では %n
(instance ConfederateStatesOfAmerica GeopoliticalArea) Government.kif 4802-4802 ConfederateStatesOfAmerica は 地政学的地域 の instance では %n
(instance GazaStrip GeopoliticalArea) CountriesAndRegions.kif 4234-4234 GazaStrip は 地政学的地域 の instance では %n
(instance MiddleEastRegion GeopoliticalArea) Geography.kif 145-145 MiddleEastRegion は 地政学的地域 の instance では %n
(instance Montenegro GeopoliticalArea) Media.kif 2524-2524 Montenegro は 地政学的地域 の instance では %n
(instance PalestinianTerritories GeopoliticalArea) Media.kif 2572-2572 PalestinianTerritories は 地政学的地域 の instance では %n
(instance ParacelIslands GeopoliticalArea) CountriesAndRegions.kif 4235-4235 ParacelIslands は 地政学的地域 の instance では %n
(instance Scotland GeopoliticalArea) CountriesAndRegions.kif 798-798 Scotland は 地政学的地域 の instance では %n
(instance Serbia GeopoliticalArea) Media.kif 2496-2496 Serbia は 地政学的地域 の instance では %n
(instance SpratlyIslands GeopoliticalArea) CountriesAndRegions.kif 4236-4236 SpratlyIslands は 地政学的地域 の instance では %n
(instance SvalbardAndJanMayenIsland GeopoliticalArea) Media.kif 2586-2586 SvalbardAndJanMayenIsland は 地政学的地域 の instance では %n
(instance UnionStatesOfAmerica GeopoliticalArea) Government.kif 4806-4806 UnionStatesOfAmerica は 地政学的地域 の instance では %n
(instance UnitedStatesMinorOutlyingIslands GeopoliticalArea) Media.kif 2610-2610 UnitedStatesMinorOutlyingIslands は 地政学的地域 の instance では %n
(instance WestBank GeopoliticalArea) CountriesAndRegions.kif 4237-4237 WestBank は 地政学的地域 の instance では %n
(instance WesternSahara GeopoliticalArea) CountriesAndRegions.kif 4238-4238 WesternSahara は 地政学的地域 の instance では %n
(subclass City GeopoliticalArea) Merge.kif 14382-14382 都市 は 地政学的地域 の subclass では %n
(subclass CityDistrict GeopoliticalArea) Mid-level-ontology.kif 9244-9244 CityDistrict は 地政学的地域 の subclass では %n
(subclass County GeopoliticalArea) Merge.kif 14389-14389 County は 地政学的地域 の subclass では %n
(subclass DependencyOrSpecialSovereigntyArea GeopoliticalArea) Mid-level-ontology.kif 9184-9184 DependencyOrSpecialSovereigntyArea は 地政学的地域 の subclass では %n
(subclass IndependentState GeopoliticalArea) Mid-level-ontology.kif 9176-9176 IndependentState は 地政学的地域 の subclass では %n
(subclass Nation GeopoliticalArea) Merge.kif 14361-14361 国民 は 地政学的地域 の subclass では %n
(subclass OverseasArea GeopoliticalArea) Government.kif 451-451 OverseasArea は 地政学的地域 の subclass では %n
(subclass ParliamentaryTerritory GeopoliticalArea) Government.kif 489-489 ParliamentaryTerritory は 地政学的地域 の subclass では %n
(subclass PortFacility GeopoliticalArea) Transportation.kif 938-938 PortFacility は 地政学的地域 の subclass では %n
(subclass SelfGoverningTerritory GeopoliticalArea) Government.kif 495-495 SelfGoverningTerritory は 地政学的地域 の subclass では %n

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 AvailableForMilitaryServiceMaleFn の数値 1 引数は 地政学的地域 の instance では %n
(domain BirthsPerThousandFn 1 GeopoliticalArea) People.kif 69-69 BirthsPerThousandFn の数値 1 引数は 地政学的地域 の instance では %n
(domain CabinetFn 1 GeopoliticalArea) Government.kif 1489-1489 CabinetFn の数値 1 引数は 地政学的地域 の instance では %n
(domain ChildrenBornPerWomanFn 1 GeopoliticalArea) People.kif 441-441 ChildrenBornPerWomanFn の数値 1 引数は 地政学的地域 の instance では %n
(domain CitizenryFn 1 GeopoliticalArea) Mid-level-ontology.kif 9206-9206 CitizenryFn の数値 1 引数は 地政学的地域 の instance では %n
(domain ConstitutionFn 1 GeopoliticalArea) Government.kif 638-638 ConstitutionFn の数値 1 引数は 地政学的地域 の instance では %n
(domain DeathsPerThousandFn 1 GeopoliticalArea) People.kif 102-102 DeathsPerThousandFn の数値 1 引数は 地政学的地域 の instance では %n
(domain DeathsPerThousandLiveBirthsFn 1 GeopoliticalArea) People.kif 228-228 DeathsPerThousandLiveBirthsFn の数値 1 引数は 地政学的地域 の instance では %n
(domain ExclusiveFishingZoneFn 1 GeopoliticalArea) Geography.kif 1143-1143 ExclusiveFishingZoneFn の数値 1 引数は 地政学的地域 の instance では %n
(domain ExtendedFishingZoneFn 1 GeopoliticalArea) Geography.kif 1175-1175 ExtendedFishingZoneFn の数値 1 引数は 地政学的地域 の instance では %n
(domain FemaleLifeExpectancyAtBirthFn 1 GeopoliticalArea) People.kif 394-394 FemaleLifeExpectancyAtBirthFn の数値 1 引数は 地政学的地域 の instance では %n
(domain FitForMilitaryServiceMaleFn 1 GeopoliticalArea) Military.kif 955-955 FitForMilitaryServiceMaleFn の数値 1 引数は 地政学的地域 の instance では %n
(domain GovernmentFn 1 GeopoliticalArea) Merge.kif 16872-16872 GovernmentFn の数値 1 引数は 地政学的地域 の instance では %n
(domain GrossNationalProductFn 1 GeopoliticalArea) Economy.kif 1025-1025 GrossNationalProductFn の数値 1 引数は 地政学的地域 の instance では %n
(domain JudiciaryFn 1 GeopoliticalArea) Government.kif 2100-2100 JudiciaryFn の数値 1 引数は 地政学的地域 の instance では %n
(domain LegislatureFn 1 GeopoliticalArea) Government.kif 1998-1998 LegislatureFn の数値 1 引数は 地政学的地域 の instance では %n
(domain LifeExpectancyAtBirthFn 1 GeopoliticalArea) People.kif 297-297 LifeExpectancyAtBirthFn の数値 1 引数は 地政学的地域 の instance では %n
(domain MaleLifeExpectancyAtBirthFn 1 GeopoliticalArea) People.kif 346-346 MaleLifeExpectancyAtBirthFn の数値 1 引数は 地政学的地域 の instance では %n
(domain MaleToFemaleRatioFn 1 GeopoliticalArea) People.kif 192-192 MaleToFemaleRatioFn の数値 1 引数は 地政学的地域 の instance では %n
(domain MaritimeContiguousZoneFn 1 GeopoliticalArea) Geography.kif 1037-1037 MaritimeContiguousZoneFn の数値 1 引数は 地政学的地域 の instance では %n
(domain MaritimeExclusiveEconomicZoneFn 1 GeopoliticalArea) Geography.kif 1111-1111 MaritimeExclusiveEconomicZoneFn の数値 1 引数は 地政学的地域 の instance では %n
(domain MaritimeShelfAreaFn 1 GeopoliticalArea) Geography.kif 1079-1079 MaritimeShelfAreaFn の数値 1 引数は 地政学的地域 の instance では %n
(domain MerchantMarineFn 1 GeopoliticalArea) Transportation.kif 965-965 MerchantMarineFn の数値 1 引数は 地政学的地域 の instance では %n
(domain MigrantsPerThousandFn 1 GeopoliticalArea) People.kif 138-138 MigrantsPerThousandFn の数値 1 引数は 地政学的地域 の instance では %n
(domain OverseasAreaFn 1 GeopoliticalArea) Government.kif 465-465 OverseasAreaFn の数値 1 引数は 地政学的地域 の instance では %n

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