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
域
地區氣候類型
, 1 and
GeographicArea
(
domainSubclass
climateTypeInArea
2
ClimateZone
)
Geography.kif 1246-1246
域子類
地區氣候類型
, 2 and
氣候區
(
instance
climateTypeInArea
BinaryPredicate
)
Geography.kif 1244-1244
例
地區氣候類型
and
BinaryPredicate
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
寒冷氣候帶
是
GeographicArea
地區的
climate
類別
TimeInterval
例
TimeInterval
and
Month
1 對於 %3 在 %2 週期的
average
溫度
比較多
10.0 and
RealNumber
(=>
(
and
(
climateTypeInArea
?AREA
DesertClimateZone
)
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
))
(
greaterThan
?TEMP 18.0))
(
climateTypeInArea
?AREA
SubtropicalDesertClimateZone
))
Geography.kif 1370-1377
沙漠氣候區
是
GeographicArea
地區的
climate
類別
例
TimeInterval
and
Month
1 對於 %3 在 %2 週期的
average
溫度
比較多
RealNumber
and 18.0
亞熱帶沙漠氣候區
是
GeographicArea
地區的
climate
類別
(=>
(
and
(
climateTypeInArea
?AREA
PolarTypeFClimateZone
)
(
instance
?TIME
TimePosition
)
(
holdsDuring
?TIME
(
airTemperature
?AREA
(
MeasureFn
?TEMP
CelsiusDegree
))))
(
holdsDuring
?TIME
(
greaterThan
10.0 ?TEMP)))
Geography.kif 1597-1603
極地型F氣候區
是
GeographicArea
地區的
climate
類別
例
TimePosition
and
TimePosition
持有期間
TimePosition
and
測量
entity
and
攝氏度
是
GeographicArea
的
air
溫度
持有期間
TimePosition
and
比較多
10.0 and
entity
(=>
(
and
(
climateTypeInArea
?AREA
TemperateClimateZone
)
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
)))
(
greaterThanOrEqualTo
?TEMP -3.0))
Geography.kif 1419-1425
溫帶氣候區
是
GeographicArea
地區的
climate
類別
例
TimeInterval
and
Month
1 對於 %3 在 %2 週期的
average
溫度
大於或等於
RealNumber
and -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
熱帶氣候區
是
GeographicArea
地區的
climate
類別
例
Month
and
Month
GeographicArea
對於
測量
RealNumber
and
毫
儀表
在
Month
週期的
average
降雨量
大於或等於
RealNumber
and 60.0
濕熱帶氣候區
是
GeographicArea
地區的
climate
類別
(=>
(
climateTypeInArea
?AREA ?CLASS)
(
exists
(?REGION ?TYPE)
(
and
(
instance
?REGION
GeographicArea
)
(
instance
?TYPE ?CLASS)
(
attribute
?REGION ?TYPE)
(
part
?REGION ?AREA))))
Geography.kif 1254-1261
氣候區
是
GeographicArea
地區的
climate
類別
Object
Attribute
例
Object
and
GeographicArea
例
Attribute
and
氣候區
attribute
Object
and
Attribute
部分
Object
and
GeographicArea
(=>
(
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
寒冷氣候帶
是
GeographicArea
地區的
climate
類別
TimeInterval
RealNumber
例
TimeInterval
and
Month
時間部分
TimeInterval
and
冬季
1 對於 %3 在 %2 週期的
average
溫度
少於
RealNumber
and -3.0
(=>
(
climateTypeInArea
?AREA
ContinentalClimateZone
)
(
coldSeasonInArea
?AREA
WinterSeason
))
Geography.kif 1474-1476
大陸性氣候區
是
GeographicArea
地區的
climate
類別
冬季
是
GeographicArea
地區的
cold
季節
(=>
(
climateTypeInArea
?AREA
ContinentalClimateZone
)
(
hotSeasonInArea
?AREA
SummerSeason
))
Geography.kif 1478-1480
大陸性氣候區
是
GeographicArea
地區的
climate
類別
夏季
是在地區
GeographicArea
的
hot
季節
(=>
(
climateTypeInArea
?AREA
MediterraneanClimateZone
)
(
coolSeasonInArea
?AREA
WinterSeason
))
Geography.kif 1452-1454
地中海氣候區
是
GeographicArea
地區的
climate
類別
冬季
是在地區
GeographicArea
的
cool
季節
(=>
(
climateTypeInArea
?AREA
MediterraneanClimateZone
)
(
drySeasonInArea
?AREA
SummerSeason
))
Geography.kif 1464-1466
地中海氣候區
是
GeographicArea
地區的
climate
類別
夏季
是 在地區
GeographicArea
的
dry
季節
(=>
(
climateTypeInArea
?AREA
MediterraneanClimateZone
)
(
rainySeasonInArea
?AREA
WinterSeason
))
Geography.kif 1460-1462
地中海氣候區
是
GeographicArea
地區的
climate
類別
冬季
是區域
GeographicArea
的
rainy
季節
(=>
(
climateTypeInArea
?AREA
MediterraneanClimateZone
)
(
warmSeasonInArea
?AREA
SummerSeason
))
Geography.kif 1456-1458
地中海氣候區
是
GeographicArea
地區的
climate
類別
夏季
是 在區域
GeographicArea
的
warm
季節
(=>
(
climateTypeInArea
?AREA
MidlatitudeContinentalClimateZone
)
(
coolSeasonInArea
?AREA
WinterSeason
))
Geography.kif 1489-1491
中緯度大陸性氣候帶
是
GeographicArea
地區的
climate
類別
冬季
是在地區
GeographicArea
的
cool
季節
(=>
(
climateTypeInArea
?AREA
MidlatitudeContinentalClimateZone
)
(
hotSeasonInArea
?AREA
SummerSeason
))
Geography.kif 1493-1495
中緯度大陸性氣候帶
是
GeographicArea
地區的
climate
類別
夏季
是在地區
GeographicArea
的
hot
季節
(=>
(
climateTypeInArea
?AREA
MonsoonClimateZone
)
(
exists
(?INTERVAL)
(
rainySeasonInArea
?AREA ?INTERVAL)))
Geography.kif 1341-1343
季風氣候區
是
GeographicArea
地區的
climate
類別
TimeInterval
TimeInterval
是區域
GeographicArea
的
rainy
季節
(=>
(
climateTypeInArea
?AREA
PolarClimateZone
)
(
exists
(?MO ?TEMP)
(
and
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
))
(
greaterThan
10.0 ?TEMP))))
Geography.kif 1566-1573
極地氣候區
是
GeographicArea
地區的
climate
類別
TimeInterval
RealNumber
例
TimeInterval
and
Month
1 對於 %3 在 %2 週期的
average
溫度
比較多
10.0 and
RealNumber
(=>
(
climateTypeInArea
?AREA
SubtropicalDesertClimateZone
)
(
exists
(?MO ?TEMP)
(
and
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
))
(
greaterThan
?TEMP 18.0))))
Geography.kif 1379-1386
亞熱帶沙漠氣候區
是
GeographicArea
地區的
climate
類別
TimeInterval
RealNumber
例
TimeInterval
and
Month
1 對於 %3 在 %2 週期的
average
溫度
比較多
RealNumber
and 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
溫帶氣候區
是
GeographicArea
地區的
climate
類別
TimeInterval
RealNumber
例
TimeInterval
and
Month
1 對於 %3 在 %2 週期的
average
溫度
比較多
RealNumber
and 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
溫帶氣候區
是
GeographicArea
地區的
climate
類別
TimeInterval
RealNumber
例
TimeInterval
and
Month
1 對於 %3 在 %2 週期的
average
溫度
大於或等於
RealNumber
and -3.0
小於或等於
RealNumber
and 18.0
TimeInterval
RealNumber
例
TimeInterval
and
Month
1 對於 %3 在 %2 週期的
average
溫度
少於
RealNumber
and
RealNumber
(=>
(
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
熱帶氣候區
是
GeographicArea
地區的
climate
類別
TimeInterval
RealNumber
例
TimeInterval
and
Month
1 對於 %3 在 %2 週期的
average
溫度
比較多
RealNumber
and 18.0
TimeInterval
RealNumber
1 對於 %3 在 %2 週期的
average
溫度
少於
RealNumber
and
RealNumber
(=>
(
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
濕熱帶氣候區
是
GeographicArea
地區的
climate
類別
Month
RealNumber
例
Month
and
Month
GeographicArea
對於
測量
RealNumber
and
毫
儀表
在
Month
週期的
average
降雨量
大於或等於
RealNumber
and 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
沙漠氣候區
是
GeographicArea
地區的
climate
類別
例
TimeInterval
and
Month
1 對於 %3 在 %2 週期的
average
溫度
比較多
RealNumber
and 18.0
亞熱帶沙漠氣候區
是
GeographicArea
地區的
climate
類別
(=>
(
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
熱帶氣候區
是
GeographicArea
地區的
climate
類別
例
Month
and
Month
GeographicArea
對於
測量
RealNumber
and
毫
儀表
在
Month
週期的
average
降雨量
大於或等於
RealNumber
and 60.0
濕熱帶氣候區
是
GeographicArea
地區的
climate
類別
(=>
(
and
(
instance
?AREA ?TYPE)
(
subclass
?TYPE
ClimateZone
))
(
climateTypeInArea
?AREA ?TYPE))
Geography.kif 1263-1267
例
GeographicArea
and
氣候區
子類
氣候區
and
氣候區
氣候區
是
GeographicArea
地區的
climate
類別
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
))
(
greaterThan
10.0 ?TEMP))
(
climateTypeInArea
?AREA
PolarClimateZone
))
Geography.kif 1575-1582
例
GeographicArea
and
GeographicArea
例
TimeInterval
and
Month
1 對於 %3 在 %2 週期的
average
溫度
比較多
10.0 and
RealNumber
極地氣候區
是
GeographicArea
地區的
climate
類別
(=>
(
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 1245-1257
例
Process
and
塵暴
GeographicArea
例
GeographicArea
and
GeographicArea
乾旱氣候帶
是
GeographicArea
地區的
climate
類別
Process
是
located
在
GeographicArea
GeographicArea
例
GeographicArea
and
GeographicArea
半乾旱氣候帶
是
GeographicArea
地區的
climate
類別
Process
是
located
在
GeographicArea
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