Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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
-------------------------


(subclass GeopoliticalArea GeographicArea) Merge.kif 14228-14228 Geopolitical area is a subclass of geographic area
(subclass GeopoliticalArea AutonomousAgent) Merge.kif 14229-14229 Geopolitical area is a subclass of agent
(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 14230-14233 Geopolitical area is a subclass of agent

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


(instance Scotland GeopoliticalArea) CountriesAndRegions.kif 798-798 Scotland is an instance of geopolitical area
(instance GazaStrip GeopoliticalArea) CountriesAndRegions.kif 4234-4234 Gaza strip is an instance of geopolitical area
(instance ParacelIslands GeopoliticalArea) CountriesAndRegions.kif 4235-4235 Paracel islands is an instance of geopolitical area
(instance SpratlyIslands GeopoliticalArea) CountriesAndRegions.kif 4236-4236 Spratly 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
(instance Antarctica GeopoliticalArea) CountriesAndRegions.kif 4240-4240 Antarctica is an instance of geopolitical area
(instance MiddleEastRegion GeopoliticalArea) Geography.kif 145-145 Middle east region is an instance of geopolitical area
(subclass OverseasArea GeopoliticalArea) Government.kif 451-451 Overseas area is a subclass of geopolitical area
(subclass ParliamentaryTerritory GeopoliticalArea) Government.kif 489-489 Parliamentary territory is a subclass of geopolitical area
(subclass SelfGoverningTerritory GeopoliticalArea) Government.kif 495-495 Self governing territory is a subclass of geopolitical area
(instance ConfederateStatesOfAmerica GeopoliticalArea) Government.kif 4822-4822 Confederate states of america is an instance of geopolitical area
(instance UnionStatesOfAmerica GeopoliticalArea) Government.kif 4826-4826 Union states of america is an instance of geopolitical area
(instance Serbia GeopoliticalArea) Media.kif 2496-2496 Serbia is an instance of geopolitical area
(instance Montenegro GeopoliticalArea) Media.kif 2524-2524 Montenegro is an instance of geopolitical area
(instance PalestinianTerritories GeopoliticalArea) Media.kif 2572-2572 Palestinian territories is an instance of geopolitical area
(instance SvalbardAndJanMayenIsland GeopoliticalArea) Media.kif 2586-2586 Svalbard and Jan Mayen island is an instance of geopolitical area
(instance UnitedStatesMinorOutlyingIslands GeopoliticalArea) Media.kif 2610-2610 United states minor outlying islands is an instance of geopolitical area
(subclass Nation GeopoliticalArea) Merge.kif 14398-14398 Nation is a subclass of geopolitical area
(subclass StateOrProvince GeopoliticalArea) Merge.kif 14405-14405 State or province is a subclass of geopolitical area
(subclass City GeopoliticalArea) Merge.kif 14419-14419 City is a subclass of geopolitical area
(subclass County GeopoliticalArea) Merge.kif 14426-14426 County is a subclass of geopolitical area
(subclass IndependentState GeopoliticalArea) Mid-level-ontology.kif 9216-9216 Independent state is a subclass of geopolitical area
(subclass DependencyOrSpecialSovereigntyArea GeopoliticalArea) Mid-level-ontology.kif 9224-9224 Dependency or special sovereignty area is a subclass of geopolitical area
(subclass CityDistrict GeopoliticalArea) Mid-level-ontology.kif 9284-9284 City district 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 communicationSatelliteForArea 1 GeopoliticalArea) Communications.kif 133-133 The number 1 argument of communication satellite for area is an instance of geopolitical area
(domain internetCountryCode 1 GeopoliticalArea) Communications.kif 507-507 The number 1 argument of internet country code is an instance of geopolitical area
(domain totalGDPInPeriod 1 GeopoliticalArea) Economy.kif 988-988 The number 1 argument of totalGDP in period is an instance of geopolitical area
(domain totalGDP 1 GeopoliticalArea) Economy.kif 1001-1001 The number 1 argument of totalGDP is an instance of geopolitical area
(domain GrossNationalProductFn 1 GeopoliticalArea) Economy.kif 1023-1023 The number 1 argument of GNP is an instance of geopolitical area
(domain realGrowthRateOfGDPInPeriod 1 GeopoliticalArea) Economy.kif 1074-1074 The number 1 argument of real growth rate of GDP in period is an instance of geopolitical area
(domain realGrowthRateOfGDP 1 GeopoliticalArea) Economy.kif 1087-1087 The number 1 argument of real growth rate of GDP is an instance of geopolitical area
(domain perCapitaGDPInPeriod 1 GeopoliticalArea) Economy.kif 1110-1110 The number 1 argument of per capitaGDP in period is an instance of geopolitical area
(domain perCapitaGDP 1 GeopoliticalArea) Economy.kif 1123-1123 The number 1 argument of per capita GDP is an instance of geopolitical area
(domain sectorCompositionOfGDPInPeriod 1 GeopoliticalArea) Economy.kif 1145-1145 The number 1 argument of sector composition of GDP in period is an instance of geopolitical area
(domain sectorCompositionOfGDP 1 GeopoliticalArea) Economy.kif 1162-1162 The number 1 argument of sector composition ofGDP is an instance of geopolitical area
(domain sectorValueOfGDPInPeriod 1 GeopoliticalArea) Economy.kif 1184-1184 The number 1 argument of sector value of GDP in period is an instance of geopolitical area
(domain sectorValueOfGDP 1 GeopoliticalArea) Economy.kif 1208-1208 The number 1 argument of sector value of GDP is an instance of geopolitical area
(domain populationFractionBelowPovertyLineInPeriod 1 GeopoliticalArea) Economy.kif 1244-1244 The number 1 argument of population fraction below poverty line in period is an instance of geopolitical area
(domain populationFractionBelowPovertyLine 1 GeopoliticalArea) Economy.kif 1260-1260 The number 1 argument of population fraction below poverty line is an instance of geopolitical area
(domain lowestDecileShareOfHouseholdIncomeInPeriod 1 GeopoliticalArea) Economy.kif 1288-1288 The number 1 argument of lowest decile share of household income in period is an instance of geopolitical area
(domain lowestDecileShareOfHouseholdIncome 1 GeopoliticalArea) Economy.kif 1306-1306 The number 1 argument of lowest decile share of household income is an instance of geopolitical area
(domain highestDecileShareOfHouseholdIncomeInPeriod 1 GeopoliticalArea) Economy.kif 1333-1333 The number 1 argument of highest decile share of household income in period is an instance of geopolitical area
(domain highestDecileShareOfHouseholdIncome 1 GeopoliticalArea) Economy.kif 1351-1351 The number 1 argument of highest decile share of household income is an instance of geopolitical area
(domain incomeDistributionByGiniIndexInPeriod 1 GeopoliticalArea) Economy.kif 1379-1379 The number 1 argument of income distribution by gini index in period is an instance of geopolitical area
(domain incomeDistributionByGiniIndex 1 GeopoliticalArea) Economy.kif 1394-1394 The number 1 argument of income distribution by gini index is an instance of geopolitical area
(domain inflationRateOfConsumerPricesInPeriod 1 GeopoliticalArea) Economy.kif 1420-1420 The number 1 argument of inflation rate of consumer prices in period is an instance of geopolitical area
(domain inflationRateOfConsumerPrices 1 GeopoliticalArea) Economy.kif 1435-1435 The number 1 argument of inflation rate of consumer prices is an instance of geopolitical area
(domain laborForceTotalInPeriod 1 GeopoliticalArea) Economy.kif 1444-1444 The number 1 argument of labor force total in period is an instance of geopolitical area
(domain laborForceTotal 1 GeopoliticalArea) Economy.kif 1454-1454 The number 1 argument of labor force total is an instance of geopolitical area

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


