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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


s__documentation(s__TemperateClimateZone,s__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 1367-1371
s__externalImage(s__TemperateClimateZone,'http://upload.wikimedia.org/wikipedia/ commons/ 0/ 0d/ World_map_temperate.svg')

pictureList.kif 3221-3221 "http://upload.wikimedia.org/wikipedia/commons/0/0d/ World_map_temperate.svg" is a URL depicting temperate climate zone
s__externalImage(s__TemperateClimateZone,'http://upload.wikimedia.org/wikipedia/ commons/ 3/ 32/ World_Koppen_Map.png')

pictureList.kif 3001-3001 "http://upload.wikimedia.org/wikipedia/commons/3/32/ World_Koppen_Map.png" is a URL depicting temperate climate zone
s__instance(s__TemperateClimateZone,s__SetOrClass)

s__subclass(s__TemperateClimateZone,s__ClimateZone)

s__instance(s__ClimateZone,s__SetOrClass)

Geography.kif 1365-1365 Temperate climate zone is a subclass of climate zone

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


s__instance(s__ContinentalClimateZone,s__SetOrClass)

s__instance(s__TemperateClimateZone,s__SetOrClass)

s__subclass(s__ContinentalClimateZone,s__TemperateClimateZone)

Geography.kif 1420-1420 Continental climate zone is a subclass of temperate climate zone
s__instance(s__MediterraneanClimateZone,s__SetOrClass)

s__subclass(s__MediterraneanClimateZone,s__TemperateClimateZone)

s__instance(s__TemperateClimateZone,s__SetOrClass)

Geography.kif 1397-1397 Mediterranean climate zone is a subclass of temperate climate zone
s__instance(s__TemperateSummerDryClimateZone,s__SetOrClass)

s__subclass(s__TemperateSummerDryClimateZone,s__TemperateClimateZone)

s__instance(s__TemperateClimateZone,s__SetOrClass)

Geography.kif 1457-1457 Temperate summer dry climate zone is a subclass of temperate climate zone
s__instance(s__TemperateClimateZone,s__SetOrClass)

s__instance(s__TemperateWinterDryClimateZone,s__SetOrClass)

s__subclass(s__TemperateWinterDryClimateZone,s__TemperateClimateZone)

Geography.kif 1449-1449 Temperate winter dry climate zone is a subclass of temperate climate zone
s__termFormat(s__EnglishLanguage,s__TemperateClimateZone,'temperate climate zone')

domainEnglishFormat.kif 9991-9991 "temperate climate zone" is the printable form of temperate climate zone in english language

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


( ! [V__MO,V__TEMP,V__AREA] :
   ((s__instance(V__MO,s__TimeDuration)s__and__ms__instance(V__MO,s__SetOrClass)s__and__ms__instance(V__TEMP,s__TemperatureMeasure))
    s__=>((s__instance(V__AREA,s__TemperateClimateZone)s__and__ms__subclass(V__MO,s__Month)s__and__ms__averageTemperatureForPeriod(V__AREA,V__MO,V__TEMP))
    s__=>s__greaterThanOrEqualTo(V__TEMP,s__MeasureFn(-3,s__CelsiusDegree))))
)

Geography.kif 1381-1386
( ! [V__AREA] :
   (s__instance(V__AREA,s__TemperateClimateZone)s__=>(s__exists__m[V__MO,V__AMOUNT] :
       (s__instance(V__MO,s__TimeDuration)s__and__ms__instance(V__MO,s__SetOrClass)s__and__ms__instance(V__AMOUNT,s__TemperatureMeasure)s__and__m(s__subclass(V__MO,s__Month)s__and__ms__averageTemperatureForPeriod(V__AREA,V__MO,V__AMOUNT)
      s__and__ms__greaterThan(V__AMOUNT,s__MeasureFn(10,s__CelsiusDegree))))))
)

Geography.kif 1373-1379
( ! [V__AREA] :
   (s__instance(V__AREA,s__TemperateClimateZone)s__=>(s__exists__m[V__MO,V__AMOUNT] :
       (s__instance(V__MO,s__TimeDuration)s__and__ms__instance(V__MO,s__SetOrClass)s__and__ms__instance(V__AMOUNT,s__TemperatureMeasure)s__and__m(s__subclass(V__MO,s__Month)s__and__ms__averageTemperatureForPeriod(V__AREA,V__MO,V__AMOUNT)
      s__and__ms__greaterThanOrEqualTo(V__AMOUNT,s__MeasureFn(-3,s__CelsiusDegree))
    s__and__ms__lessThanOrEqualTo(V__AMOUNT,s__MeasureFn(18,s__CelsiusDegree))))))
)

Geography.kif 1388-1395


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