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。") Merge.kif 18408-18410
(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 18402-18407
(externalImage GeographicArea "http://upload.wikimedia.org/wikipedia/commons/ d/ d2/ Geabios3d.jpg") pictureList.kif 8505-8505 externalImage 地理的地域 and "http://upload.wikimedia.org/wikipedia/commons/d/d2/ Geabios3d.jpg"
(partition GeographicArea WaterArea LandArea) Merge.kif 18401-18401 地理的地域水域 + 土地面積exhaustively partitioned %n
(subclass GeographicArea Region) Merge.kif 18400-18400 地理的地域地域subclass では %n

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


(disjoint AstronomicalBody GeographicArea) Merge.kif 18389-18389 天体地理的地域disjoint では %n
(disjoint SpaceRegion GeographicArea) Mid-level-ontology.kif 8788-8788 SpaceRegion地理的地域disjoint では %n
(instance AntarcticArea GeographicArea) Geography.kif 3448-3448 AntarcticArea地理的地域instance では %n
(instance ArcticRegion GeographicArea) Geography.kif 3407-3407 ArcticRegion地理的地域instance では %n
(instance BetLidJunctionIsrael GeographicArea) CountriesAndRegions.kif 2645-2645 BetLidJunctionIsrael地理的地域instance では %n
(instance BishkekKyrgyzstan GeographicArea) CountriesAndRegions.kif 3594-3594 BishkekKyrgyzstan地理的地域instance では %n
(instance BosphorousStraitsTurkey GeographicArea) CountriesAndRegions.kif 2670-2670 BosphorousStraitsTurkey地理的地域instance では %n
(instance BwindiforestUganda GeographicArea) CountriesAndRegions.kif 2687-2687 BwindiforestUganda地理的地域instance では %n
(instance CaribbeanRegion GeographicArea) Geography.kif 93-93 CaribbeanRegion地理的地域instance では %n
(instance CentralAfrica GeographicArea) Geography.kif 78-78 CentralAfrica地理的地域instance では %n
(instance CentralAsia GeographicArea) Geography.kif 100-100 CentralAsia地理的地域instance では %n
(instance CentralEurope GeographicArea) Geography.kif 84-84 CentralEurope地理的地域instance では %n
(instance CentralSouthAmerica GeographicArea) Geography.kif 95-95 CentralSouthAmerica地理的地域instance では %n
(instance ClarkAirbasePhilippines GeographicArea) CountriesAndRegions.kif 2732-2732 ClarkAirbasePhilippines地理的地域instance では %n
(instance DangDistrictNepal GeographicArea) CountriesAndRegions.kif 2767-2767 DangDistrictNepal地理的地域instance では %n
(instance DistrictOfMansehraPakistan GeographicArea) CountriesAndRegions.kif 2788-2788 DistrictOfMansehraPakistan地理的地域instance では %n
(instance DushanbeAirportTajikistan GeographicArea) CountriesAndRegions.kif 2809-2809 DushanbeAirportTajikistan地理的地域instance では %n
(instance EasternAfrica GeographicArea) Geography.kif 79-79 EasternAfrica地理的地域instance では %n
(instance EasternAsia GeographicArea) Geography.kif 101-101 EasternAsia地理的地域instance では %n
(instance EasternEurope GeographicArea) Geography.kif 85-85 EasternEurope地理的地域instance では %n
(instance EasternSouthAmerica GeographicArea) Geography.kif 96-96 EasternSouthAmerica地理的地域instance では %n
(instance England GeographicArea) Geography.kif 6268-6268 England地理的地域instance では %n
(instance FethiyeAndMarmarisTurkey GeographicArea) CountriesAndRegions.kif 2840-2840 FethiyeAndMarmarisTurkey地理的地域instance では %n
(instance FloridaUnitedStates GeographicArea) CountriesAndRegions.kif 2843-2843 FloridaUnitedStates地理的地域instance では %n
(instance GazaStrip GeographicArea) CountriesAndRegions.kif 1389-1389 GazaStrip地理的地域instance では %n

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 680-680 BorderFn の数値 1 引数は 地理的地域instance では %n
(domain BorderFn 2 GeographicArea) Geography.kif 681-681 BorderFn の数値 2 引数は 地理的地域instance では %n
(domain DatumFn 1 GeographicArea) Geography.kif 4529-4529 DatumFn の数値 1 引数は 地理的地域instance では %n
(domain DemonymFn 1 GeographicArea) Mid-level-ontology.kif 28767-28767 DemonymFn の数値 1 引数は 地理的地域instance では %n
(domain DirectionalSubregionFn 2 GeographicArea) Geography.kif 475-475 DirectionalSubregionFn の数値 2 引数は 地理的地域instance では %n
(domain ElevationHighPointFn 1 GeographicArea) Geography.kif 1895-1895 ElevationHighPointFn の数値 1 引数は 地理的地域instance では %n
(domain ElevationLowPointFn 1 GeographicArea) Geography.kif 1874-1874 ElevationLowPointFn の数値 1 引数は 地理的地域instance では %n
(domain GeographicCenterFn 1 GeographicArea) Geography.kif 335-335 GeographicCenterFn の数値 1 引数は 地理的地域instance では %n
(domain GeographicPartTypeFn 2 GeographicArea) Geography.kif 6236-6236 GeographicPartTypeFn の数値 2 引数は 地理的地域instance では %n
(domain SeacoastFn 1 GeographicArea) Geography.kif 5692-5692 SeacoastFn の数値 1 引数は 地理的地域instance では %n
(domain ShorelineFn 1 GeographicArea) Geography.kif 5749-5749 ShorelineFn の数値 1 引数は 地理的地域instance では %n
(domain agentOperatesInArea 2 GeographicArea) Government.kif 2196-2196 agentOperatesInArea の数値 2 引数は 地理的地域instance では %n
(domain arableLandArea 1 GeographicArea) Geography.kif 2010-2010 arableLandArea の数値 1 引数は 地理的地域instance では %n
(domain areaOfResponsibility 3 GeographicArea) Mid-level-ontology.kif 20814-20814 areaOfResponsibility の数値 3 引数は 地理的地域instance では %n
(domain averagePrecipitationForPeriod 1 GeographicArea) Weather.kif 845-845 averagePrecipitationForPeriod の数値 1 引数は 地理的地域instance では %n
(domain averageRainfallForPeriod 1 GeographicArea) Geography.kif 1277-1277 averageRainfallForPeriod の数値 1 引数は 地理的地域instance では %n
(domain averageTemperatureForPeriod 1 GeographicArea) Weather.kif 597-597 averageTemperatureForPeriod の数値 1 引数は 地理的地域instance では %n
(domain beliefGroupPercentInRegion 3 GeographicArea) People.kif 1525-1525 beliefGroupPercentInRegion の数値 3 引数は 地理的地域instance では %n
(domain bioindicatorForHabitat 1 GeographicArea) Geography.kif 2540-2540 bioindicatorForHabitat の数値 1 引数は 地理的地域instance では %n
(domain claimedTerritory 1 GeographicArea) Geography.kif 950-950 claimedTerritory の数値 1 引数は 地理的地域instance では %n
(domain climateTypeInArea 1 GeographicArea) Geography.kif 1227-1227 climateTypeInArea の数値 1 引数は 地理的地域instance では %n
(domain coldSeasonInArea 1 GeographicArea) Geography.kif 1598-1598 coldSeasonInArea の数値 1 引数は 地理的地域instance では %n
(domain comparativeArea 1 GeographicArea) Geography.kif 642-642 comparativeArea の数値 1 引数は 地理的地域instance では %n
(domain comparativeArea 4 GeographicArea) Geography.kif 646-646 comparativeArea の数値 4 引数は 地理的地域instance では %n
(domain coolSeasonInArea 1 GeographicArea) Geography.kif 1578-1578 coolSeasonInArea の数値 1 引数は 地理的地域instance では %n

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 1848-1853
(=>
    (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 697-702
(=>
    (and
        (instance ?AREA GeographicArea)
        (attribute ?REGION ?ATTRIBUTE)
        (instance ?ATTRIBUTE TerrainAttribute)
        (partlyLocated ?REGION ?AREA))
    (terrainInArea ?AREA ?ATTRIBUTE))
Geography.kif 1668-1674
(=>
    (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 1902-1913
(=>
    (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 1881-1892
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?BLOW VolcanicEruption)
        (eventLocated ?BLOW ?AREA))
    (not
        (attribute ?AREA GeologicallyStable)))
Geography.kif 1806-1811
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?CONE Volcano)
        (attribute ?CONE VolcanicallyActive))
    (not
        (attribute ?AREA GeologicallyStable)))
Geography.kif 1799-1804
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?FAULT GeologicalFault)
        (located ?FAULT ?AREA))
    (not
        (attribute ?AREA GeologicallyStable)))
