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 whose warmest month has an average temperature greater than 10 degrees Celsius and whose coolest month has an average temperature between 18 degrees and -3 degrees Celsius. This is Class C in the Koeppen climate system.") Geography.kif 1379-1383
(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 1377-1377 subclass TemperateClimateZone and ClimateZone

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


(subclass ContinentalClimateZone TemperateClimateZone) Geography.kif 1432-1432 subclass ContinentalClimateZone and TemperateClimateZone
(subclass MediterraneanClimateZone TemperateClimateZone) Geography.kif 1409-1409 subclass MediterraneanClimateZone and TemperateClimateZone
(subclass TemperateSummerDryClimateZone TemperateClimateZone) Geography.kif 1469-1469 subclass TemperateSummerDryClimateZone and TemperateClimateZone
(subclass TemperateWinterDryClimateZone TemperateClimateZone) Geography.kif 1461-1461 subclass TemperateWinterDryClimateZone and TemperateClimateZone
(termFormat ChineseLanguage TemperateClimateZone "温带气候区") domainEnglishFormat.kif 57285-57285
(termFormat ChineseTraditionalLanguage TemperateClimateZone "溫帶氣候區") domainEnglishFormat.kif 57284-57284
(termFormat EnglishLanguage TemperateClimateZone "temperate climate zone") domainEnglishFormat.kif 57283-57283

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


(=>
    (and
        (instance ?AREA TemperateClimateZone)
        (subclass ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO ?TEMP))
    (greaterThanOrEqualTo ?TEMP
        (MeasureFn -3 CelsiusDegree)))
Geography.kif 1393-1398
(=>
    (instance ?AREA TemperateClimateZone)
    (exists (?MO ?AMOUNT)
        (and
            (subclass ?MO Month)
            (averageTemperatureForPeriod ?AREA ?MO ?AMOUNT)
            (greaterThan ?AMOUNT
                (MeasureFn 10 CelsiusDegree)))))
Geography.kif 1385-1391
(=>
    (instance ?AREA TemperateClimateZone)
    (exists (?MO ?AMOUNT)
        (and
            (subclass ?MO Month)
            (averageTemperatureForPeriod ?AREA ?MO ?AMOUNT)
            (greaterThanOrEqualTo ?AMOUNT
                (MeasureFn -3 CelsiusDegree))
            (lessThanOrEqualTo ?AMOUNT
                (MeasureFn 18 CelsiusDegree)))))
Geography.kif 1400-1407


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners