climateTypeInArea - Sigma Knowledge base Browser

appearance as argument number 1

(documentation climateTypeInArea EnglishLanguage "(climateTypeInArea ?REGION ?TYPE) means that all or part of the GeographicArea ?REGION is of the Attribute of ClimateZone ?TYPE.")	Geography.kif 1242-1244
(domain climateTypeInArea 1 GeographicArea)	Geography.kif 1239-1239	The number 1 argument of climate type in area is an instance of geographic area
(domainSubclass climateTypeInArea 2 ClimateZone)	Geography.kif 1240-1240	The number 2 argument of climate type in area is a subclass of climate zone
(instance climateTypeInArea BinaryPredicate)	Geography.kif 1238-1238	climate type in area is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage climateTypeInArea "%2 %n 是 %1 地区的 climate 类别")	domainEnglishFormat.kif 460-460
(format ChineseTraditionalLanguage climateTypeInArea "%2 %n 是 %1 地區的 climate 類別")	domainEnglishFormat.kif 459-459
(format EnglishLanguage climateTypeInArea "%2 is %n a climate type in area of %1")	domainEnglishFormat.kif 458-458
(termFormat ChineseLanguage climateTypeInArea "地区气候类型")	domainEnglishFormat.kif 15159-15159
(termFormat ChineseTraditionalLanguage climateTypeInArea "地區氣候類型")	domainEnglishFormat.kif 15158-15158
(termFormat EnglishLanguage climateTypeInArea "climate type in area")	domainEnglishFormat.kif 15157-15157

antecedent

