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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IndoIranianLanguage

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 13032-13037
(externalImage GeographicArea "http://upload.wikimedia.org/wikipedia/commons/ d/ d2/ Geabios3d.jpg") pictureList.kif 8505-8505
(partition GeographicArea WaterArea LandArea) Merge.kif 13031-13031 地理区域 详尽无遗地 partition水域土地面积
(subclass GeographicArea Region) Merge.kif 13030-13030 地理区域地区subclass

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


(disjoint AstronomicalBody GeographicArea) Merge.kif 13022-13022 天文体 和 % 2 是 disjoint
(disjoint SpaceRegion GeographicArea) Mid-level-ontology.kif 8771-8771 空间区域 和 % 2 是 disjoint
(instance AntarcticArea GeographicArea) Geography.kif 3461-3461 南极地区地理区域instance
(instance ArcticRegion GeographicArea) Geography.kif 3420-3420 北极地区地理区域instance
(instance BetLidJunctionIsrael GeographicArea) CountriesAndRegions.kif 2645-2645 Bet lid 以色列交界处地理区域instance
(instance BishkekKyrgyzstan GeographicArea) CountriesAndRegions.kif 3595-3595 吉尔吉斯首都比什凯克地理区域instance
(instance BosphorousStraitsTurkey GeographicArea) CountriesAndRegions.kif 2670-2670 博斯普鲁斯海峡火鸡地理区域instance
(instance BwindiforestUganda GeographicArea) CountriesAndRegions.kif 2687-2687 Bwindiforest乌干达地理区域instance
(instance CaribbeanRegion GeographicArea) Geography.kif 93-93 加勒比地区地理区域instance
(instance CentralAfrica GeographicArea) Geography.kif 78-78 中非地理区域instance
(instance CentralAsia GeographicArea) Geography.kif 100-100 中亚地理区域instance
(instance CentralEurope GeographicArea) Geography.kif 84-84 欧洲中部地理区域instance
(instance CentralSouthAmerica GeographicArea) Geography.kif 95-95 中南美洲地理区域instance
(instance ClarkAirbasePhilippines GeographicArea) CountriesAndRegions.kif 2732-2732 克拉克空军基地菲律宾地理区域instance
(instance DangDistrictNepal GeographicArea) CountriesAndRegions.kif 2767-2767 尼泊尔 dang 地区地理区域instance
(instance DistrictOfMansehraPakistan GeographicArea) CountriesAndRegions.kif 2788-2788 曼西拉巴基斯坦区地理区域instance
(instance DushanbeAirportTajikistan GeographicArea) CountriesAndRegions.kif 2809-2809 杜尚别机场塔吉克斯坦地理区域instance
(instance EasternAfrica GeographicArea) Geography.kif 79-79 东非地理区域instance
(instance EasternAsia GeographicArea) Geography.kif 101-101 东亚地理区域instance
(instance EasternEurope GeographicArea) Geography.kif 85-85 东欧洲地理区域instance
(instance EasternSouthAmerica GeographicArea) Geography.kif 96-96 东南美洲地理区域instance
(instance England GeographicArea) Geography.kif 6377-6377 England地理区域instance
(instance FethiyeAndMarmarisTurkey GeographicArea) CountriesAndRegions.kif 2840-2840 费特希耶和马尔马里斯火鸡地理区域instance
(instance FloridaUnitedStates GeographicArea) CountriesAndRegions.kif 2843-2843 佛罗里达地理区域instance
(instance GazaStrip GeographicArea) CountriesAndRegions.kif 1389-1389 加沙地带地理区域instance

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 边界 的 1 数量 是 地理区域instance
(domain BorderFn 2 GeographicArea) Geography.kif 688-688 边界 的 2 数量 是 地理区域instance
(domain DatumFn 1 GeographicArea) Geography.kif 4558-4558 基准 的 1 数量 是 地理区域instance
(domain DemonymFn 1 GeographicArea) Mid-level-ontology.kif 28807-28807 DemonymFn 的 1 数量 是 地理区域instance
(domain DirectionalSubregionFn 2 GeographicArea) Geography.kif 478-478 定向分区域 的 2 数量 是 地理区域instance
(domain ElevationHighPointFn 1 GeographicArea) Geography.kif 1907-1907 海拔高点 的 1 数量 是 地理区域instance
(domain ElevationLowPointFn 1 GeographicArea) Geography.kif 1886-1886 海拔低点 的 1 数量 是 地理区域instance
(domain GeographicCenterFn 1 GeographicArea) Geography.kif 335-335 地理中心 的 1 数量 是 地理区域instance
(domain GeographicPartTypeFn 2 GeographicArea) Geography.kif 6345-6345 GeographicPartTypeFn 的 2 数量 是 地理区域instance
(domain SeacoastFn 1 GeographicArea) Geography.kif 5800-5800 海岸 的 1 数量 是 地理区域instance
(domain ShorelineFn 1 GeographicArea) Geography.kif 5857-5857 海岸线 的 1 数量 是 地理区域instance
(domain agentOperatesInArea 2 GeographicArea) Government.kif 2190-2190 代理人在区域内经营 的 2 数量 是 地理区域instance
(domain arableLandArea 1 GeographicArea) Geography.kif 2022-2022 耕地面积 的 1 数量 是 地理区域instance
(domain areaOfResponsibility 3 GeographicArea) Mid-level-ontology.kif 20857-20857 所负责的地区 的 3 数量 是 地理区域instance
(domain averagePrecipitationForPeriod 1 GeographicArea) Weather.kif 840-840 期间平均降水量 的 1 数量 是 地理区域instance
(domain averageRainfallForPeriod 1 GeographicArea) Geography.kif 1289-1289 期间平均降雨量 的 1 数量 是 地理区域instance
(domain averageTemperatureForPeriod 1 GeographicArea) Weather.kif 596-596 期间平均温度 的 1 数量 是 地理区域instance
(domain beliefGroupPercentInRegion 3 GeographicArea) People.kif 1529-1529 beliefGroupPercentInRegion 的 3 数量 是 地理区域instance
(domain bioindicatorForHabitat 1 GeographicArea) Geography.kif 2552-2552 栖息地的生物指示器 的 1 数量 是 地理区域instance
(domain claimedTerritory 1 GeographicArea) Geography.kif 963-963 声称领土 的 1 数量 是 地理区域instance
(domain climateTypeInArea 1 GeographicArea) Geography.kif 1239-1239 地区气候类型 的 1 数量 是 地理区域instance
(domain coldSeasonInArea 1 GeographicArea) Geography.kif 1610-1610 地区寒冷季节 的 1 数量 是 地理区域instance
(domain comparativeArea 1 GeographicArea) Geography.kif 645-645 比较区域 的 1 数量 是 地理区域instance
(domain comparativeArea 4 GeographicArea) Geography.kif 649-649 比较区域 的 4 数量 是 地理区域instance
(domain coolSeasonInArea 1 GeographicArea) Geography.kif 1590-1590 该地区凉爽的季节 的 1 数量 是 地理区域instance

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 13207-13213
(=>
    (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
-------------------------


(=>
    (and
        (instance ?T Tornado)
        (instance ?R Rotating)
        (instance ?A Air)
        (instance ?TRAN Translocation)
        (subProcess ?R ?T)
        (subProcess ?TRAN ?R)
        (patient ?TRAN ?A)
        (direction ?TRAN Horizontal))
    (exists (?G ?FUNNEL ?TOP ?BOTTOM ?C ?BASE)
        (and
            (instance ?G GeographicArea)
            (eventLocated ?T ?G)
            (part ?FUNNEL ?A)
            (attribute ?FUNNEL ConeSegment)
            (top ?TOP ?FUNNEL)
            (bottom ?BOTTOM ?FUNNEL)
            (instance ?C Cloud)
            (bottom ?BASE ?C)
            (meetsSpatially ?TOP ?BASE)
            (meetsSpatially ?BOTTOM ?G))))
Weather.kif 1254-1275
(=>
    (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 10923-10928
(=>
    (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 1509-1518
(=>
    (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 1494-1507
(=>
    (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 1795-1810
(=>
    (instance ?STORM Storm)
    (holdsDuring
        (WhenFn ?STORM)
        (exists (?AREA ?STRONG)
            (and
                (instance ?AREA GeographicArea)
                (surfaceWindSpeed ?AREA
                    (MeasureFn ?STRONG KnotUnitOfSpeed))
                (greaterThan ?STRONG 30)))))
Weather.kif 1760-1769
(=>
    (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 1748-1758
(=>
    (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 24526-24534
(=>
    (instance ?X GuideBook)
    (exists (?LOC)
        (and
            (instance ?LOC GeographicArea)
            (refers ?X ?LOC))))
Mid-level-ontology.kif 24514-24519
(=>
    (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 19789-19804
(=>
    (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 4010-4019
(=>
    (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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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