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

Formal Language: 



KB Term:  Term intersection
English Word: 

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
(domainSubclass climateTypeInArea 2 ClimateZone) Geography.kif 1253-1253
(instance climateTypeInArea BinaryPredicate) Geography.kif 1251-1251

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

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


(=>
    (and
        (climateTypeInArea ?AREA ColdClimateZone)
        (forall (?MO)
            (and
                (instance ?MO Month)
                (averageTemperatureForPeriod ?AREA ?MO
                    (MeasureFn ?TEMP CelsiusDegree)))))
    (greaterThan 10.0 ?TEMP))
Geography.kif 1527-1535
(=>
    (and
        (climateTypeInArea ?AREA DesertClimateZone)
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree))
        (greaterThan ?TEMP 18.0))
    (climateTypeInArea ?AREA SubtropicalDesertClimateZone))
Geography.kif 1376-1383
(=>
    (and
        (climateTypeInArea ?AREA PolarTypeFClimateZone)
        (instance ?TIME TimePosition)
        (holdsDuring ?TIME
            (airTemperature ?AREA
                (MeasureFn ?TEMP CelsiusDegree))))
    (holdsDuring ?TIME
        (greaterThan 10.0 ?TEMP)))
Geography.kif 1601-1607
(=>
    (and
        (climateTypeInArea ?AREA TemperateClimateZone)
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree)))
    (greaterThanOrEqualTo ?TEMP -3.0))
Geography.kif 1424-1430
(=>
    (and
        (climateTypeInArea ?AREA TropicalClimateZone)
        (instance ?MO Month)
        (averageRainfallForPeriod ?AREA ?MO
            (MeasureFn ?AMOUNT
                (MilliFn Meter)))
        (greaterThanOrEqualTo ?AMOUNT 60.0))
    (climateTypeInArea ?AREA WetTropicalClimateZone))
Geography.kif 1322-1329
(=>
    (climateTypeInArea ?AREA ?CLASS)
    (exists (?REGION ?TYPE)
        (and
            (instance ?REGION GeographicArea)
            (instance ?TYPE ?CLASS)
            (attribute ?REGION ?TYPE)
            (part ?REGION ?AREA))))
Geography.kif 1261-1268
(=>
    (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 1538-1546
(=>
    (climateTypeInArea ?AREA ContinentalClimateZone)
    (coldSeasonInArea ?AREA WinterSeason))
Geography.kif 1479-1481
(=>
    (climateTypeInArea ?AREA ContinentalClimateZone)
    (hotSeasonInArea ?AREA SummerSeason))
Geography.kif 1483-1485
(=>
    (climateTypeInArea ?AREA MediterraneanClimateZone)
    (coolSeasonInArea ?AREA WinterSeason))
Geography.kif 1457-1459
(=>
    (climateTypeInArea ?AREA MediterraneanClimateZone)
    (drySeasonInArea ?AREA SummerSeason))
Geography.kif 1469-1471
(=>
    (climateTypeInArea ?AREA MediterraneanClimateZone)
    (rainySeasonInArea ?AREA WinterSeason))
Geography.kif 1465-1467
(=>
    (climateTypeInArea ?AREA MediterraneanClimateZone)
    (warmSeasonInArea ?AREA SummerSeason))
Geography.kif 1461-1463
(=>
    (climateTypeInArea ?AREA MidlatitudeContinentalClimateZone)
    (coolSeasonInArea ?AREA WinterSeason))
Geography.kif 1494-1496
(=>
    (climateTypeInArea ?AREA MidlatitudeContinentalClimateZone)
    (hotSeasonInArea ?AREA SummerSeason))
Geography.kif 1498-1500
(=>
    (climateTypeInArea ?AREA MonsoonClimateZone)
    (exists (?INTERVAL)
        (rainySeasonInArea ?AREA ?INTERVAL)))
Geography.kif 1347-1349
(=>
    (climateTypeInArea ?AREA PolarClimateZone)
    (and
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree))
        (greaterThan 10.0 ?TEMP)))
Geography.kif 1571-1577
(=>
    (climateTypeInArea ?AREA SubtropicalDesertClimateZone)
    (and
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree))
        (greaterThan ?TEMP 18.0)))
Geography.kif 1385-1391
(=>
    (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 1433-1448
(=>
    (climateTypeInArea ?AREA TemperateClimateZone)
    (exists (?MO)
        (and
            (instance ?MO Month)
            (averageTemperatureForPeriod ?AREA ?MO
                (MeasureFn ?AMOUNT CelsiusDegree))
            (greaterThan ?AMOUNT 10.0))))
Geography.kif 1414-1421
(=>
    (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 1292-1304
(=>
    (climateTypeInArea ?AREA WetTropicalClimateZone)
    (forall (?MO ?AMOUNT)
        (and
            (instance ?MO Month)
            (averageRainfallForPeriod ?AREA ?MO
                (MeasureFn ?AMOUNT
                    (MilliFn Meter)))
            (greaterThanOrEqualTo ?AMOUNT 60.0))))
Geography.kif 1331-1338

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


(=>
    (and
        (climateTypeInArea ?AREA DesertClimateZone)
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree))
        (greaterThan ?TEMP 18.0))
    (climateTypeInArea ?AREA SubtropicalDesertClimateZone))
Geography.kif 1376-1383
(=>
    (and
        (climateTypeInArea ?AREA TropicalClimateZone)
        (instance ?MO Month)
        (averageRainfallForPeriod ?AREA ?MO
            (MeasureFn ?AMOUNT
                (MilliFn Meter)))
        (greaterThanOrEqualTo ?AMOUNT 60.0))
    (climateTypeInArea ?AREA WetTropicalClimateZone))
Geography.kif 1322-1329
(=>
    (and
        (instance ?AREA ?TYPE)
        (subclass ?TYPE ClimateZone))
    (climateTypeInArea ?AREA ?TYPE))
Geography.kif 1270-1274
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree))
        (greaterThan 10.0 ?TEMP))
    (climateTypeInArea ?AREA PolarClimateZone))
Geography.kif 1579-1586
(=>
    (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


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