(=>
(climateTypeInArea ?AREA ?CLASS)
(exists (?REGION ?TYPE)
(and
(instance ?REGION GeographicArea)
(instance ?TYPE ?CLASS)
(attribute ?REGION ?TYPE)
(part ?REGION ?AREA)))) |
Geography.kif 2711-2718 |
If X is a climate type in area of Y, then there exist Z, W such that Z is an instance of geographic area, W is an instance of X, W is an attribute of Z, and Z is a part of Y |
(=>
(climateTypeInArea ?AREA TropicalClimateZone)
(exists (?MO ?TEMP)
(and
(instance ?MO Month)
(averageTemperatureForPeriod ?AREA ?MO
(MeasureFn ?TEMP CelsiusDegree))
(greaterThan ?TEMP 18.0)
(not
(exists (?M2 ?MT2)
(and
(averageTemperatureForPeriod ?AREA ?M2
(MeasureFn ?MT2 CelsiusDegree))
(lessThan ?MT2 ?TEMP))))))) |
Geography.kif 2742-2755 |
If tropical climate zone is a climate type in area of X, then there exist Y and Z such that Y is an instance of month and X average temperature for period Y for Z celsius degree(s) and Z is greater than 18.0 and there don't exist W and V such that X average temperature for period W for V celsius degree(s) and V is less than Z |
(=>
(and
(climateTypeInArea ?AREA TropicalClimateZone)
(instance ?MO Month)
(averageRainfallForPeriod ?AREA ?MO
(MeasureFn ?AMOUNT
(MilliFn Meter)))
(greaterThanOrEqualTo ?AMOUNT 60.0))
(climateTypeInArea ?AREA WetTropicalClimateZone)) |
Geography.kif 2773-2780 |
If tropical climate zone is a climate type in area of X, Y is an instance of month, X average rainfall for period Y for Z one thousandth of a meter(s), and Z is greater than or equal to 60.0, then wet tropical climate zone is a climate type in area of X |
(=>
(climateTypeInArea ?AREA WetTropicalClimateZone)
(forall (?MO ?AMOUNT)
(and
(instance ?MO Month)
(averageRainfallForPeriod ?AREA ?MO
(MeasureFn ?AMOUNT
(MilliFn Meter)))
(greaterThanOrEqualTo ?AMOUNT 60.0)))) |
Geography.kif 2782-2789 |
If wet tropical climate zone is a climate type in area of X, then For all Month Y and RealNumber Z: X average rainfall for period Y for Z one thousandth of a meter(s) and Z is greater than or equal to 60.0 |
(=>
(climateTypeInArea ?AREA MonsoonClimateZone)
(exists (?INTERVAL)
(rainySeasonInArea ?AREA ?INTERVAL))) |
Geography.kif 2798-2800 |
If monsoon climate zone is a climate type in area of X, then there exists Y such that Y is a rainy season in area of X |
(=>
(and
(climateTypeInArea ?AREA DesertClimateZone)
(instance ?MO Month)
(averageTemperatureForPeriod ?AREA ?MO
(MeasureFn ?TEMP CelsiusDegree))
(greaterThan ?TEMP 18.0))
(climateTypeInArea ?AREA SubtropicalDesertClimateZone)) |
Geography.kif 2827-2834 |
If desert climate zone is a climate type in area of X, Y is an instance of month, X average temperature for period Y for Z celsius degree(s), and Z is greater than 18.0, then subtropical desert climate zone is a climate type in area of X |
(=>
(climateTypeInArea ?AREA SubtropicalDesertClimateZone)
(exists (?MO ?TEMP)
(and
(instance ?MO Month)
(averageTemperatureForPeriod ?AREA ?MO
(MeasureFn ?TEMP CelsiusDegree))
(greaterThan ?TEMP 18.0)))) |
Geography.kif 2836-2843 |
If subtropical desert climate zone is a climate type in area of X, then there exist Y and Z such that Y is an instance of month and X average temperature for period Y for Z celsius degree(s) and Z is greater than 18.0 |
(=>
(climateTypeInArea ?AREA TemperateClimateZone)
(exists (?MO ?AMOUNT)
(and
(instance ?MO Month)
(averageTemperatureForPeriod ?AREA ?MO
(MeasureFn ?AMOUNT CelsiusDegree))
(greaterThan ?AMOUNT 10.0)))) |
Geography.kif 2866-2873 |
If temperate climate zone is a climate type in area of X, then there exist Y and Z such that Y is an instance of month and X average temperature for period Y for Z celsius degree(s) and Z is greater than 10.0 |
(=>
(and
(climateTypeInArea ?AREA TemperateClimateZone)
(instance ?MO Month)
(averageTemperatureForPeriod ?AREA ?MO
(MeasureFn ?TEMP CelsiusDegree)))
(greaterThanOrEqualTo ?TEMP -3.0)) |
Geography.kif 2876-2882 |
If temperate climate zone is a climate type in area of X, Y is an instance of month, and X average temperature for period Y for Z celsius degree(s), then Z is greater than or equal to -3.0 |
(=>
(climateTypeInArea ?AREA TemperateClimateZone)
(exists (?MO ?AMOUNT)
(and
(instance ?MO Month)
(averageTemperatureForPeriod ?AREA ?MO
(MeasureFn ?AMOUNT CelsiusDegree))
(greaterThanOrEqualTo ?AMOUNT -3.0)
(lessThanOrEqualTo ?AMOUNT 18.0)
(not
(exists (?M2 ?MT2)
(and
(instance ?M2 Month)
(averageTemperatureForPeriod ?AREA ?M2
(MeasureFn ?MT2 CelsiusDegree))
(lessThan ?MT2 ?AMOUNT))))))) |
Geography.kif 2885-2900 |
If temperate climate zone is a climate type in area of X, then there exist Y and Z such that Y is an instance of month and X average temperature for period Y for Z celsius degree(s) and Z is greater than or equal to -3.0 and Z is less than or equal to 18.0 and there don't exist W and V such that W is an instance of month and X average temperature for period W for V celsius degree(s) and V is less than Z |
(=>
(climateTypeInArea ?AREA MediterraneanClimateZone)
(coolSeasonInArea ?AREA WinterSeason)) |
Geography.kif 2909-2911 |
If mediterranean climate zone is a climate type in area of X, then winter season is a cool season in area of X |
(=>
(climateTypeInArea ?AREA MediterraneanClimateZone)
(warmSeasonInArea ?AREA SummerSeason)) |
Geography.kif 2913-2915 |
If mediterranean climate zone is a climate type in area of X, then summer season is a warm season in area of X |
(=>
(climateTypeInArea ?AREA MediterraneanClimateZone)
(rainySeasonInArea ?AREA WinterSeason)) |
Geography.kif 2917-2919 |
If mediterranean climate zone is a climate type in area of X, then winter season is a rainy season in area of X |
(=>
(climateTypeInArea ?AREA MediterraneanClimateZone)
(drySeasonInArea ?AREA SummerSeason)) |
Geography.kif 2921-2923 |
If mediterranean climate zone is a climate type in area of X, then summer season is a dry season in area of X |
(=>
(climateTypeInArea ?AREA ContinentalClimateZone)
(coldSeasonInArea ?AREA WinterSeason)) |
Geography.kif 2931-2933 |
If continental climate zone is a climate type in area of X, then winter season is a cold season in area of X |
(=>
(climateTypeInArea ?AREA ContinentalClimateZone)
(hotSeasonInArea ?AREA SummerSeason)) |
Geography.kif 2935-2937 |
If continental climate zone is a climate type in area of X, then summer season is a hot season in area of X |
(=>
(climateTypeInArea ?AREA MidlatitudeContinentalClimateZone)
(coolSeasonInArea ?AREA WinterSeason)) |
Geography.kif 2946-2948 |
If midlatitude continental climate zone is a climate type in area of X, then winter season is a cool season in area of X |
(=>
(climateTypeInArea ?AREA MidlatitudeContinentalClimateZone)
(hotSeasonInArea ?AREA SummerSeason)) |
Geography.kif 2950-2952 |
If midlatitude continental climate zone is a climate type in area of X, then summer season is a hot season in area of X |
(=>
(and
(climateTypeInArea ?AREA ColdClimateZone)
(forall (?MO)
(and
(instance ?MO Month)
(averageTemperatureForPeriod ?AREA ?MO
(MeasureFn ?TEMP CelsiusDegree)))))
(greaterThan 10.0 ?TEMP)) |
Geography.kif 2979-2987 |
If cold climate zone is a climate type in area of X and For all TimeInterval Y: Y is an instance of month and X average temperature for period Y for Z celsius degree(s), then 10.0 is greater than Z |
(=>
(climateTypeInArea ?AREA ColdClimateZone)
(exists (?MO ?AMOUNT)
(and
(instance ?MO Month)
(temporalPart ?MO WinterSeason)
(averageTemperatureForPeriod ?AREA ?MO
(MeasureFn ?AMOUNT CelsiusDegree))
(lessThan ?AMOUNT -3.0)))) |
Geography.kif 2990-2998 |
If cold climate zone is a climate type in area of X, then there exist Y and Z such that Y is an instance of month and Y is a part of winter season and X average temperature for period Y for Z celsius degree(s) and Z is less than -3.0 |
(=>
(climateTypeInArea ?AREA PolarClimateZone)
(exists (?MO ?TEMP)
(and
(instance ?MO Month)
(averageTemperatureForPeriod ?AREA ?MO
(MeasureFn ?TEMP CelsiusDegree))
(greaterThan 10.0 ?TEMP)))) |
Geography.kif 3023-3030 |
If polar climate zone is a climate type in area of X, then there exist Y and Z such that Y is an instance of month and X average temperature for period Y for Z celsius degree(s) and 10.0 is greater than Z |
(=>
(and
(climateTypeInArea ?AREA PolarTypeFClimateZone)
(instance ?TIME TimePosition)
(holdsDuring ?TIME
(airTemperature ?AREA
(MeasureFn ?TEMP CelsiusDegree))))
(holdsDuring ?TIME
(greaterThan 10.0 ?TEMP))) |
Geography.kif 3054-3060 |
If polar typeF climate zone is a climate type in area of X, Y is an instance of time position, and Z celsius degree(s) is an air temperature of X holds during Y, then 10.0 is greater than Z holds during Y |