(=>
    (and
        (instance ?EXPORT Exporting)
        (patient ?EXPORT ?ITEM)
        (instance ?AREA GeopoliticalArea)
        (origin ?EXPORT ?AREA))
    (holdsDuring
        (BeginFn
            (WhenFn ?EXPORT))
        (located ?ITEM ?AREA)))		 Economy.kif 2647-2654 If X is an instance of exporting, Y is a patient of X, Z is an instance of geopolitical area, and X originates at Z, then Y is located at Z holds during the beginning of the time of existence of X
(=>
    (and
        (instance ?EXPORT Exporting)
        (patient ?EXPORT ?ITEM)
        (instance ?AREA GeopoliticalArea)
        (holdsDuring
            (BeginFn
                (WhenFn ?EXPORT))
            (located ?ITEM ?AREA)))
    (holdsDuring
        (EndFn
            (WhenFn ?EXPORT))
        (not
            (located ?ITEM ?AREA))))		 Economy.kif 2656-2665 If X is an instance of exporting, Y is a patient of X, Z is an instance of geopolitical area, and Y is located at Z holds during the beginning of the time of existence of X, then Y is not located at Z holds during the end of the time of existence of X
(=>
    (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 2667-2680 If X is an instance of exporting, Y is a patient of X, Z is an instance of geopolitical area, and Y is located at Z holds during the beginning of the time of existence of X, then there exists W such that W is an instance of geopolitical area, Z is not a geopolitical part of W, W is not a geopolitical part of Z, and Y is located at W holds during the end of the time of existence of X
(=>
    (and
        (instance ?EXPORT Exporting)
        (patient ?EXPORT ?ITEM)
        (instance ?AREA GeopoliticalArea)
        (destination ?EXPORT ?AREA))
    (holdsDuring
        (EndFn
            (WhenFn ?EXPORT))
        (located ?ITEM ?AREA)))		 Economy.kif 2682-2689 If X is an instance of exporting, Y is a patient of X, Z is an instance of geopolitical area, and X ends up at Z, then Y is located at Z holds during the end of the time of existence of X
(=>
    (and
        (instance ?EXPORT Exporting)
        (patient ?EXPORT ?ITEM)
        (instance ?AREA1 GeopoliticalArea)
        (instance ?AREA2 GeopoliticalArea)
        (holdsDuring
            (BeginFn
                (WhenFn ?EXPORT))
            (located ?ITEM ?AREA1))
        (holdsDuring
            (EndFn
                (WhenFn ?EXPORT))
            (located ?ITEM ?AREA2)))
    (not
        (located ?AREA2 ?AREA1)))		 Economy.kif 2691-2701 If All of the following hold: (1) X is an instance of exporting (2) Y is a patient of X (3) Z is an instance of geopolitical area (4) W is an instance of geopolitical area (5) Y is located at Z holds during the beginning of the time of existence of X (6) Y is located at W holds during the end of the time of existence of X, then W is not located at Z
(=>
    (and
        (instance ?EXPORT Exporting)
        (patient ?EXPORT ?ITEM)
        (instance ?AREA1 GeopoliticalArea)
        (origin ?EXPORT ?AREA1)
        (instance ?AREA2 GeopoliticalArea)
        (destination ?EXPORT ?AREA2))
    (not
        (equal ?AREA1 ?AREA2)))		 Economy.kif 2703-2711 If All of the following hold: (1) X is an instance of exporting (2) Y is a patient of X (3) Z is an instance of geopolitical area (4) X originates at Z (5) W is an instance of geopolitical area (6) X ends up at W, then equal Z and W
(=>
    (and
        (instance ?EXPORT Exporting)
        (patient ?EXPORT ?ITEM)
        (instance ?AREA1 GeopoliticalArea)
        (origin ?EXPORT ?AREA1)
        (instance ?AREA2 GeopoliticalArea)
        (destination ?EXPORT ?AREA2))
    (not
        (located ?AREA2 ?AREA1)))		 Economy.kif 2713-2721 If All of the following hold: (1) X is an instance of exporting (2) Y is a patient of X (3) Z is an instance of geopolitical area (4) X originates at Z (5) W is an instance of geopolitical area (6) X ends up at W, then W is not located at Z
(=>
    (and
        (instance ?IMPORT Importing)
        (patient ?IMPORT ?ITEM)
        (instance ?AREA GeopoliticalArea)
        (holdsDuring
            (BeginFn
                (WhenFn ?IMPORT))
            (not
                (located ?ITEM ?AREA))))
    (holdsDuring
        (EndFn
            (WhenFn ?IMPORT))
        (located ?ITEM ?AREA)))		 Economy.kif 2813-2826 If X is an instance of importing, Y is a patient of X, Z is an instance of geopolitical area, and Y is not located at Z holds during the beginning of the time of existence of X, then Y is located at Z holds during the end of the time of existence of X
(=>
    (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 2827-2846 If X is an instance of importing, Y is a patient of X, Z is an instance of geopolitical area, and Y is located at Z holds during the beginning of the time of existence of X, then there exists W such that W is an instance of geopolitical area, Z is not a geopolitical part of W, W is not a geopolitical part of Z, and Y is located at W holds during the end of the time of existence of X
(=>
    (and
        (instance ?IMPORT Importing)
        (patient ?IMPORT ?ITEM)
        (instance ?AREA GeopoliticalArea)
        (destination ?IMPORT ?AREA))
    (holdsDuring
        (EndFn
            (WhenFn ?IMPORT))
        (located ?ITEM ?AREA)))		 Economy.kif 2847-2856 If X is an instance of importing, Y is a patient of X, Z is an instance of geopolitical area, and X ends up at Z, then Y is located at Z holds during the end of the time of existence of X
(=>
    (and
        (instance ?IMPORT Importing)
        (patient ?IMPORT ?ITEM)
        (instance ?AREA1 GeopoliticalArea)
        (instance ?AREA2 GeopoliticalArea)
        (holdsDuring
            (BeginFn
                (WhenFn ?IMPORT))
            (located ?ITEM ?AREA1))
        (holdsDuring
            (EndFn
                (WhenFn ?IMPORT))
            (located ?ITEM ?AREA2)))
    (not
        (located ?AREA2 ?AREA1)))		 Economy.kif 2857-2872 If All of the following hold: (1) X is an instance of importing (2) Y is a patient of X (3) Z is an instance of geopolitical area (4) W is an instance of geopolitical area (5) Y is located at Z holds during the beginning of the time of existence of X (6) Y is located at W holds during the end of the time of existence of X, then W is not located at Z
(=>
    (and
        (instance ?IMPORT Importing)
        (instance ?AREA1 GeopoliticalArea)
        (origin ?IMPORT ?AREA1)
        (instance ?AREA2 GeopoliticalArea)
        (destination ?IMPORT ?AREA2))
    (not
        (equal ?AREA1 ?AREA2)))		 Economy.kif 2873-2881 If X is an instance of importing, Y is an instance of geopolitical area, X originates at Y, Z is an instance of geopolitical area, and X ends up at Z, then equal Y and Z
(=>
    (and
        (instance ?IMPORT Importing)
        (instance ?AREA1 GeopoliticalArea)
        (origin ?IMPORT ?AREA1)
        (instance ?AREA2 GeopoliticalArea)
        (destination ?IMPORT ?AREA2))
    (not
        (located ?AREA2 ?AREA1)))		 Economy.kif 2882-2890 If X is an instance of importing, Y is an instance of geopolitical area, X originates at Y, Z is an instance of geopolitical area, and X ends up at Z, then Z is not located at Y
(=>
    (instance ?region GeopoliticalArea)
    (instance
        (MaritimeClaimsTerritorialSeaFn ?region)
        (PerimeterAreaFn ?region)))		 Geography.kif 2262-2264 If X is an instance of geopolitical area, then the maritime claims territorial sea of X is an instance of the perimeter area of X
(=>
    (instance ?region GeopoliticalArea)
    (instance
        (MaritimeClaimsTerritorialSeaFn ?region) UniformPerimeterArea))		 Geography.kif 2266-2268 If X is an instance of geopolitical area, then the maritime claims territorial sea of X is an instance of uniform perimeter area
(=>
    (and
        (instance ?AREA LandlockedArea)
        (instance ?AREA GeopoliticalArea))
    (not
        (exists (?CLAIM)
            (and
                (instance ?CLAIM MaritimeClaimArea)
                (claimedTerritory ?CLAIM ?AREA)))))		 Geography.kif 2386-2394 If X is an instance of landlocked area and X is an instance of geopolitical area, then there doesn't exist Y such that Y is an instance of maritime claim area and X is a claimed territory of Y
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MaritimeContiguousZoneFn ?AREA) MaritimeContiguousZone))
    (claimedTerritory
        (MaritimeContiguousZoneFn ?AREA) ?AREA))		 Geography.kif 2511-2515 If X is an instance of geopolitical area and the maritime contiguous zone of X is an instance of maritime contiguous zone, then X is a claimed territory of the maritime contiguous zone of X
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MaritimeShelfAreaFn ?AREA) MaritimeShelfArea))
    (claimedTerritory
        (MaritimeShelfAreaFn ?AREA) ?AREA))		 Geography.kif 2553-2557 If X is an instance of geopolitical area and the maritime shelf area of X is an instance of maritime shelf area, then X is a claimed territory of the maritime shelf area of X
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MaritimeExclusiveEconomicZoneFn ?AREA) MaritimeExclusiveEconomicZone))
    (claimedTerritory
        (MaritimeExclusiveEconomicZoneFn ?AREA) ?AREA))		 Geography.kif 2586-2590 If X is an instance of geopolitical area and the maritime exclusive economic zone of X is an instance of maritime exclusive economic zone, then X is a claimed territory of the maritime exclusive economic zone of X
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (ExclusiveFishingZoneFn ?AREA) ExclusiveFishingZone))
    (claimedTerritory
        (ExclusiveFishingZoneFn ?AREA) ?AREA))		 Geography.kif 2618-2622 If X is an instance of geopolitical area and the exclusive fishing zone of X is an instance of exclusive fishing zone, then X is a claimed territory of the exclusive fishing zone of X
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (ExtendedFishingZoneFn ?AREA) ExtendedFishingZone))
    (claimedTerritory
        (ExtendedFishingZoneFn ?AREA) ?AREA))		 Geography.kif 2650-2654 If X is an instance of geopolitical area and the extended fishing zone of X is an instance of extended fishing zone, then X is a claimed territory of the extended fishing zone of X
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (TerritorialSeaFn ?AREA) TerritorialSea))
    (claimedTerritory
        (TerritorialSeaFn ?AREA) ?AREA))		 Geography.kif 2689-2693 If X is an instance of geopolitical area and the territorial sea of X is an instance of territorial sea, then X is a claimed territory of the territorial sea of X
