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
Le nombre 1 argument de
climateTypeInArea
est une
instance
de
secteur g�ographique
(
domainSubclass
climateTypeInArea
2
ClimateZone
)
Geography.kif 1246-1246
Le nombre 2 argument de
climateTypeInArea
est une
sous
-classe de
ClimateZone
(
instance
climateTypeInArea
BinaryPredicate
)
Geography.kif 1244-1244
climateTypeInArea
est une
instance
de
pr�dicat binaire
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
climateTypeInArea
secteur g�ographique
and
ColdClimateZone
interval temporel
interval temporel
est une
instance
de
mois
averageTemperatureForPeriod
secteur g�ographique
,
interval temporel
and
nombre r�el
CelsiusDegree
(s)
10.0 est
plus
grand
que
nombre r�el
(=>
(
and
(
climateTypeInArea
?AREA
DesertClimateZone
)
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
))
(
greaterThan
?TEMP 18.0))
(
climateTypeInArea
?AREA
SubtropicalDesertClimateZone
))
Geography.kif 1370-1377
climateTypeInArea
secteur g�ographique
and
DesertClimateZone
interval temporel
est une
instance
de
mois
averageTemperatureForPeriod
secteur g�ographique
,
interval temporel
and
nombre r�el
CelsiusDegree
(s)
nombre r�el
est
plus
grand
que 18.0
climateTypeInArea
secteur g�ographique
and
SubtropicalDesertClimateZone
(=>
(
and
(
climateTypeInArea
?AREA
PolarTypeFClimateZone
)
(
instance
?TIME
TimePosition
)
(
holdsDuring
?TIME
(
airTemperature
?AREA
(
MeasureFn
?TEMP
CelsiusDegree
))))
(
holdsDuring
?TIME
(
greaterThan
10.0 ?TEMP)))
Geography.kif 1597-1603
climateTypeInArea
secteur g�ographique
and
PolarTypeFClimateZone
position temporel
est une
instance
de
position temporel
airTemperature
secteur g�ographique
and
entit�
CelsiusDegree
(s)
pendant
position temporel
10.0 est
plus
grand
que
entit�
pendant
position temporel
(=>
(
and
(
climateTypeInArea
?AREA
TemperateClimateZone
)
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
)))
(
greaterThanOrEqualTo
?TEMP -3.0))
Geography.kif 1419-1425
climateTypeInArea
secteur g�ographique
and
TemperateClimateZone
interval temporel
est une
instance
de
mois
averageTemperatureForPeriod
secteur g�ographique
,
interval temporel
and
nombre r�el
CelsiusDegree
(s)
nombre r�el
est
plus
grand
ou �gal � -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
climateTypeInArea
secteur g�ographique
and
TropicalClimateZone
mois
est une
instance
de
mois
averageRainfallForPeriod
secteur g�ographique
,
mois
and
nombre r�el
un
milli
�me de
Meter
(s)
nombre r�el
est
plus
grand
ou �gal � 60.0
climateTypeInArea
secteur g�ographique
and
WetTropicalClimateZone
(=>
(
climateTypeInArea
?AREA ?CLASS)
(
exists
(?REGION ?TYPE)
(
and
(
instance
?REGION
GeographicArea
)
(
instance
?TYPE ?CLASS)
(
attribute
?REGION ?TYPE)
(
part
?REGION ?AREA))))
Geography.kif 1254-1261
climateTypeInArea
secteur g�ographique
and
ClimateZone
objet
attribut
objet
est une
instance
de
secteur g�ographique
attribut
est une
instance
de
ClimateZone
attribut
est un
attribut
de
objet
objet
est une
partie
de
secteur g�ographique
(=>
(
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
climateTypeInArea
secteur g�ographique
and
ColdClimateZone
interval temporel
nombre r�el
interval temporel
est une
instance
de
mois
interval temporel
est une
partie
de
WinterSeason
averageTemperatureForPeriod
secteur g�ographique
,
interval temporel
and
nombre r�el
CelsiusDegree
(s)
nombre r�el
est
moins
que -3.0
(=>
(
climateTypeInArea
?AREA
ContinentalClimateZone
)
(
coldSeasonInArea
?AREA
WinterSeason
))
Geography.kif 1474-1476
climateTypeInArea
secteur g�ographique
and
ContinentalClimateZone
coldSeasonInArea
secteur g�ographique
and
WinterSeason
(=>
(
climateTypeInArea
?AREA
ContinentalClimateZone
)
(
hotSeasonInArea
?AREA
SummerSeason
))
Geography.kif 1478-1480
climateTypeInArea
secteur g�ographique
and
ContinentalClimateZone
hotSeasonInArea
secteur g�ographique
and
SummerSeason
(=>
(
climateTypeInArea
?AREA
MediterraneanClimateZone
)
(
coolSeasonInArea
?AREA
WinterSeason
))
Geography.kif 1452-1454
climateTypeInArea
secteur g�ographique
and
MediterraneanClimateZone
coolSeasonInArea
secteur g�ographique
and
WinterSeason
(=>
(
climateTypeInArea
?AREA
MediterraneanClimateZone
)
(
drySeasonInArea
?AREA
SummerSeason
))
Geography.kif 1464-1466
climateTypeInArea
secteur g�ographique
and
MediterraneanClimateZone
drySeasonInArea
secteur g�ographique
and
SummerSeason
(=>
(
climateTypeInArea
?AREA
MediterraneanClimateZone
)
(
rainySeasonInArea
?AREA
WinterSeason
))
Geography.kif 1460-1462
climateTypeInArea
secteur g�ographique
and
MediterraneanClimateZone
rainySeasonInArea
secteur g�ographique
and
WinterSeason
(=>
(
climateTypeInArea
?AREA
MediterraneanClimateZone
)
(
warmSeasonInArea
?AREA
SummerSeason
))
Geography.kif 1456-1458
climateTypeInArea
secteur g�ographique
and
MediterraneanClimateZone
warmSeasonInArea
secteur g�ographique
and
SummerSeason
(=>
(
climateTypeInArea
?AREA
MidlatitudeContinentalClimateZone
)
(
coolSeasonInArea
?AREA
WinterSeason
))
Geography.kif 1489-1491
climateTypeInArea
secteur g�ographique
and
MidlatitudeContinentalClimateZone
coolSeasonInArea
secteur g�ographique
and
WinterSeason
(=>
(
climateTypeInArea
?AREA
MidlatitudeContinentalClimateZone
)
(
hotSeasonInArea
?AREA
SummerSeason
))
Geography.kif 1493-1495
climateTypeInArea
secteur g�ographique
and
MidlatitudeContinentalClimateZone
hotSeasonInArea
secteur g�ographique
and
SummerSeason
(=>
(
climateTypeInArea
?AREA
MonsoonClimateZone
)
(
exists
(?INTERVAL)
(
rainySeasonInArea
?AREA ?INTERVAL)))
Geography.kif 1341-1343
climateTypeInArea
secteur g�ographique
and
MonsoonClimateZone
interval temporel
rainySeasonInArea
secteur g�ographique
and
interval temporel
(=>
(
climateTypeInArea
?AREA
PolarClimateZone
)
(
exists
(?MO ?TEMP)
(
and
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
))
(
greaterThan
10.0 ?TEMP))))
Geography.kif 1566-1573
climateTypeInArea
secteur g�ographique
and
PolarClimateZone
interval temporel
nombre r�el
interval temporel
est une
instance
de
mois
averageTemperatureForPeriod
secteur g�ographique
,
interval temporel
and
nombre r�el
CelsiusDegree
(s) 10.0 est
plus
grand
que
nombre r�el
(=>
(
climateTypeInArea
?AREA
SubtropicalDesertClimateZone
)
(
exists
(?MO ?TEMP)
(
and
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
))
(
greaterThan
?TEMP 18.0))))
Geography.kif 1379-1386
climateTypeInArea
secteur g�ographique
and
SubtropicalDesertClimateZone
interval temporel
nombre r�el
interval temporel
est une
instance
de
mois
averageTemperatureForPeriod
secteur g�ographique
,
interval temporel
and
nombre r�el
CelsiusDegree
(s)
nombre r�el
est
plus
grand
que 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
climateTypeInArea
secteur g�ographique
and
TemperateClimateZone
interval temporel
nombre r�el
interval temporel
est une
instance
de
mois
averageTemperatureForPeriod
secteur g�ographique
,
interval temporel
and
nombre r�el
CelsiusDegree
(s)
nombre r�el
est
plus
grand
que 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
climateTypeInArea
secteur g�ographique
and
TemperateClimateZone
interval temporel
nombre r�el
interval temporel
est une
instance
de
mois
averageTemperatureForPeriod
secteur g�ographique
,
interval temporel
and
nombre r�el
CelsiusDegree
(s)
nombre r�el
est
plus
grand
ou �gal � -3.0
nombre r�el
est plus
petit
ou �gal � 18.0
interval temporel
nombre r�el
interval temporel
est une
instance
de
mois
averageTemperatureForPeriod
secteur g�ographique
,
interval temporel
and
nombre r�el
CelsiusDegree
(s)
nombre r�el
est
moins
que
nombre r�el
(=>
(
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
climateTypeInArea
secteur g�ographique
and
TropicalClimateZone
interval temporel
nombre r�el
interval temporel
est une
instance
de
mois
averageTemperatureForPeriod
secteur g�ographique
,
interval temporel
and
nombre r�el
CelsiusDegree
(s)
nombre r�el
est
plus
grand
que 18.0
interval temporel
nombre r�el
averageTemperatureForPeriod
secteur g�ographique
,
interval temporel
and
nombre r�el
CelsiusDegree
(s)
nombre r�el
est
moins
que
nombre r�el
(=>
(
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
climateTypeInArea
secteur g�ographique
and
WetTropicalClimateZone
mois
nombre r�el
mois
est une
instance
de
mois
averageRainfallForPeriod
secteur g�ographique
,
mois
and
nombre r�el
un
milli
�me de
Meter
(s)
nombre r�el
est
plus
grand
ou �gal � 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
climateTypeInArea
secteur g�ographique
and
DesertClimateZone
interval temporel
est une
instance
de
mois
averageTemperatureForPeriod
secteur g�ographique
,
interval temporel
and
nombre r�el
CelsiusDegree
(s)
nombre r�el
est
plus
grand
que 18.0
climateTypeInArea
secteur g�ographique
and
SubtropicalDesertClimateZone
(=>
(
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
climateTypeInArea
secteur g�ographique
and
TropicalClimateZone
mois
est une
instance
de
mois
averageRainfallForPeriod
secteur g�ographique
,
mois
and
nombre r�el
un
milli
�me de
Meter
(s)
nombre r�el
est
plus
grand
ou �gal � 60.0
climateTypeInArea
secteur g�ographique
and
WetTropicalClimateZone
(=>
(
and
(
instance
?AREA ?TYPE)
(
subclass
?TYPE
ClimateZone
))
(
climateTypeInArea
?AREA ?TYPE))
Geography.kif 1263-1267
Secteur g�ographique
est une
instance
de
ClimateZone
ClimateZone
est une
sous
-classe de
ClimateZone
climateTypeInArea
secteur g�ographique
and
ClimateZone
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
))
(
greaterThan
10.0 ?TEMP))
(
climateTypeInArea
?AREA
PolarClimateZone
))
Geography.kif 1575-1582
Secteur g�ographique
est une
instance
de
secteur g�ographique
interval temporel
est une
instance
de
mois
averageTemperatureForPeriod
secteur g�ographique
,
interval temporel
and
nombre r�el
CelsiusDegree
(s) 10.0 est
plus
grand
que
nombre r�el
climateTypeInArea
secteur g�ographique
and
PolarClimateZone
(=>
(
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
Processus
est une
instance
de
DustStorm
secteur g�ographique
secteur g�ographique
est une
instance
de
secteur g�ographique
climateTypeInArea
secteur g�ographique
and
AridClimateZone
eventLocated
processus
and
secteur g�ographique
secteur g�ographique
secteur g�ographique
est une
instance
de
secteur g�ographique
climateTypeInArea
secteur g�ographique
and
SemiaridClimateZone
eventLocated
processus
and
secteur g�ographique
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