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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GeographicArea
GeographicArea

appearance as argument number 1
-------------------------


(documentation GeographicArea ChineseLanguage "这是一个地理位置，它一般拥有明确的界限。注：这个和它 直接的超类别 Region 的区别在于，GeographicArea 是地球的三维 Region。因此除了地球以外，所有的 天文物体与一维和二维 Region 都不被列入 GeographicArea。") chinese_format.kif 1435-1437
(documentation GeographicArea EnglishLanguage "A geographic location, generally having definite boundaries. Note that this differs from its immediate superclass Region in that a GeographicArea is a three-dimensional Region of the earth. Accordingly, all astronomical objects other than earth and all one-dimensional and two-dimensional Regions are not classed under GeographicArea.") Merge.kif 12985-12990
(externalImage GeographicArea "http://upload.wikimedia.org/wikipedia/commons/ d/ d2/ Geabios3d.jpg") pictureList.kif 8505-8505
(partition GeographicArea WaterArea LandArea) Merge.kif 12984-12984 partition GeographicArea, WaterArea and LandArea
(subclass GeographicArea Region) Merge.kif 12983-12983 subclass GeographicArea and Region

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


(disjoint AstronomicalBody GeographicArea) Merge.kif 12975-12975 disjoint AstronomicalBody and GeographicArea
(disjoint SpaceRegion GeographicArea) Mid-level-ontology.kif 8790-8790 disjoint SpaceRegion and GeographicArea
(instance AntarcticArea GeographicArea) Geography.kif 3461-3461 instance AntarcticArea and GeographicArea
(instance ArcticRegion GeographicArea) Geography.kif 3420-3420 instance ArcticRegion and GeographicArea
(instance BetLidJunctionIsrael GeographicArea) CountriesAndRegions.kif 2645-2645 instance BetLidJunctionIsrael and GeographicArea
(instance BishkekKyrgyzstan GeographicArea) CountriesAndRegions.kif 3595-3595 instance BishkekKyrgyzstan and GeographicArea
(instance BosphorousStraitsTurkey GeographicArea) CountriesAndRegions.kif 2670-2670 instance BosphorousStraitsTurkey and GeographicArea
(instance BwindiforestUganda GeographicArea) CountriesAndRegions.kif 2687-2687 instance BwindiforestUganda and GeographicArea
(instance CaribbeanRegion GeographicArea) Geography.kif 93-93 instance CaribbeanRegion and GeographicArea
(instance CentralAfrica GeographicArea) Geography.kif 78-78 instance CentralAfrica and GeographicArea
(instance CentralAsia GeographicArea) Geography.kif 100-100 instance CentralAsia and GeographicArea
(instance CentralEurope GeographicArea) Geography.kif 84-84 instance CentralEurope and GeographicArea
(instance CentralSouthAmerica GeographicArea) Geography.kif 95-95 instance CentralSouthAmerica and GeographicArea
(instance ClarkAirbasePhilippines GeographicArea) CountriesAndRegions.kif 2732-2732 instance ClarkAirbasePhilippines and GeographicArea
(instance DangDistrictNepal GeographicArea) CountriesAndRegions.kif 2767-2767 instance DangDistrictNepal and GeographicArea
(instance DistrictOfMansehraPakistan GeographicArea) CountriesAndRegions.kif 2788-2788 instance DistrictOfMansehraPakistan and GeographicArea
(instance DushanbeAirportTajikistan GeographicArea) CountriesAndRegions.kif 2809-2809 instance DushanbeAirportTajikistan and GeographicArea
(instance EasternAfrica GeographicArea) Geography.kif 79-79 instance EasternAfrica and GeographicArea
(instance EasternAsia GeographicArea) Geography.kif 101-101 instance EasternAsia and GeographicArea
(instance EasternEurope GeographicArea) Geography.kif 85-85 instance EasternEurope and GeographicArea
(instance EasternSouthAmerica GeographicArea) Geography.kif 96-96 instance EasternSouthAmerica and GeographicArea
(instance England GeographicArea) Geography.kif 6284-6284 instance England and GeographicArea
(instance FethiyeAndMarmarisTurkey GeographicArea) CountriesAndRegions.kif 2840-2840 instance FethiyeAndMarmarisTurkey and GeographicArea
(instance FloridaUnitedStates GeographicArea) CountriesAndRegions.kif 2843-2843 instance FloridaUnitedStates and GeographicArea
(instance GazaStrip GeographicArea) CountriesAndRegions.kif 1389-1389 instance GazaStrip and GeographicArea

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