Geography.kif 1820-1825
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?SHAKING EarthTremor)
        (eventLocated ?SHAKING ?AREA))
    (not
        (attribute ?AREA GeologicallyStable)))
Geography.kif 1813-1818
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?WEATHER ClearWeather)
        (eventLocated ?WEATHER ?AREA)
        (cloudCoverFraction ?AREA ?FRACTION))
    (lessThan ?FRACTION 0.3))
Weather.kif 504-510
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?WEATHER ClearWeather)
        (eventLocated ?WEATHER ?AREA))
    (exists (?FRACTION)
        (and
            (cloudCoverFraction ?AREA ?FRACTION)
            (lessThan ?FRACTION 0.3))))
Weather.kif 494-502
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?WEATHER OvercastWeather)
        (eventLocated ?WEATHER ?AREA)
        (cloudCoverFraction ?AREA ?FRACTION))
    (greaterThan ?FRACTION 0.7))
Weather.kif 555-561
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?WEATHER OvercastWeather)
        (eventLocated ?WEATHER ?AREA))
    (exists (?FRACTION)
        (and
            (cloudCoverFraction ?AREA ?FRACTION)
            (greaterThan ?FRACTION 0.7))))
Weather.kif 545-553
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?WEATHER PartlyCloudyWeather)
        (eventLocated ?WEATHER ?AREA)
        (cloudCoverFraction ?AREA ?FRACTION))
    (and
        (greaterThanOrEqualTo ?FRACTION 0.3)
        (lessThanOrEqualTo ?FRACTION 0.7)))
