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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TemperateClimateZone

Sigma KEE - TemperateClimateZone
TemperateClimateZone(temperate climate zone)
North_Temperate_Zone, South_Temperate_Zone, Temperate_Zone

appearance as argument number 1
-------------------------


(documentation TemperateClimateZone EnglishLanguage "TemperateClimateZone is the subclass of ClimateZone which the coldest month averaging between 18 degrees and -3 degrees Celsius, and at least one month averaging above 10 degrees Celsius. This is Class C in the Koeppen climate system.") Geography.kif 1407-1410
(externalImage TemperateClimateZone "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 0d/ World_map_temperate.svg") pictureList.kif 3221-3221
(externalImage TemperateClimateZone "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 32/ World_Koppen_Map.png") pictureList.kif 3001-3001
(subclass TemperateClimateZone ClimateZone) Geography.kif 1402-1402 Temperate climate zone is a subclass of climate zone

appearance as argument number 2
-------------------------


(subclass ContinentalClimateZone TemperateClimateZone) Geography.kif 1472-1472 Continental climate zone is a subclass of temperate climate zone
(subclass MediterraneanClimateZone TemperateClimateZone) Geography.kif 1449-1449 Mediterranean climate zone is a subclass of temperate climate zone
(subclass TemperateSummerDryClimateZone TemperateClimateZone) Geography.kif 1509-1509 Temperate summer dry climate zone is a subclass of temperate climate zone
(subclass TemperateWinterDryClimateZone TemperateClimateZone) Geography.kif 1501-1501 Temperate winter dry climate zone is a subclass of temperate climate zone
(termFormat ChineseLanguage TemperateClimateZone "温带气候区") domainEnglishFormat.kif 57371-57371
(termFormat ChineseTraditionalLanguage TemperateClimateZone "溫帶氣候區") domainEnglishFormat.kif 57370-57370
(termFormat EnglishLanguage TemperateClimateZone "temperate climate zone") domainEnglishFormat.kif 57369-57369

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


(=>
    (and
        (climateTypeInArea ?AREA TemperateClimateZone)
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree)))
    (greaterThanOrEqualTo ?TEMP -3.0))
Geography.kif 1423-1429
(=>
    (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


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