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 14003-14008 | |
(externalImage GeographicArea "http://upload.wikimedia.org/wikipedia/commons/ d/ d2/ Geabios3d.jpg") | pictureList.kif 8502-8502 | |
(partition GeographicArea WaterArea LandArea) | Merge.kif 14002-14002 | |
(subclass GeographicArea Region) | Merge.kif 14001-14001 |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
antecedent |
![]() |
(=> (and (elevation ?OBJECT ?HEIGHT) (located ?OBJECT ?PLACE) (instance ?PLACE GeographicArea)) (superficialPart ?PLACE PlanetEarth)) |
Geography.kif 1907-1912 | |
(=> (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 705-710 | |
(=> (and (instance ?AREA GeographicArea) (attribute ?REGION ?ATTRIBUTE) (instance ?ATTRIBUTE TerrainAttribute) (partlyLocated ?REGION ?AREA)) (terrainInArea ?AREA ?ATTRIBUTE)) |
Geography.kif 1727-1733 | |
(=> (and (instance ?AREA GeographicArea) (geographicSubregion (ElevationHighPointFn ?AREA) ?AREA) (elevation (ElevationHighPointFn ?AREA) (MeasureFn ?ELEV1 ?UNIT))) (not (exists (?OTHER ?ELEV2) (and (geographicSubregion ?OTHER ?AREA) (not (equal ?OTHER (ElevationHighPointFn ?AREA))) (elevation ?OTHER (MeasureFn ?ELEV2 ?UNIT)) (greaterThan ?ELEV2 ?ELEV1))))) |
Geography.kif 1964-1975 | |
(=> (and (instance ?AREA GeographicArea) (geographicSubregion (ElevationLowPointFn ?AREA) ?AREA) (instance ?U UnitOfLength) (elevation (ElevationLowPointFn ?AREA) (MeasureFn ?ELEV1 ?U))) (not (exists (?OTHER ?ELEV2) (and (geographicSubregion ?OTHER ?AREA) (not (equal ?OTHER (ElevationLowPointFn ?AREA))) (elevation ?OTHER (MeasureFn ?ELEV2 ?U)) (lessThan ?ELEV2 ?ELEV1))))) |
Geography.kif 1940-1954 | |
(=> (and (instance ?AREA GeographicArea) (instance ?BLOW VolcanicEruption) (eventLocated ?BLOW ?AREA)) (not (attribute ?AREA GeologicallyStable))) |
Geography.kif 1865-1870 | |
(=> (and (instance ?AREA GeographicArea) (instance ?CONE Volcano) (attribute ?CONE VolcanicallyActive)) (not (attribute ?AREA GeologicallyStable))) |
Geography.kif 1858-1863 | |
(=> (and (instance ?AREA GeographicArea) (instance ?FAULT GeologicalFault) (located ?FAULT ?AREA)) (not (attribute ?AREA GeologicallyStable))) |
Geography.kif 1879-1884 | |
(=> (and (instance ?AREA GeographicArea) (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree)) (greaterThan 10.0 ?TEMP)) (climateTypeInArea ?AREA PolarClimateZone)) |
Geography.kif 1575-1582 | |
(=> (and (instance ?AREA GeographicArea) (instance ?SHAKING EarthTremor) (eventLocated ?SHAKING ?AREA)) (not (attribute ?AREA GeologicallyStable))) |
Geography.kif 1872-1877 | |
(=> (and (instance ?AREA GeographicArea) (instance ?WEATHER ClearWeather) (eventLocated ?WEATHER ?AREA) (cloudCoverFraction ?AREA ?FRACTION)) (lessThan ?FRACTION 0.3)) |
Weather.kif 892-898 | |
(=> (and (instance ?AREA GeographicArea) (instance ?WEATHER ClearWeather) (eventLocated ?WEATHER ?AREA)) (exists (?FRACTION) (and (cloudCoverFraction ?AREA ?FRACTION) (lessThan ?FRACTION 0.3)))) |
Weather.kif 882-890 | |
(=> (and (instance ?AREA GeographicArea) (instance ?WEATHER OvercastWeather) (eventLocated ?WEATHER ?AREA) (cloudCoverFraction ?AREA ?FRACTION)) (greaterThan ?FRACTION 0.7)) |
Weather.kif 943-949 | |
(=> (and (instance ?AREA GeographicArea) (instance ?WEATHER OvercastWeather) (eventLocated ?WEATHER ?AREA)) (exists (?FRACTION) (and (cloudCoverFraction ?AREA ?FRACTION) (greaterThan ?FRACTION 0.7)))) |
Weather.kif 933-941 | |
(=> (and (instance ?AREA GeographicArea) (instance ?WEATHER PartlyCloudyWeather) (eventLocated ?WEATHER ?AREA) (cloudCoverFraction ?AREA ?FRACTION)) (and (greaterThanOrEqualTo ?FRACTION 0.3) (lessThanOrEqualTo ?FRACTION 0.7))) |
Weather.kif 917-925 | |
(=> (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 906-915 | |
(=> (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 ?DUST DustStorm) (instance ?PLACE GeographicArea) (eventLocated ?DUST ?PLACE)) (holdsDuring (WhenFn ?DUST) (modalAttribute (attribute ?PLACE BadAirQuality) Likely))) |
Weather.kif 2600-2608 | |
(=> (and (instance ?FOG Fogging) (eventLocated ?FOG ?AREA) (instance ?AREA GeographicArea) (instance ?AIR AtmosphericRegion) (orientation ?AIR ?AREA Above) (instance ?A Aerosal) (locatedAtTime ?A (WhenFn ?FOG) ?AIR) (visibilityInMeteorology ?AREA (WhenFn ?FOG) (MeasureFn ?VISIBILITY Meter))) (lessThan ?VISIBILITY 1000.0)) |
Weather.kif 2537-2550 | |
(=> (and (instance ?H Hurricane) (eventLocated ?H ?P) (instance ?P GeographicArea) (or (located ?P ?SEA) (meetsSpatially ?P ?SEA))) (or (equal ?SEA NortheasternPacificOcean) (equal ?SEA NorthAtlanticOcean))) |
Weather.kif 753-763 | |
(=> (and (instance ?HAZE AtmosphericHazing) (eventLocated ?HAZE ?AREA) (instance ?AREA GeographicArea) (instance ?AIR AtmosphericRegion) (orientation ?AIR ?AREA Above) (locatedAtTime ?PARTICULATE (WhenFn ?HAZE) ?AIR) (visibilityInMeteorology ?AREA (WhenFn ?HAZE) (MeasureFn ?VISIBILITY Kilometer))) (and (greaterThan ?VISIBILITY 2.0) (lessThan ?VISIBILITY 5.0))) |
Weather.kif 2566-2580 | |
(=> (and (instance ?HAZE AtmosphericHazing) (instance ?PLACE GeographicArea) (eventLocated ?HAZE ?PLACE)) (holdsDuring (WhenFn ?HAZE) (modalAttribute (attribute ?PLACE BadAirQuality) Likely))) |
Weather.kif 2590-2598 | |
(=> (and (instance ?ISLE Island) (instance ?AREA GeographicArea) (meetsSpatially ?ISLE ?AREA)) (not (instance ?AREA LandArea))) |
Merge.kif 14178-14184 | |
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 1651-1672 | |
(=> (and (instance ?TEXT BirthCertificate) (instance ?B Birth) (instance ?A Human) (experiencer ?B ?A)) (containsFormula ?TEXT (exists (?DAY ?P ?N) (and (birthdate ?A ?DAY) (instance ?DAY Day) (birthplace ?A ?P) (instance ?P GeographicArea) (represents ?N ?A) (instance ?N Name))))) |
Biography.kif 250-264 | |
(=> (and (instance ?TEXT DeathCertificate) (instance ?D Death) (instance ?A Human) (experiencer ?D ?A)) (containsFormula ?TEXT (exists (?DAY ?P ?N ?PROC) (and (deathdate ?A ?DAY) (instance ?DAY Day) (deathplace ?A ?P) (instance ?P GeographicArea) (represents ?N ?A) (instance ?N Name) (causes ?PROC ?D) (instance ?PROC Process))))) |
Biography.kif 280-296 | |
(=> (climateTypeInArea ?AREA ?CLASS) (exists (?REGION ?TYPE) (and (instance ?REGION GeographicArea) (instance ?TYPE ?CLASS) (attribute ?REGION ?TYPE) (part ?REGION ?AREA)))) |
Geography.kif 1254-1261 | |
(=> (codeMapping ISO-3166-1-alpha-2 ?TOKEN ?X) (and (instance ?X GeographicArea) (instance ?TOKEN AlphabeticString) (stringLength 2 ?TOKEN))) |
Media.kif 2636-2641 | |
(=> (elevation ?OBJECT ?HEIGHT) (exists (?PLACE) (and (instance ?PLACE GeographicArea) (located ?OBJECT ?PLACE)))) |
Geography.kif 1901-1906 | |
(=> (instance ?CAC Cactus) (modalAttribute (exists (?AREA) (and (instance ?AREA GeographicArea) (located ?CAC ?AREA) (exists (?D) (and (instance ?D Drought) (eventLocated ?D ?AREA))))) Likely)) |
Geography.kif 6280-6290 | |
(=> (instance ?DUSTSTORM DustStorm) (or (exists (?AREA1) (and (instance ?AREA1 GeographicArea) (climateTypeInArea ?AREA1 AridClimateZone) (eventLocated ?DUSTSTORM ?AREA1))) (exists (?AREA2) (and (instance ?AREA2 GeographicArea) (climateTypeInArea ?AREA2 SemiaridClimateZone) (eventLocated ?DUSTSTORM ?AREA2))))) |
Weather.kif 1261-1273 | |
(=> (instance ?H Hurricane) (exists (?TC ?PLACE ?WIND) (and (instance ?TC TropicalCyclone) (instance ?PLACE GeographicArea) (eventLocated ?TC ?PLACE) (equal (MeasureFn ?WIND MilesPerHour) (Mean1MinuteWindSpeedFn ?PLACE (WhenFn ?TC))) (greaterThanOrEqualTo ?WIND 74.0)))) |
Weather.kif 740-751 | |
(=> (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 13260-13265 | |
(=> (instance ?M SurfaceWindSpeedMeasuring) (exists (?PLACE ?TOOL) (and (instance ?PLACE GeographicArea) (instance ?TOOL Device) (eventLocated ?M ?PLACE) (instrument ?M ?TOOL) (holdsDuring (WhenFn ?M) (elevation ?TOOL (MeasureFn 10.0 Meter)))))) |
Weather.kif 1732-1742 | |
(=> (instance ?PROCESS Blizzard) (exists (?AREA ?DIST) (and (instance ?AREA GeographicArea) (eventLocated ?PROCESS ?AREA) (visibilityInMeteorology ?AREA (WhenFn ?PROCESS) (MeasureFn ?DIST Meter)) (lessThan ?DIST 400.0)))) |
Weather.kif 2642-2651 | |
(=> (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.0) (duration (WhenFn ?PROCESS) (MeasureFn ?DURATION HourDuration)) (greaterThan ?DURATION 3))))) |
Weather.kif 2627-2640 | |
(=> (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.0))))) |
Weather.kif 2940-2955 | |
(=> (instance ?STORM Storm) (holdsDuring (WhenFn ?STORM) (exists (?AREA ?STRONG) (and (instance ?AREA GeographicArea) (surfaceWindSpeed ?AREA (MeasureFn ?STRONG KnotUnitOfSpeed)) (greaterThan ?STRONG 30.0))))) |
Weather.kif 2905-2914 | |
(=> (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 2893-2903 | |
(=> (instance ?STORM TropicalCyclonicSystem) (exists (?PLACE) (and (instance ?PLACE GeographicArea) (geographicSubregion ?PLACE Tropics) (origin ?STORM ?PLACE)))) |
Weather.kif 619-625 | |
(=> (instance ?T Typhoon) (exists (?TC ?PLACE ?WIND) (and (instance ?TC TropicalCyclone) (instance ?PLACE GeographicArea) (eventLocated ?TC ?PLACE) (equal (MeasureFn ?WIND MilesPerHour) (Mean10MinutesWindSpeedFn ?PLACE (WhenFn ?TC))) (greaterThanOrEqualTo ?WIND 64.0)))) |
Weather.kif 774-785 | |
(=> (instance ?TC TropicalCyclone) (exists (?PLACE ?WIND) (and (instance ?PLACE GeographicArea) (eventLocated ?TC ?PLACE) (equal (MeasureFn ?WIND MilesPerHour) (Mean1MinuteWindSpeedFn ?PLACE (WhenFn ?TC))) (greaterThanOrEqualTo ?WIND 44.0)))) |
Weather.kif 681-691 | |
(=> (instance ?TD TropicalDepression) (exists (?PLACE ?WIND) (and (instance ?PLACE GeographicArea) (eventLocated ?TD ?PLACE) (equal (MeasureFn ?WIND MilesPerHour) (Mean1MinuteWindSpeedFn ?PLACE (WhenFn ?TD))) (lessThanOrEqualTo ?WIND 38.0)))) |
Weather.kif 660-670 | |
(=> (instance ?TS TropicalStorm) (exists (?PLACE ?WIND) (and (instance ?PLACE GeographicArea) (eventLocated ?TS ?PLACE) (equal (MeasureFn ?WIND MilesPerHour) (Mean1MinuteWindSpeedFn ?PLACE (WhenFn ?TS))) (greaterThanOrEqualTo ?WIND 39.0) (lessThanOrEqualTo ?WIND 74.0)))) |
Weather.kif 716-727 | |
(=> (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 26359-26367 | |
(=> (instance ?X GuideBook) (exists (?LOC) (and (instance ?LOC GeographicArea) (refers ?X ?LOC)))) |
Mid-level-ontology.kif 26347-26352 | |
(=> (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 21909-21924 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |
![]() |