Weather.kif 529-537
(=>
    (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 518-527
(=>
    (and
        (instance ?AREA GeographicArea)
        (subclass ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO ?TEMP)
        (greaterThan
            (MeasureFn 10 CelsiusDegree) ?TEMP))
    (instance ?AREA PolarClimateZone))
Geography.kif 1518-1524
(=>
    (and
        (instance ?AREA TropicalClimateZone)
        (subclass ?MO Month)
        (instance ?AREA GeographicArea)
        (averageTemperatureForPeriod ?AREA ?MO ?TEMP))
    (greaterThan ?TEMP
        (MeasureFn 18 CelsiusDegree)))
Geography.kif 1264-1270
(=>
    (and
        (instance ?DIRECTION DirectionalAttribute)
        (instance ?AREA GeographicArea)
        (instance
            (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea))
    (geographicSubregion
        (DirectionalSubregionFn ?DIRECTION ?AREA) ?AREA))
Geography.kif 490-495
(=>
    (and
        (instance ?DIRECTION DirectionalAttribute)
        (instance ?AREA GeographicArea)
        (instance
            (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea))
    (orientation
        (DirectionalSubregionFn ?DIRECTION ?AREA)
        (GeographicCenterFn ?AREA) ?DIRECTION))
Geography.kif 497-502
(=>
    (and
        (instance ?ISLE Island)
        (instance ?AREA GeographicArea)
        (meetsSpatially ?ISLE ?AREA))
    (not
        (instance ?AREA LandArea)))
Merge.kif 18605-18611
(=>
    (and
        (instance ?OBJ1 GeographicArea)
        (instance ?OBJ2 GeographicArea))
    (equal
        (BorderFn ?OBJ1 ?OBJ2)
        (BorderFn ?OBJ2 ?OBJ1)))
Geography.kif 691-695
(=>
    (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 3456-3465
(=>
    (and
        (instance ?REGION GeographicArea)
        (located ?REGION ArcticRegion))
    (exists (?DAY)
        (and
            (instance ?DAY Day)
            (holdsDuring ?DAY
                (not
                    (attribute ?REGION Illuminated))))))
Geography.kif 3416-3425

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 1234-1240
(=>
    (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 1842-1847
(=>
    (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 998-1012
(=>
    (instance ?M Map)
    (exists (?A)
        (and
            (instance ?A GeographicArea)
            (represents ?M ?A))))
Mid-level-ontology.kif 10891-10896
(=>
    (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 1044-1053
(=>
    (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 1029-1042
(=>
    (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 1375-1390
(=>
    (instance ?STORM Storm)
    (holdsDuring
        (WhenFn ?STORM)
        (exists (?AREA ?STRONG)
            (and
                (instance ?AREA GeographicArea)
                (surfaceWindSpeed ?AREA
                    (MeasureFn ?STRONG KnotUnitOfSpeed))
                (greaterThan ?STRONG 30)))))
Weather.kif 1335-1344
(=>
    (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 1323-1333
(=>
    (instance ?STORM TropicalCyclone)
    (exists (?PLACE)
        (and
            (instance ?PLACE GeographicArea)
            (geographicSubregion ?PLACE Tropics)
            (eventLocated ?STORM ?PLACE))))
Weather.kif 395-401
(=>
    (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 24483-24491
(=>
    (instance ?X GuideBook)
    (exists (?LOC)
        (and
            (instance ?LOC GeographicArea)
            (refers ?X ?LOC))))
Mid-level-ontology.kif 24471-24476
(=>
    (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 19746-19761
(=>
    (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 4008-4017
(=>
    (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 1660-1666


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