(domain BorderFn 1 GeographicArea) Geography.kif 687-687 domain BorderFn, 1 and GeographicArea
(domain BorderFn 2 GeographicArea) Geography.kif 688-688 domain BorderFn, 2 and GeographicArea
(domain DatumFn 1 GeographicArea) Geography.kif 4543-4543 domain DatumFn, 1 and GeographicArea
(domain DemonymFn 1 GeographicArea) Mid-level-ontology.kif 28775-28775 domain DemonymFn, 1 and GeographicArea
(domain DirectionalSubregionFn 2 GeographicArea) Geography.kif 478-478 domain DirectionalSubregionFn, 2 and GeographicArea
(domain ElevationHighPointFn 1 GeographicArea) Geography.kif 1907-1907 domain ElevationHighPointFn, 1 and GeographicArea
(domain ElevationLowPointFn 1 GeographicArea) Geography.kif 1886-1886 domain ElevationLowPointFn, 1 and GeographicArea
(domain GeographicCenterFn 1 GeographicArea) Geography.kif 335-335 domain GeographicCenterFn, 1 and GeographicArea
(domain GeographicPartTypeFn 2 GeographicArea) Geography.kif 6252-6252 domain GeographicPartTypeFn, 2 and GeographicArea
(domain SeacoastFn 1 GeographicArea) Geography.kif 5707-5707 domain SeacoastFn, 1 and GeographicArea
(domain ShorelineFn 1 GeographicArea) Geography.kif 5764-5764 domain ShorelineFn, 1 and GeographicArea
(domain agentOperatesInArea 2 GeographicArea) Government.kif 2190-2190 domain agentOperatesInArea, 2 and GeographicArea
(domain arableLandArea 1 GeographicArea) Geography.kif 2022-2022 domain arableLandArea, 1 and GeographicArea
(domain areaOfResponsibility 3 GeographicArea) Mid-level-ontology.kif 20826-20826 domain areaOfResponsibility, 3 and GeographicArea
(domain averagePrecipitationForPeriod 1 GeographicArea) Weather.kif 844-844 domain averagePrecipitationForPeriod, 1 and GeographicArea
(domain averageRainfallForPeriod 1 GeographicArea) Geography.kif 1289-1289 domain averageRainfallForPeriod, 1 and GeographicArea
(domain averageTemperatureForPeriod 1 GeographicArea) Weather.kif 596-596 domain averageTemperatureForPeriod, 1 and GeographicArea
(domain beliefGroupPercentInRegion 3 GeographicArea) People.kif 1529-1529 domain beliefGroupPercentInRegion, 3 and GeographicArea
(domain bioindicatorForHabitat 1 GeographicArea) Geography.kif 2552-2552 domain bioindicatorForHabitat, 1 and GeographicArea
(domain claimedTerritory 1 GeographicArea) Geography.kif 963-963 domain claimedTerritory, 1 and GeographicArea
(domain climateTypeInArea 1 GeographicArea) Geography.kif 1239-1239 domain climateTypeInArea, 1 and GeographicArea
(domain coldSeasonInArea 1 GeographicArea) Geography.kif 1610-1610 domain coldSeasonInArea, 1 and GeographicArea
(domain comparativeArea 1 GeographicArea) Geography.kif 645-645 domain comparativeArea, 1 and GeographicArea
(domain comparativeArea 4 GeographicArea) Geography.kif 649-649 domain comparativeArea, 4 and GeographicArea
(domain coolSeasonInArea 1 GeographicArea) Geography.kif 1590-1590 domain coolSeasonInArea, 1 and GeographicArea

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (elevation ?OBJECT ?HEIGHT)
        (located ?OBJECT ?PLACE)
        (instance ?PLACE GeographicArea))
    (superficialPart ?PLACE PlanetEarth))		 Geography.kif 1860-1865
(=>
    (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
            (BorderFn ?COUNTRY1 ?COUNTRY2) GeographicArea)
        (instance ?COUNTRY1 Nation)
        (instance ?COUNTRY2 Nation))
    (instance
        (BorderFn ?COUNTRY1 ?COUNTRY2) InternationalBorder))		 Geography.kif 704-709
