Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  climateTypeInArea

 Sigma KEE - climateTypeInArea
climateTypeInArea

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 1255-1257
(domain climateTypeInArea 1 GeographicArea) Geography.kif 1252-1252 domain climateTypeInArea, 1 and GeographicArea
(domainSubclass climateTypeInArea 2 ClimateZone) Geography.kif 1253-1253 domainSubclass climateTypeInArea, 2 and ClimateZone
(instance climateTypeInArea BinaryPredicate) Geography.kif 1251-1251 instance climateTypeInArea and BinaryPredicate

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 15147-15147
(termFormat ChineseTraditionalLanguage climateTypeInArea "地區氣候類型") domainEnglishFormat.kif 15146-15146
(termFormat EnglishLanguage climateTypeInArea "climate type in area") domainEnglishFormat.kif 15145-15145

antecedent
-------------------------


(=>
    (and
        (climateTypeInArea ?AREA ColdClimateZone)
        (forall (?MO)
            (and
                (instance ?MO Month)
                (averageTemperatureForPeriod ?AREA ?MO
                    (MeasureFn ?TEMP CelsiusDegree)))))
    (greaterThan 10.0 ?TEMP))		 Geography.kif 1526-1534
(=>
    (and
        (climateTypeInArea ?AREA DesertClimateZone)
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree))
        (greaterThan ?TEMP 18.0))
    (climateTypeInArea ?AREA SubtropicalDesertClimateZone))		 Geography.kif 1375-1382
(=>
    (and
        (climateTypeInArea ?AREA PolarTypeFClimateZone)
        (instance ?TIME TimePosition)
        (holdsDuring ?TIME
            (airTemperature ?AREA
                (MeasureFn ?TEMP CelsiusDegree))))
    (holdsDuring ?TIME
        (greaterThan 10.0 ?TEMP)))		 Geography.kif 1600-1606
(=>
    (and
        (climateTypeInArea ?AREA TemperateClimateZone)
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree)))
    (greaterThanOrEqualTo ?TEMP -3.0))		 Geography.kif 1423-1429
(=>
    (and
        (climateTypeInArea ?AREA TropicalClimateZone)
        (instance ?MO Month)
        (averageRainfallForPeriod ?AREA ?MO
            (MeasureFn ?AMOUNT
                (MilliFn Meter)))
        (greaterThanOrEqualTo ?AMOUNT 60.0))
    (climateTypeInArea ?AREA WetTropicalClimateZone))		 Geography.kif 1321-1328
(=>
    (climateTypeInArea ?AREA ?TYPE)
    (exists (?REGION)
        (and
            (instance ?REGION GeographicArea)
            (attribute ?REGION ?TYPE)
            (part ?REGION ?AREA))))		 Geography.kif 1261-1267
(=>
    (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 1537-1545
(=>
    (climateTypeInArea ?AREA ContinentalClimateZone)
    (coldSeasonInArea ?AREA WinterSeason))		 Geography.kif 1478-1480
(=>
    (climateTypeInArea ?AREA ContinentalClimateZone)
    (hotSeasonInArea ?AREA SummerSeason))		 Geography.kif 1482-1484
(=>
    (climateTypeInArea ?AREA MediterraneanClimateZone)
    (coolSeasonInArea ?AREA WinterSeason))		 Geography.kif 1456-1458
(=>
    (climateTypeInArea ?AREA MediterraneanClimateZone)
    (drySeasonInArea ?AREA SummerSeason))		 Geography.kif 1468-1470
(=>
    (climateTypeInArea ?AREA MediterraneanClimateZone)
    (rainySeasonInArea ?AREA WinterSeason))		 Geography.kif 1464-1466
(=>
    (climateTypeInArea ?AREA MediterraneanClimateZone)
    (warmSeasonInArea ?AREA SummerSeason))		 Geography.kif 1460-1462
(=>
    (climateTypeInArea ?AREA MidlatitudeContinentalClimateZone)
    (coolSeasonInArea ?AREA WinterSeason))		 Geography.kif 1493-1495
(=>
    (climateTypeInArea ?AREA MidlatitudeContinentalClimateZone)
    (hotSeasonInArea ?AREA SummerSeason))		 Geography.kif 1497-1499
(=>
    (climateTypeInArea ?AREA MonsoonClimateZone)
    (exists (?INTERVAL)
        (rainySeasonInArea ?AREA ?INTERVAL)))		 Geography.kif 1346-1348
(=>
    (climateTypeInArea ?AREA PolarClimateZone)
    (and
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree))
        (greaterThan 10.0 ?TEMP)))		 Geography.kif 1570-1576
(=>
    (climateTypeInArea ?AREA SubtropicalDesertClimateZone)
    (and
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree))
        (greaterThan ?TEMP 18.0)))		 Geography.kif 1384-1390
(=>
    (climateTypeInArea ?AREA TemperateClimateZone)
    (exists (?MO ?MOUNT)
        (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 1432-1447
(=>
    (climateTypeInArea ?AREA TemperateClimateZone)
    (exists (?MO)
        (and
            (instance ?MO Month)
            (averageTemperatureForPeriod ?AREA ?MO
                (MeasureFn ?AMOUNT CelsiusDegree))
            (greaterThan ?AMOUNT 10.0))))		 Geography.kif 1413-1420
(=>
    (climateTypeInArea ?AREA TropicalClimateZone)
    (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 1291-1303
(=>
    (climateTypeInArea ?AREA WetTropicalClimateZone)
    (forall (?MO ?AMOUNT)
        (and
            (instance ?MO Month)
            (averageRainfallForPeriod ?AREA ?MO
                (MeasureFn ?AMOUNT
                    (MilliFn Meter)))
            (greaterThanOrEqualTo ?AMOUNT 60.0))))		 Geography.kif 1330-1337

consequent
-------------------------


(=>
    (and
        (climateTypeInArea ?AREA DesertClimateZone)
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree))
        (greaterThan ?TEMP 18.0))
    (climateTypeInArea ?AREA SubtropicalDesertClimateZone))		 Geography.kif 1375-1382
(=>
    (and
        (climateTypeInArea ?AREA TropicalClimateZone)
        (instance ?MO Month)
        (averageRainfallForPeriod ?AREA ?MO
            (MeasureFn ?AMOUNT
                (MilliFn Meter)))
        (greaterThanOrEqualTo ?AMOUNT 60.0))
    (climateTypeInArea ?AREA WetTropicalClimateZone))		 Geography.kif 1321-1328
(=>
    (and
        (instance ?AREA ?TYPE)
        (subclass ?TYPE ClimateZone))
    (climateTypeInArea ?AREA ?TYPE))		 Geography.kif 1269-1273
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree))
        (greaterThan 10.0 ?TEMP))
    (climateTypeInArea ?AREA PolarClimateZone))		 Geography.kif 1578-1585
(=>
    (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 1260-1272


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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