Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
climateTypeInArea
Sigma KEE - climateTypeInArea
climateTypeInArea
appearance as argument number 1
(
documentation
climateTypeInArea
EnglishLanguage
"(
climateTypeInArea
?REGION ?TYPE) means that all or
part
of the
GeographicArea
?REGION is of the
Attribute
of
ClimateZone
?TYPE.")
Geography.kif 1248-1250
(
domain
climateTypeInArea
1
GeographicArea
)
Geography.kif 1245-1245
The number 1 argument of
climate type in area
is an
instance
of
geographic area
(
domainSubclass
climateTypeInArea
2
ClimateZone
)
Geography.kif 1246-1246
The number 2 argument of
climate type in area
is a
subclass
of
climate zone
(
instance
climateTypeInArea
BinaryPredicate
)
Geography.kif 1244-1244
climate type in area
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
climateTypeInArea
"%2 %n 是 %1 地区的 climate 类别")
domainEnglishFormat.kif 460-460
(
format
ChineseTraditionalLanguage
climateTypeInArea
"%2 %n 是 %1 地區的 climate 類別")
domainEnglishFormat.kif 459-459
(
format
EnglishLanguage
climateTypeInArea
"%2 is %n a climate type in area of %1")
domainEnglishFormat.kif 458-458
(
termFormat
ChineseLanguage
climateTypeInArea
"地区气候类型")
domainEnglishFormat.kif 15144-15144
(
termFormat
ChineseTraditionalLanguage
climateTypeInArea
"地區氣候類型")
domainEnglishFormat.kif 15143-15143
(
termFormat
EnglishLanguage
climateTypeInArea
"climate type in area")
domainEnglishFormat.kif 15142-15142
antecedent
(=>
(
and
(
climateTypeInArea
?AREA
ColdClimateZone
)
(
forall
(?MO)
(
and
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
)))))
(
greaterThan
10.0 ?TEMP))
Geography.kif 1522-1530
If
cold climate zone
is a
climate
type in area of
a geographic area
and for all
a time interval
the time interval
is an
instance
of
month
and
the geographic area
average
temperature for period
the time interval
for
a real number
celsius degree
(s),
then 10.0 is
greater
than
the real number
(=>
(
and
(
climateTypeInArea
?AREA
DesertClimateZone
)
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
))
(
greaterThan
?TEMP 18.0))
(
climateTypeInArea
?AREA
SubtropicalDesertClimateZone
))
Geography.kif 1370-1377
If
desert climate zone
is a
climate
type in area of
a geographic area
and
a time interval
is an
instance
of
month
and
the geographic area
average
temperature for period
the time interval
for
a real number
celsius degree
(s) and
the real number
is
greater
than 18.0,
then
subtropical desert climate zone
is a
climate
type in area of
the geographic area
(=>
(
and
(
climateTypeInArea
?AREA
PolarTypeFClimateZone
)
(
instance
?TIME
TimePosition
)
(
holdsDuring
?TIME
(
airTemperature
?AREA
(
MeasureFn
?TEMP
CelsiusDegree
))))
(
holdsDuring
?TIME
(
greaterThan
10.0 ?TEMP)))
Geography.kif 1597-1603
If
polar typeF climate zone
is a
climate
type in area of
a geographic area
and
a time position
is an
instance
of
time position
and
an entity
celsius degree
(s) is an
air
temperature of
the geographic area
holds
during
the time position
,
then 10.0 is
greater
than
the entity
holds
during
the time position
(=>
(
and
(
climateTypeInArea
?AREA
TemperateClimateZone
)
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
)))
(
greaterThanOrEqualTo
?TEMP -3.0))
Geography.kif 1419-1425
If
temperate climate zone
is a
climate
type in area of
a geographic area
and
a time interval
is an
instance
of
month
and
the geographic area
average
temperature for period
the time interval
for
a real number
celsius degree
(s),
then
the real number
is
greater
than or equal to -3.0
(=>
(
and
(
climateTypeInArea
?AREA
TropicalClimateZone
)
(
instance
?MO
Month
)
(
averageRainfallForPeriod
?AREA ?MO
(
MeasureFn
?AMOUNT
(
MilliFn
Meter
)))
(
greaterThanOrEqualTo
?AMOUNT 60.0))
(
climateTypeInArea
?AREA
WetTropicalClimateZone
))
Geography.kif 1316-1323
If
tropical climate zone
is a
climate
type in area of
a geographic area
and
a month
is an
instance
of
month
and
the geographic area
average
rainfall for period
the month
for
a real number
one
thousandth
of a
meter
(s) and
the real number
is
greater
than or equal to 60.0,
then
wet tropical climate zone
is a
climate
type in area of
the geographic area
(=>
(
climateTypeInArea
?AREA ?CLASS)
(
exists
(?REGION ?TYPE)
(
and
(
instance
?REGION
GeographicArea
)
(
instance
?TYPE ?CLASS)
(
attribute
?REGION ?TYPE)
(
part
?REGION ?AREA))))
Geography.kif 1254-1261
If
a kind of climate zone
is a
climate
type in area of
a geographic area
,
then there exist
an object
and
an attribute
such that
the object
is an
instance
of
geographic area
and
the attribute
is an
instance
of
a kind of climate zone
and
the attribute
is an
attribute
of
the object
and
the object
is a
part
of
the geographic area
(=>
(
climateTypeInArea
?AREA
ColdClimateZone
)
(
exists
(?MO ?AMOUNT)
(
and
(
instance
?MO
Month
)
(
temporalPart
?MO
WinterSeason
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?AMOUNT
CelsiusDegree
))
(
lessThan
?AMOUNT -3.0))))
Geography.kif 1533-1541
If
cold climate zone
is a
climate
type in area of
a geographic area
,
then there exist
a time interval
and
a real number
such that
the time interval
is an
instance
of
month
and
the time interval
is a
part
of
winter season
and
the geographic area
average
temperature for period
the time interval
for
the real number
celsius degree
(s) and
the real number
is
less
than -3.0
(=>
(
climateTypeInArea
?AREA
ContinentalClimateZone
)
(
coldSeasonInArea
?AREA
WinterSeason
))
Geography.kif 1474-1476
If
continental climate zone
is a
climate
type in area of
a geographic area
,
then
winter season
is a
cold
season in area of
the geographic area
(=>
(
climateTypeInArea
?AREA
ContinentalClimateZone
)
(
hotSeasonInArea
?AREA
SummerSeason
))
Geography.kif 1478-1480
If
continental climate zone
is a
climate
type in area of
a geographic area
,
then
summer season
is a
hot
season in area of
the geographic area
(=>
(
climateTypeInArea
?AREA
MediterraneanClimateZone
)
(
coolSeasonInArea
?AREA
WinterSeason
))
Geography.kif 1452-1454
If
mediterranean climate zone
is a
climate
type in area of
a geographic area
,
then
winter season
is a
cool
season in area of
the geographic area
(=>
(
climateTypeInArea
?AREA
MediterraneanClimateZone
)
(
drySeasonInArea
?AREA
SummerSeason
))
Geography.kif 1464-1466
If
mediterranean climate zone
is a
climate
type in area of
a geographic area
,
then
summer season
is a
dry
season in area of
the geographic area
(=>
(
climateTypeInArea
?AREA
MediterraneanClimateZone
)
(
rainySeasonInArea
?AREA
WinterSeason
))
Geography.kif 1460-1462
If
mediterranean climate zone
is a
climate
type in area of
a geographic area
,
then
winter season
is a
rainy
season in area of
the geographic area
(=>
(
climateTypeInArea
?AREA
MediterraneanClimateZone
)
(
warmSeasonInArea
?AREA
SummerSeason
))
Geography.kif 1456-1458
If
mediterranean climate zone
is a
climate
type in area of
a geographic area
,
then
summer season
is a
warm
season in area of
the geographic area
(=>
(
climateTypeInArea
?AREA
MidlatitudeContinentalClimateZone
)
(
coolSeasonInArea
?AREA
WinterSeason
))
Geography.kif 1489-1491
If
midlatitude continental climate zone
is a
climate
type in area of
a geographic area
,
then
winter season
is a
cool
season in area of
the geographic area
(=>
(
climateTypeInArea
?AREA
MidlatitudeContinentalClimateZone
)
(
hotSeasonInArea
?AREA
SummerSeason
))
Geography.kif 1493-1495
If
midlatitude continental climate zone
is a
climate
type in area of
a geographic area
,
then
summer season
is a
hot
season in area of
the geographic area
(=>
(
climateTypeInArea
?AREA
MonsoonClimateZone
)
(
exists
(?INTERVAL)
(
rainySeasonInArea
?AREA ?INTERVAL)))
Geography.kif 1341-1343
If
monsoon climate zone
is a
climate
type in area of
a geographic area
,
then there exists
a kind of time interval
such that
a kind of time interval
is a
rainy
season in area of
the geographic area
(=>
(
climateTypeInArea
?AREA
PolarClimateZone
)
(
exists
(?MO ?TEMP)
(
and
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
))
(
greaterThan
10.0 ?TEMP))))
Geography.kif 1566-1573
If
polar climate zone
is a
climate
type in area of
a geographic area
,
then there exist
a time interval
and
a real number
such that
the time interval
is an
instance
of
month
and
the geographic area
average
temperature for period
the time interval
for
the real number
celsius degree
(s) and 10.0 is
greater
than
the real number
(=>
(
climateTypeInArea
?AREA
SubtropicalDesertClimateZone
)
(
exists
(?MO ?TEMP)
(
and
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
))
(
greaterThan
?TEMP 18.0))))
Geography.kif 1379-1386
If
subtropical desert climate zone
is a
climate
type in area of
a geographic area
,
then there exist
a time interval
and
a real number
such that
the time interval
is an
instance
of
month
and
the geographic area
average
temperature for period
the time interval
for
the real number
celsius degree
(s) and
the real number
is
greater
than 18.0
(=>
(
climateTypeInArea
?AREA
TemperateClimateZone
)
(
exists
(?MO ?AMOUNT)
(
and
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?AMOUNT
CelsiusDegree
))
(
greaterThan
?AMOUNT 10.0))))
Geography.kif 1409-1416
If
temperate climate zone
is a
climate
type in area of
a geographic area
,
then there exist
a time interval
and
a real number
such that
the time interval
is an
instance
of
month
and
the geographic area
average
temperature for period
the time interval
for
the real number
celsius degree
(s) and
the real number
is
greater
than 10.0
(=>
(
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
If
temperate climate zone
is a
climate
type in area of
a geographic area
,
then there exist
a time interval
and
a real number
such that
the time interval
is an
instance
of
month
and
the geographic area
average
temperature for period
the time interval
for
the real number
celsius degree
(s) and
the real number
is
greater
than or equal to -3.0 and
the real number
is
less
than or equal to 18.0 and there don't exist
another time interval
and
another real number
such that
the other time interval
is an
instance
of
month
and
the geographic area
average
temperature for period
the other time interval
for
the other real number
celsius degree
(s) and
the other real number
is
less
than
the real number
(=>
(
climateTypeInArea
?AREA
TropicalClimateZone
)
(
exists
(?MO ?TEMP)
(
and
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
))
(
greaterThan
?TEMP 18.0)
(
not
(
exists
(?M2 ?MT2)
(
and
(
averageTemperatureForPeriod
?AREA ?M2
(
MeasureFn
?MT2
CelsiusDegree
))
(
lessThan
?MT2 ?TEMP)))))))
Geography.kif 1285-1298
If
tropical climate zone
is a
climate
type in area of
a geographic area
,
then there exist
a time interval
and
a real number
such that
the time interval
is an
instance
of
month
and
the geographic area
average
temperature for period
the time interval
for
the real number
celsius degree
(s) and
the real number
is
greater
than 18.0 and there don't exist
another time interval
and
another real number
such that
the geographic area
average
temperature for period
the other time interval
for
the other real number
celsius degree
(s) and
the other real number
is
less
than
the real number
(=>
(
climateTypeInArea
?AREA
WetTropicalClimateZone
)
(
forall
(?MO ?AMOUNT)
(
and
(
instance
?MO
Month
)
(
averageRainfallForPeriod
?AREA ?MO
(
MeasureFn
?AMOUNT
(
MilliFn
Meter
)))
(
greaterThanOrEqualTo
?AMOUNT 60.0))))
Geography.kif 1325-1332
If
wet tropical climate zone
is a
climate
type in area of
a geographic area
,
then for all
a month
and
a real number
the month
is an
instance
of
month
and
the geographic area
average
rainfall for period
the month
for
the real number
one
thousandth
of a
meter
(s) and
the real number
is
greater
than or equal to 60.0
consequent
(=>
(
and
(
climateTypeInArea
?AREA
DesertClimateZone
)
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
))
(
greaterThan
?TEMP 18.0))
(
climateTypeInArea
?AREA
SubtropicalDesertClimateZone
))
Geography.kif 1370-1377
If
desert climate zone
is a
climate
type in area of
a geographic area
and
a time interval
is an
instance
of
month
and
the geographic area
average
temperature for period
the time interval
for
a real number
celsius degree
(s) and
the real number
is
greater
than 18.0,
then
subtropical desert climate zone
is a
climate
type in area of
the geographic area
(=>
(
and
(
climateTypeInArea
?AREA
TropicalClimateZone
)
(
instance
?MO
Month
)
(
averageRainfallForPeriod
?AREA ?MO
(
MeasureFn
?AMOUNT
(
MilliFn
Meter
)))
(
greaterThanOrEqualTo
?AMOUNT 60.0))
(
climateTypeInArea
?AREA
WetTropicalClimateZone
))
Geography.kif 1316-1323
If
tropical climate zone
is a
climate
type in area of
a geographic area
and
a month
is an
instance
of
month
and
the geographic area
average
rainfall for period
the month
for
a real number
one
thousandth
of a
meter
(s) and
the real number
is
greater
than or equal to 60.0,
then
wet tropical climate zone
is a
climate
type in area of
the geographic area
(=>
(
and
(
instance
?AREA ?TYPE)
(
subclass
?TYPE
ClimateZone
))
(
climateTypeInArea
?AREA ?TYPE))
Geography.kif 1263-1267
If
a geographic area
is an
instance
of
a kind of climate zone
and
a kind of climate zone
is a
subclass
of
climate zone
,
then
the kind of climate zone
is a
climate
type in area of
the geographic area
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
))
(
greaterThan
10.0 ?TEMP))
(
climateTypeInArea
?AREA
PolarClimateZone
))
Geography.kif 1575-1582
If
a geographic area
is an
instance
of
geographic area
and
a time interval
is an
instance
of
month
and
the geographic area
average
temperature for period
the time interval
for
a real number
celsius degree
(s) and 10.0 is
greater
than
the real number
,
then
polar climate zone
is a
climate
type in area of
the geographic area
(=>
(
instance
?DUSTSTORM
DustStorm
)
(
or
(
exists
(?AREA1)
(
and
(
instance
?AREA1
GeographicArea
)
(
climateTypeInArea
?AREA1
AridClimateZone
)
(
eventLocated
?DUSTSTORM ?AREA1)))
(
exists
(?AREA2)
(
and
(
instance
?AREA2
GeographicArea
)
(
climateTypeInArea
?AREA2
SemiaridClimateZone
)
(
eventLocated
?DUSTSTORM ?AREA2)))))
Weather.kif 1261-1273
If
a process
is an
instance
of
dust storm
,
then there exists
a geographic area
such that
the geographic area
is an
instance
of
geographic area
and
arid climate zone
is a
climate
type in area of
the geographic area
and
the process
is
located
at
the geographic area
or there exists
another geographic area
such that
the other geographic area
is an
instance
of
geographic area
and
semiarid climate zone
is a
climate
type in area of
the other geographic area
and
the process
is
located
at
the other geographic area
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