(=>
    (and
        (instance ?GEO
            (GeographicPartTypeFn ?TYPE ?AREA))
        (subclass ?TYPE GeopoliticalArea)
        (instance ?AREA GeopoliticalArea))
    (geopoliticalSubdivision ?GEO ?AREA))		 Geography.kif 8586-8591 If X is an instance of all the instances of Y in Z, Y is a subclass of geopolitical area, and Z is an instance of geopolitical area, then X is a geopolitical part of Z
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (GovernmentFn ?AREA) NationalGovernment))
    (instance ?AREA Nation))		 Government.kif 121-125 If X is an instance of geopolitical area and the government of X is an instance of national government, then X is an instance of nation
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (governmentType ?AREA ?TYPE))
    (attribute
        (GovernmentFn ?AREA) ?TYPE))		 Government.kif 142-146 If X is an instance of geopolitical area and Y is a government type of X, then Y is an attribute of the government of X

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


(=>
    (economyType ?AGENT ?ATTRIBUTE)
    (or
        (instance ?AGENT GeopoliticalArea)
        (instance ?AGENT Organization)))		 Economy.kif 91-95 If X is an economy type of Y, then Y is an instance of geopolitical area or Y is an instance of organization
(=>
    (member ?COMMUNIST Communism)
    (believes ?COMMUNIST
        (=>
            (and
                (instance ?MEANOFPRODUCTION MeanOfProduction)
                (attribute ?OBJ ?MEANOFPRODUCTION)
                (instance ?COUNTRY GeopoliticalArea)
                (located ?OBJ ?COUNTRY))
            (element ?OBJ
                (PropertyFn
                    (CitizenryFn ?COUNTRY))))))		 Economy.kif 880-889 If X is a member of communism, then X believes Y is an instance of mean of production, Y is an attribute of Z, W is an instance of geopolitical area, and Z is located at WZ is an element of belongings of the citizenry of W
