| 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 | |
| (partition GeographicArea WaterArea LandArea) | Merge.kif 18401-18401 | |
| (subclass GeographicArea Region) | Merge.kif 18400-18400 |
| 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 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 |
|
|
|