(=>
    (and
        (instance ?AREA GeographicArea)
        (attribute ?REGION ?ATTRIBUTE)
        (instance ?ATTRIBUTE TerrainAttribute)
        (partlyLocated ?REGION ?AREA))
    (terrainInArea ?AREA ?ATTRIBUTE))		 Geography.kif 1680-1686
(=>
    (and
        (instance ?AREA GeographicArea)
        (geographicSubregion
            (ElevationHighPointFn ?AREA) ?AREA)
        (elevation
            (ElevationHighPointFn ?AREA) ?ELEV1))
    (not
        (exists (?OTHER ?ELEV2)
            (and
                (geographicSubregion ?OTHER ?AREA)
                (not
                    (equal ?OTHER
                        (ElevationHighPointFn ?AREA)))
                (elevation ?OTHER ?ELEV2)
                (greaterThan ?ELEV2 ?ELEV1)))))		 Geography.kif 1914-1925
(=>
    (and
        (instance ?AREA GeographicArea)
        (geographicSubregion
            (ElevationLowPointFn ?AREA) ?AREA)
        (elevation
            (ElevationLowPointFn ?AREA) ?ELEV1))
    (not
        (exists (?OTHER ?ELEV2)
            (and
                (geographicSubregion ?OTHER ?AREA)
                (not
                    (equal ?OTHER
                        (ElevationLowPointFn ?AREA)))
                (elevation ?OTHER ?ELEV2)
                (lessThan ?ELEV2 ?ELEV1)))))		 Geography.kif 1893-1904
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?BLOW VolcanicEruption)
        (eventLocated ?BLOW ?AREA))
    (not
        (attribute ?AREA GeologicallyStable)))		 Geography.kif 1818-1823
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?CONE Volcano)
        (attribute ?CONE VolcanicallyActive))
    (not
        (attribute ?AREA GeologicallyStable)))		 Geography.kif 1811-1816
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?FAULT GeologicalFault)
        (located ?FAULT ?AREA))
    (not
        (attribute ?AREA GeologicallyStable)))		 Geography.kif 1832-1837
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?SHAKING EarthTremor)
        (eventLocated ?SHAKING ?AREA))
    (not
        (attribute ?AREA GeologicallyStable)))		 Geography.kif 1825-1830
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?WEATHER ClearWeather)
        (eventLocated ?WEATHER ?AREA)
        (cloudCoverFraction ?AREA ?FRACTION))
    (lessThan ?FRACTION 0.3))		 Weather.kif 503-509
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?WEATHER ClearWeather)
        (eventLocated ?WEATHER ?AREA))
    (exists (?FRACTION)
        (and
            (cloudCoverFraction ?AREA ?FRACTION)
            (lessThan ?FRACTION 0.3))))		 Weather.kif 493-501
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?WEATHER OvercastWeather)
        (eventLocated ?WEATHER ?AREA)
        (cloudCoverFraction ?AREA ?FRACTION))
    (greaterThan ?FRACTION 0.7))		 Weather.kif 554-560
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?WEATHER OvercastWeather)
        (eventLocated ?WEATHER ?AREA))
    (exists (?FRACTION)
        (and
            (cloudCoverFraction ?AREA ?FRACTION)
            (greaterThan ?FRACTION 0.7))))		 Weather.kif 544-552
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?WEATHER PartlyCloudyWeather)
        (eventLocated ?WEATHER ?AREA)
        (cloudCoverFraction ?AREA ?FRACTION))
    (and
        (greaterThanOrEqualTo ?FRACTION 0.3)
        (lessThanOrEqualTo ?FRACTION 0.7)))		 Weather.kif 528-536
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?WEATHER PartlyCloudyWeather)
        (eventLocated ?WEATHER ?AREA))
    (exists (?FRACTION)
        (and
            (cloudCoverFraction ?AREA ?FRACTION)
            (greaterThanOrEqualTo ?FRACTION 0.3)
            (lessThanOrEqualTo ?FRACTION 0.7))))		 Weather.kif 517-526
(=>
    (and
        (instance ?AREA GeographicArea)
        (subclass ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO ?TEMP)
        (greaterThan
            (MeasureFn 10 CelsiusDegree) ?TEMP))
    (instance ?AREA PolarClimateZone))		 Geography.kif 1530-1536