(=> (and (climateTypeInArea ?AREA ColdClimateZone) (forall (?MO) (and (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree))))) (greaterThan 10.0 ?TEMP))	Geography.kif 1516-1524	If cold climate zone is a climate type in area of a geographic area and for all a time interval the time interval is an instance of month and the geographic area average temperature for period the time interval for a real number celsius degree(s), then 10.0 is greater than the real number
(=> (and (climateTypeInArea ?AREA DesertClimateZone) (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree)) (greaterThan ?TEMP 18.0)) (climateTypeInArea ?AREA SubtropicalDesertClimateZone))	Geography.kif 1364-1371	If desert climate zone is a climate type in area of a geographic area and a time interval is an instance of month and the geographic area average temperature for period the time interval for a real number celsius degree(s) and the real number is greater than 18.0, then subtropical desert climate zone is a climate type in area of the geographic area
(=> (and (climateTypeInArea ?AREA PolarTypeFClimateZone) (instance ?TIME TimePosition) (holdsDuring ?TIME (airTemperature ?AREA (MeasureFn ?TEMP CelsiusDegree)))) (holdsDuring ?TIME (greaterThan 10.0 ?TEMP)))	Geography.kif 1591-1597	If polar typeF climate zone is a climate type in area of a geographic area and a time position is an instance of time position and an entity celsius degree(s) is an air temperature of the geographic area holds during the time position, then 10.0 is greater than the entity holds during the time position
(=> (and (climateTypeInArea ?AREA TemperateClimateZone) (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree))) (greaterThanOrEqualTo ?TEMP -3.0))	Geography.kif 1413-1419	If temperate climate zone is a climate type in area of a geographic area and a time interval is an instance of month and the geographic area average temperature for period the time interval for a real number celsius degree(s), then the real number is greater than or equal to -3.0
(=> (and (climateTypeInArea ?AREA TropicalClimateZone) (instance ?MO Month) (averageRainfallForPeriod ?AREA ?MO (MeasureFn ?AMOUNT (MilliFn Meter))) (greaterThanOrEqualTo ?AMOUNT 60.0)) (climateTypeInArea ?AREA WetTropicalClimateZone))	Geography.kif 1310-1317	If tropical climate zone is a climate type in area of a geographic area and a month is an instance of month and the geographic area average rainfall for period the month for a real number one thousandth of a meter(s) and the real number is greater than or equal to 60.0, then wet tropical climate zone is a climate type in area of the geographic area
(=> (climateTypeInArea ?AREA ?CLASS) (exists (?REGION ?TYPE) (and (instance ?REGION GeographicArea) (instance ?TYPE ?CLASS) (attribute ?REGION ?TYPE) (part ?REGION ?AREA))))	Geography.kif 1248-1255	If a kind of climate zone is a climate type in area of a geographic area, then there exist an object and an attribute such that the object is an instance of geographic area and the attribute is an instance of a kind of climate zone and the attribute is an attribute of the object and the object is a part of the geographic area
(=> (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 1527-1535	If cold climate zone is a climate type in area of a geographic area, then there exist a time interval and a real number such that the time interval is an instance of month and the time interval is a part of winter season and the geographic area average temperature for period the time interval for the real number celsius degree(s) and the real number is less than -3.0
(=> (climateTypeInArea ?AREA ContinentalClimateZone) (coldSeasonInArea ?AREA WinterSeason))	Geography.kif 1468-1470	If continental climate zone is a climate type in area of a geographic area, then winter season is a cold season in area of the geographic area
(=> (climateTypeInArea ?AREA ContinentalClimateZone) (hotSeasonInArea ?AREA SummerSeason))	Geography.kif 1472-1474	If continental climate zone is a climate type in area of a geographic area, then summer season is a hot season in area of the geographic area
(=> (climateTypeInArea ?AREA MediterraneanClimateZone) (coolSeasonInArea ?AREA WinterSeason))	Geography.kif 1446-1448	If mediterranean climate zone is a climate type in area of a geographic area, then winter season is a cool season in area of the geographic area
(=> (climateTypeInArea ?AREA MediterraneanClimateZone) (drySeasonInArea ?AREA SummerSeason))	Geography.kif 1458-1460	If mediterranean climate zone is a climate type in area of a geographic area, then summer season is a dry season in area of the geographic area
(=> (climateTypeInArea ?AREA MediterraneanClimateZone) (rainySeasonInArea ?AREA WinterSeason))	Geography.kif 1454-1456	If mediterranean climate zone is a climate type in area of a geographic area, then winter season is a rainy season in area of the geographic area
(=> (climateTypeInArea ?AREA MediterraneanClimateZone) (warmSeasonInArea ?AREA SummerSeason))	Geography.kif 1450-1452	If mediterranean climate zone is a climate type in area of a geographic area, then summer season is a warm season in area of the geographic area
(=> (climateTypeInArea ?AREA MidlatitudeContinentalClimateZone) (coolSeasonInArea ?AREA WinterSeason))	Geography.kif 1483-1485	If midlatitude continental climate zone is a climate type in area of a geographic area, then winter season is a cool season in area of the geographic area
(=> (climateTypeInArea ?AREA MidlatitudeContinentalClimateZone) (hotSeasonInArea ?AREA SummerSeason))	Geography.kif 1487-1489	If midlatitude continental climate zone is a climate type in area of a geographic area, then summer season is a hot season in area of the geographic area
(=> (climateTypeInArea ?AREA MonsoonClimateZone) (exists (?INTERVAL) (rainySeasonInArea ?AREA ?INTERVAL)))	Geography.kif 1335-1337	If monsoon climate zone is a climate type in area of a geographic area, then there exists a kind of time interval such that a kind of time interval is a rainy season in area of the geographic area
(=> (climateTypeInArea ?AREA PolarClimateZone) (exists (?MO ?TEMP) (and (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree)) (greaterThan 10.0 ?TEMP))))	Geography.kif 1560-1567	If polar climate zone is a climate type in area of a geographic area, then there exist a time interval and a real number such that the time interval is an instance of month and the geographic area average temperature for period the time interval for the real number celsius degree(s) and 10.0 is greater than the real number
(=> (climateTypeInArea ?AREA SubtropicalDesertClimateZone) (exists (?MO ?TEMP) (and (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree)) (greaterThan ?TEMP 18.0))))	Geography.kif 1373-1380	If subtropical desert climate zone is a climate type in area of a geographic area, then there exist a time interval and a real number such that the time interval is an instance of month and the geographic area average temperature for period the time interval for the real number celsius degree(s) and the real number 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 1403-1410	If temperate climate zone is a climate type in area of a geographic area, then there exist a time interval and a real number such that the time interval is an instance of month and the geographic area average temperature for period the time interval for the real number celsius degree(s) and the real number is greater than 10.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 1422-1437	If temperate climate zone is a climate type in area of a geographic area, then there exist a time interval and a real number such that the time interval is an instance of month and the geographic area average temperature for period the time interval for the real number celsius degree(s) and the real number is greater than or equal to -3.0 and the real number is less than or equal to 18.0 and there don't exist another time interval and another real number such that the other time interval is an instance of month and the geographic area average temperature for period the other time interval for the other real number celsius degree(s) and the other real number is less than the real number
(=> (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 1279-1292	If tropical climate zone is a climate type in area of a geographic area, then there exist a time interval and a real number such that the time interval is an instance of month and the geographic area average temperature for period the time interval for the real number celsius degree(s) and the real number is greater than 18.0 and there don't exist another time interval and another real number such that the geographic area average temperature for period the other time interval for the other real number celsius degree(s) and the other real number is less than the real number
(=> (climateTypeInArea ?AREA WetTropicalClimateZone) (forall (?MO ?AMOUNT) (and (instance ?MO Month) (averageRainfallForPeriod ?AREA ?MO (MeasureFn ?AMOUNT (MilliFn Meter))) (greaterThanOrEqualTo ?AMOUNT 60.0))))	Geography.kif 1319-1326	If wet tropical climate zone is a climate type in area of a geographic area, then for all a month and a real number the month is an instance of month and the geographic area average rainfall for period the month for the real number one thousandth of a meter(s) and the real number is greater than or equal to 60.0

consequent

(=> (and (climateTypeInArea ?AREA DesertClimateZone) (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree)) (greaterThan ?TEMP 18.0)) (climateTypeInArea ?AREA SubtropicalDesertClimateZone))	Geography.kif 1364-1371	If desert climate zone is a climate type in area of a geographic area and a time interval is an instance of month and the geographic area average temperature for period the time interval for a real number celsius degree(s) and the real number is greater than 18.0, then subtropical desert climate zone is a climate type in area of the geographic area
(=> (and (climateTypeInArea ?AREA TropicalClimateZone) (instance ?MO Month) (averageRainfallForPeriod ?AREA ?MO (MeasureFn ?AMOUNT (MilliFn Meter))) (greaterThanOrEqualTo ?AMOUNT 60.0)) (climateTypeInArea ?AREA WetTropicalClimateZone))	Geography.kif 1310-1317	If tropical climate zone is a climate type in area of a geographic area and a month is an instance of month and the geographic area average rainfall for period the month for a real number one thousandth of a meter(s) and the real number is greater than or equal to 60.0, then wet tropical climate zone is a climate type in area of the geographic area
(=> (and (instance ?AREA ?TYPE) (subclass ?TYPE ClimateZone)) (climateTypeInArea ?AREA ?TYPE))	Geography.kif 1257-1261	If a geographic area is an instance of a kind of climate zone and a kind of climate zone is a subclass of climate zone, then the kind of climate zone is a climate type in area of the geographic area
(=> (and (instance ?AREA GeographicArea) (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree)) (greaterThan 10.0 ?TEMP)) (climateTypeInArea ?AREA PolarClimateZone))	Geography.kif 1569-1576	If a geographic area is an instance of geographic area and a time interval is an instance of month and the geographic area average temperature for period the time interval for a real number celsius degree(s) and 10.0 is greater than the real number, then polar climate zone is a climate type in area of the geographic area
(=> (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 1245-1257	If a process is an instance of dust storm, then there exists a geographic area such that the geographic area is an instance of geographic area and arid climate zone is a climate type in area of the geographic area and the process is located at the geographic area or there exists another geographic area such that the other geographic area is an instance of geographic area and semiarid climate zone is a climate type in area of the other geographic area and the process is located at the other geographic area

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: