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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - TemperateClimateZone
TemperateClimateZone

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 1567-1570
(externalImage TemperateClimateZone "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 0d/ World_map_temperate.svg") pictureList.kif 3219-3219
(externalImage TemperateClimateZone "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 32/ World_Koppen_Map.png") pictureList.kif 2999-2999
(subclass TemperateClimateZone ClimateZone) Geography.kif 1562-1562 TemperateClimateZoneClimateZonesubclass では

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


(subclass ContinentalClimateZone TemperateClimateZone) Geography.kif 1632-1632 ContinentalClimateZoneTemperateClimateZonesubclass では
(subclass MediterraneanClimateZone TemperateClimateZone) Geography.kif 1609-1609 MediterraneanClimateZoneTemperateClimateZonesubclass では
(subclass TemperateSummerDryClimateZone TemperateClimateZone) Geography.kif 1669-1669 TemperateSummerDryClimateZoneTemperateClimateZonesubclass では
(subclass TemperateWinterDryClimateZone TemperateClimateZone) Geography.kif 1661-1661 TemperateWinterDryClimateZoneTemperateClimateZonesubclass では
(termFormat ChineseLanguage TemperateClimateZone "温带气候区") domainEnglishFormat.kif 57410-57410 TemperateWinterDryClimateZoneTemperateClimateZonesubclass では
(termFormat ChineseTraditionalLanguage TemperateClimateZone "溫帶氣候區") domainEnglishFormat.kif 57409-57409 TemperateWinterDryClimateZoneTemperateClimateZonesubclass では
(termFormat EnglishLanguage TemperateClimateZone "temperate climate zone") domainEnglishFormat.kif 57408-57408 TemperateWinterDryClimateZoneTemperateClimateZonesubclass では

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


(=>
    (and
        (climateTypeInArea ?AREA TemperateClimateZone)
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree)))
    (greaterThanOrEqualTo ?TEMP -3.0))
Geography.kif 1583-1589
(=>
    (climateTypeInArea ?AREA TemperateClimateZone)
    (exists (?MO ?AMOUNT)
        (and
            (instance ?MO Month)
            (averageTemperatureForPeriod ?AREA ?MO
                (MeasureFn ?AMOUNT CelsiusDegree))
            (greaterThan ?AMOUNT 10.0))))
Geography.kif 1573-1580
(=>
    (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 1592-1607


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