(=>
    (member ?CAPITALIST Capitalism)
    (believes ?CAPITALIST
        (exists (?MEANOFPRODUCTION ?OBJ ?COUNTRY ?AA)
            (and
                (instance ?MEANOFPRODUCTION MeanOfProduction)
                (attribute ?OBJ ?MEANOFPRODUCTION)
                (instance ?COUNTRY GeopoliticalArea)
                (located ?OBJ ?COUNTRY)
                (instance ?AA AutonomousAgent)
                (element ?OBJ
                    (PropertyFn ?AA))
                (not
                    (equal ?AA
                        (CitizenryFn ?COUNTRY)))))))		 Economy.kif 905-917 If X is a member of capitalism, then All of the following hold: (1) X believes there exist Y, Z,, , W (2) V such that Y is an instance of mean of production (3) Y is an attribute of Z (4) W is an instance of geopolitical area (5) Z is located at W (6) V is an instance of agent (7) Z is an element of belongings of V (8) equal V (9) the citizenry of W
(=>
    (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 2667-2680 If X is an instance of exporting, Y is a patient of X, Z is an instance of geopolitical area, and Y is located at Z holds during the beginning of the time of existence of X, then there exists W such that W is an instance of geopolitical area, Z is not a geopolitical part of W, W is not a geopolitical part of Z, and Y is located at W holds during the end of the time of existence of X
(=>
    (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 2827-2846 If X is an instance of importing, Y is a patient of X, Z is an instance of geopolitical area, and Y is located at Z holds during the beginning of the time of existence of X, then there exists W such that W is an instance of geopolitical area, Z is not a geopolitical part of W, W is not a geopolitical part of Z, and Y is located at W holds during the end of the time of existence of X
(=>
    (equal ?FY
        (FiscalYearFn ?PLACE))
    (or
        (instance ?PLACE GeopoliticalArea)
        (instance ?PLACE Organization)))		 Economy.kif 4036-4040 If equal X and the fiscal year of Y, then Y is an instance of geopolitical area or Y is an instance of organization
(=>
    (equal ?FY
        (FiscalYearStartingFn ?PLACE ?YEAR))
    (or
        (instance ?PLACE GeopoliticalArea)
        (instance ?PLACE Organization)))		 Economy.kif 4064-4068 If equal X, the fiscal year starting of Y, and Z, then Y is an instance of geopolitical area or Y is an instance of organization
(=>
    (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 6901-6922 If X is an instance of goods and services, then Y is an instance of geopolitical area, if All of the following hold: (1) Z is an instance of manufacture (2) W is a result of Z (3) V is an agent of Z (4) V is a member of the citizenry of Y (5) finishes during the time of existence of Z and U (6) Z is located at Y, then W is a member of X, and if All of the following hold: (1) T is an instance of process (2) service is an attribute of T (3) S is an agent of T (4) S is a member of the citizenry of Y (5) finishes during the time of existence of T and U (6) T is located at Y, then T is a member of X
(=>
    (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 4494-4504 If X is an instance of treaty document, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of committing (3) X is a patient of Y (4) Z is an instance of geopolitical area (5) Z is an agent of Y (6) W is an instance of geopolitical area (7) W is an agent of Y (8) equal Z (9) W
(=>
    (governmentType ?AGENT ?TYPE)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))		 Government.kif 136-140 If X is a government type of Y, then Y is an instance of organization or Y is an instance of geopolitical area
(=>
    (suffrageAgeMinimum ?AGENT ?AGE)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))		 Government.kif 913-917 If X is a suffrage age minimum of Y, then Y is an instance of organization or Y is an instance of geopolitical area
(=>
    (suffrageAgeMaximum ?AGENT ?AGE)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))		 Government.kif 985-989 If X is a suffrage age maximum of Y, then Y is an instance of organization or Y is an instance of geopolitical area
(=>
    (executiveBranch ?BRANCH ?AGENT)
    (or
        (instance ?BRANCH GeopoliticalArea)
        (instance ?BRANCH Organization)))		 Government.kif 1251-1255 If X is an executive branch of Y, then Y is an instance of geopolitical area or Y is an instance of organization
(=>
    (attribute ?PERSON Monarch)
    (exists (?PLACE)
        (and
            (instance ?PLACE GeopoliticalArea)
            (governmentType ?PLACE Monarchy)
            (chiefOfState ?PLACE Monarch ?PERSON))))		 Government.kif 1325-1331 If monarch is an attribute of X, then there exists Y such that Y is an instance of geopolitical area, monarchy is a government type of Y, and Y chief of state monarch for X
(=>
    (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 If X is an instance of coronation, then there exist Y, Z such that Y is an instance of human, Y is a patient of X, Z is an instance of geopolitical area, Z doesn't chief of state monarch for Y holds during the beginning of the time of existence of X, and Z chief of state monarch for Y holds during immediately after the time of existence of X
(=>
    (and
        (instance ?AGENT AutonomousAgent)
        (subclass
            (ElectionFn ?AGENT) Election))
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))		 Government.kif 1654-1660 If X is an instance of agent and the election of X is a subclass of election, then X is an instance of organization or X is an instance of geopolitical area
(=>
    (legislativeBranch ?ORG ?AGENT)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))		 Government.kif 1969-1973 If X is a legislative branch of Y, then X is an instance of organization or X is an instance of geopolitical area
(=>
    (judicialBranch ?BRANCH ?AGENT)
    (or
        (instance ?BRANCH GeopoliticalArea)
        (instance ?BRANCH Organization)))		 Government.kif 2064-2068 If X is a judicial branch of Y, then Y is an instance of geopolitical area or Y is an instance of organization
(=>
    (and
        (member ?AGENT InternationalCourtOfJustice)
        (attribute ?AGENT JudgeAtLaw))
    (exists (?POLITY)
        (and
            (instance ?POLITY GeopoliticalArea)
            (representativeAgentToAgent ?POLITY ?AGENT InternationalCourtOfJustice))))		 Government.kif 3447-3454 If X is a member of international court of justice and judge is an attribute of X, then there exists Y such that Y is an instance of geopolitical area and Y is representative agent to agent X for international court of justice
(=>
    (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 If duty free is an attribute of X and X is an instance of store, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of geopolitical area (3) X is located at Y (4) W is a subclass of object (5) W is an import commodity type of Y (6) Z is an instance of W (7) V is an instance of selling (8) Z is a patient of V (9) V is located at X
(=>
    (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 13514-13525 If X is an instance of war and Y is an agent of X, then Y is an instance of geopolitical area or Y is an instance of organization and For all Physical Z: if Z is a member of Y, then Z is an instance of geopolitical area
(=>
    (and
        (instance ?R PoliticalRevolution)
        (patient ?R ?A))
    (instance ?A GeopoliticalArea))		 Mid-level-ontology.kif 15381-15385 If X is an instance of political revolution and Y is a patient of X, then Y is an instance of geopolitical area
(=>
    (and
        (instance ?REL EconomicRelation)
        (domain ?REL 1 ?CLASS))
    (subclass ?CLASS GeopoliticalArea))		 Mid-level-ontology.kif 18449-18453 If X is an instance of economic relation and the number 1 argument of X is an instance of Y, then Y is a subclass of geopolitical area
(=>
    (instance ?MILITARY MilitaryOrganization)
    (exists (?AREA)
        (and
            (instance ?AREA GeopoliticalArea)
            (militaryOfArea ?MILITARY ?AREA))))		 Military.kif 858-863 If X is an instance of military organization, then there exists Y such that Y is an instance of geopolitical area and Y is a military of area of X
(=>
    (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 If dislocated civilian is an attribute of X, X lives in Y, and Y is located at Z holds during W, Z is an instance of geographic area, and W is an instance of timeframe, then All of the following hold: (1) there exist V, ?PRIOR_PLACE (2) ?PRIOR_RES such that V is an instance of timeframe (3) V happens earlier than W (4) ?PRIOR_RES is an instance of object (5) ?PRIOR_PLACE is an instance of geopolitical area (6) ?PRIOR_RES is located at ?PRIOR_PLACE (7) equal Z (8) ?PRIOR_PLACE (9) equal Y (10) ?PRIOR_RES (11) Z is not a geographic subregion of ?PRIOR_PLACE (12) ?PRIOR_PLACE is not a geographic subregion of Z (13) X lives in ?PRIOR_RES holds during V

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