(=>
    (and
        (instance ?AREA TropicalClimateZone)
        (subclass ?MO Month)
        (instance ?AREA GeographicArea)
        (averageTemperatureForPeriod ?AREA ?MO ?TEMP))
    (greaterThan ?TEMP
        (MeasureFn 18 CelsiusDegree)))		 Geography.kif 1276-1282
(=>
    (and
        (instance ?DIRECTION DirectionalAttribute)
        (instance ?AREA GeographicArea)
        (instance
            (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea))
    (geographicSubregion
        (DirectionalSubregionFn ?DIRECTION ?AREA) ?AREA))		 Geography.kif 493-498
(=>
    (and
        (instance ?DIRECTION DirectionalAttribute)
        (instance ?AREA GeographicArea)
        (instance
            (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea))
    (orientation
        (DirectionalSubregionFn ?DIRECTION ?AREA)
        (GeographicCenterFn ?AREA) ?DIRECTION))		 Geography.kif 500-505
(=>
    (and
        (instance ?ISLE Island)
        (instance ?AREA GeographicArea)
        (meetsSpatially ?ISLE ?AREA))
    (not
        (instance ?AREA LandArea)))		 Merge.kif 13160-13166
(=>
    (and
        (instance ?OBJ1 GeographicArea)
        (instance ?OBJ2 GeographicArea))
    (equal
        (BorderFn ?OBJ1 ?OBJ2)
        (BorderFn ?OBJ2 ?OBJ1)))		 Geography.kif 698-702
(=>
    (and
        (instance ?REGION GeographicArea)
        (instance
            (GeographicCenterFn ?REGION) GeographicArea))
    (geographicSubregion
        (GeographicCenterFn ?REGION) ?REGION))		 Geography.kif 342-346
(=>
    (and
        (instance ?REGION GeographicArea)
        (located ?REGION AntarcticArea))
    (exists (?DAY)
        (and
            (instance ?DAY Day)
            (holdsDuring ?DAY
                (not
                    (attribute ?REGION Illuminated))))))		 Geography.kif 3469-3478
(=>
    (and
        (instance ?REGION GeographicArea)
        (located ?REGION ArcticRegion))
    (exists (?DAY)
        (and
            (instance ?DAY Day)
            (holdsDuring ?DAY
                (not
                    (attribute ?REGION Illuminated))))))		 Geography.kif 3429-3438

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (climateTypeInArea ?AREA ?TYPE)
    (exists (?REGION)
        (and
            (instance ?REGION GeographicArea)
            (instance ?REGION ?TYPE)
            (part ?REGION ?AREA))))		 Geography.kif 1246-1252
(=>
    (codeMapping ISO-3166-1-alpha-2 ?TOKEN ?X)
    (and
        (instance ?X GeographicArea)
        (instance ?TOKEN AlphabeticString)
        (stringLength 2 ?TOKEN)))		 Media.kif 2606-2611
(=>
    (elevation ?OBJECT ?HEIGHT)
    (exists (?PLACE)
        (and
            (instance ?PLACE GeographicArea)
            (located ?OBJECT ?PLACE))))		 Geography.kif 1854-1859
(=>
    (instance ?M GroundAttackMissile)
    (hasPurpose ?M
        (exists (?OBJ ?REGION ?DAMAGE)
            (and
                (instrument ?DAMAGE ?M)
                (patient ?DAMAGE ?OBJ)
                (instance ?DAMAGE Damaging)
                (instance ?REGION GeographicArea)
                (holdsDuring
                    (BeginFn
                        (WhenFn ?DAMAGE))
                    (and
                        (located ?M ?REGION)
                        (located ?OBJ ?REGION)))))))		 MilitaryDevices.kif 999-1013
(=>
    (instance ?M Map)
    (exists (?A)
        (and
            (instance ?A GeographicArea)
            (represents ?M ?A))))		 Mid-level-ontology.kif 10896-10901
(=>
    (instance ?PROCESS Blizzard)
    (exists (?AREA ?DIST)
        (and
            (instance ?AREA GeographicArea)
            (eventLocated ?PROCESS ?AREA)
            (visibilityInMeteorology ?AREA
                (WhenFn ?PROCESS)
                (MeasureFn ?DIST Meter))
            (lessThan ?DIST 400))))		 Weather.kif 1141-1150
(=>
    (instance ?PROCESS Blizzard)
    (holdsDuring
        (WhenFn ?PROCESS)
        (exists (?AREA ?GALE ?DURATION)
            (and
                (instance ?AREA GeographicArea)
                (eventLocated ?PROCESS ?AREA)
                (surfaceWindSpeed ?AREA
                    (MeasureFn ?GALE KnotUnitOfSpeed))
                (greaterThan ?GALE 35)
                (duration
                    (WhenFn ?PROCESS)
                    (MeasureFn ?DURATION HourDuration))
                (greaterThan ?DURATION 3)))))		 Weather.kif 1126-1139
(=>
    (instance ?SNOWSTORM Snowstorm)
    (holdsDuring
        (WhenFn ?SNOWSTORM)
        (exists (?SNOW ?AREA ?NUM)
            (and
                (instance ?SNOW Snowing)
                (instance ?AREA GeographicArea)
                (eventLocated ?SNOW ?AREA)
                (subProcess ?SNOW ?SNOWSTORM)
                (snowfallIntensity ?AREA
                    (WhenFn ?SNOW)
                    (PerFn
                        (MeasureFn ?NUM Centimeter)
                        (MeasureFn 1 HourDuration)))
                (greaterThan ?NUM 5)))))		 Weather.kif 1471-1486
(=>
    (instance ?STORM Storm)
    (holdsDuring
        (WhenFn ?STORM)
        (exists (?AREA ?STRONG)
            (and
                (instance ?AREA GeographicArea)
                (surfaceWindSpeed ?AREA
                    (MeasureFn ?STRONG KnotUnitOfSpeed))
                (greaterThan ?STRONG 30)))))		 Weather.kif 1431-1440
(=>
    (instance ?STORM Storm)
    (holdsDuring
        (WhenFn ?STORM)
        (modalAttribute
            (exists (?P ?AREA)
                (and
                    (instance ?P Precipitation)
                    (instance ?AREA GeographicArea)
                    (eventLocated ?P ?AREA)
                    (subProcess ?P ?STORM))) Likely)))		 Weather.kif 1419-1429
(=>
    (instance ?STORM TropicalCyclone)
    (exists (?PLACE)
        (and
            (instance ?PLACE GeographicArea)
            (geographicSubregion ?PLACE Tropics)
            (eventLocated ?STORM ?PLACE))))		 Weather.kif 394-400
(=>
    (instance ?X DiningGuide)
    (exists (?LOC ?REST)
        (and
            (instance ?LOC GeographicArea)
            (refers ?X ?LOC)
            (instance ?REST Restaurant)
            (located ?REST ?LOC)
            (refers ?X ?REST))))		 Mid-level-ontology.kif 24495-24503
(=>
    (instance ?X GuideBook)
    (exists (?LOC)
        (and
            (instance ?LOC GeographicArea)
            (refers ?X ?LOC))))		 Mid-level-ontology.kif 24483-24488
(=>
    (instance ?X Kidnapping)
    (exists (?A ?LOC1 ?LOC2)
        (and
            (instance ?A SentientAgent)
            (instance ?LOC1 GeographicArea)
            (instance ?LOC2 GeographicArea)
            (not
                (equal ?LOC1 ?LOC2))
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?X))
                (located ?A ?LOC1))
            (holdsDuring
                (WhenFn ?X)
                (located ?A ?LOC2)))))		 Mid-level-ontology.kif 19758-19773
(=>
    (instance ?X LandVehicle)
    (hasPurpose ?X
        (exists (?EV ?SURF)
            (and
                (surface ?SURF GeographicArea)
                (instance ?EV Transportation)
                (holdsDuring
                    (WhenFn ?EV)
                    (meetsSpatially ?X ?SURF))))))		 Mid-level-ontology.kif 4004-4013
(=>
    (instance ?X SubwaySystem)
    (exists (?SURF)
        (and
            (surface ?SURF GeographicArea)
            (orientation ?X ?SURF Below))))		 Transportation.kif 325-330
(=>
    (terrainInArea ?AREA ?ATTRIBUTE)
    (exists (?REGION)
        (and
            (instance ?REGION GeographicArea)
            (attribute ?REGION ?ATTRIBUTE)
            (partlyLocated ?REGION ?AREA))))		 Geography.kif 1672-1678


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners