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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TemperateClimateZone

 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 1403-1406
(externalImage TemperateClimateZone "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 0d/ World_map_temperate.svg") pictureList.kif 3220-3220
(externalImage TemperateClimateZone "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 32/ World_Koppen_Map.png") pictureList.kif 3000-3000
(subclass TemperateClimateZone ClimateZone) Geography.kif 1398-1398 TemperateClimateZone ist eine teilkategorie von ClimateZone

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


(subclass ContinentalClimateZone TemperateClimateZone) Geography.kif 1468-1468 ContinentalClimateZone ist eine teilkategorie von TemperateClimateZone
(subclass MediterraneanClimateZone TemperateClimateZone) Geography.kif 1445-1445 MediterraneanClimateZone ist eine teilkategorie von TemperateClimateZone
(subclass TemperateSummerDryClimateZone TemperateClimateZone) Geography.kif 1505-1505 TemperateSummerDryClimateZone ist eine teilkategorie von TemperateClimateZone
(subclass TemperateWinterDryClimateZone TemperateClimateZone) Geography.kif 1497-1497 TemperateWinterDryClimateZone ist eine teilkategorie von TemperateClimateZone
(termFormat ChineseLanguage TemperateClimateZone "温带气候区") domainEnglishFormat.kif 57406-57406
(termFormat ChineseTraditionalLanguage TemperateClimateZone "溫帶氣候區") domainEnglishFormat.kif 57405-57405
(termFormat EnglishLanguage TemperateClimateZone "temperate climate zone") domainEnglishFormat.kif 57404-57404

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


(=>
    (and
        (climateTypeInArea ?AREA TemperateClimateZone)
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree)))
    (greaterThanOrEqualTo ?TEMP -3.0))		 Geography.kif 1419-1425
(=>
    (climateTypeInArea ?AREA TemperateClimateZone)
    (exists (?MO ?AMOUNT)
        (and
            (instance ?MO Month)
            (averageTemperatureForPeriod ?AREA ?MO
                (MeasureFn ?AMOUNT CelsiusDegree))
            (greaterThan ?AMOUNT 10.0))))		 Geography.kif 1409-1416
(=>
    (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 1428-1443


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