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
O argumento numero 1 de
climateTypeInArea
e' uma
instancia
de
Area Geografica
(
domainSubclass
climateTypeInArea
2
ClimateZone
)
Geography.kif 1246-1246
O argumento numero 2 de
climateTypeInArea
e' uma
sub
-classe de
ClimateZone
(
instance
climateTypeInArea
BinaryPredicate
)
Geography.kif 1244-1244
climateTypeInArea
e' uma
instancia
de
Predicado Binario
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
Area Geografica
and
ColdClimateZone
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Mes
averageTemperatureForPeriod
Area Geografica
,
Intervalo Temporal
and
Numero Real
CelsiusDegree
(s)
10.0 e'
maior
que
Numero Real
(=>
(
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
Area Geografica
and
DesertClimateZone
Intervalo Temporal
e' uma
instancia
de
Mes
averageTemperatureForPeriod
Area Geografica
,
Intervalo Temporal
and
Numero Real
CelsiusDegree
(s)
Numero Real
e'
maior
que 18.0
climateTypeInArea
Area Geografica
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
Area Geografica
and
PolarTypeFClimateZone
Posicao Temporal
e' uma
instancia
de
Posicao Temporal
airTemperature
Area Geografica
and
Entidade
CelsiusDegree
(s)
vale
durante
Posicao Temporal
10.0 e'
maior
que
Entidade
vale
durante
Posicao Temporal
(=>
(
and
(
climateTypeInArea
?AREA
TemperateClimateZone
)
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
)))
(
greaterThanOrEqualTo
?TEMP -3.0))
Geography.kif 1419-1425
climateTypeInArea
Area Geografica
and
TemperateClimateZone
Intervalo Temporal
e' uma
instancia
de
Mes
averageTemperatureForPeriod
Area Geografica
,
Intervalo Temporal
and
Numero Real
CelsiusDegree
(s)
Numero Real
e'
maior
ou igual a -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
Area Geografica
and
TropicalClimateZone
Mes
e' uma
instancia
de
Mes
averageRainfallForPeriod
Area Geografica
,
Mes
and
Numero Real
um
milesimo
de
Meter
(s)
Numero Real
e'
maior
ou igual a 60.0
climateTypeInArea
Area Geografica
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
Area Geografica
and
ClimateZone
Objeto
Atributo
Objeto
e' uma
instancia
de
Area Geografica
Atributo
e' uma
instancia
de
ClimateZone
Atributo
e' um
atributo
de
Objeto
Objeto
e' uma &parte de
Area Geografica
(=>
(
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
Area Geografica
and
ColdClimateZone
Intervalo Temporal
Numero Real
Intervalo Temporal
e' uma
instancia
de
Mes
Intervalo Temporal
e' uma &parte de
WinterSeason
averageTemperatureForPeriod
Area Geografica
,
Intervalo Temporal
and
Numero Real
CelsiusDegree
(s)
Numero Real
e'
menos
que -3.0
(=>
(
climateTypeInArea
?AREA
ContinentalClimateZone
)
(
coldSeasonInArea
?AREA
WinterSeason
))
Geography.kif 1474-1476
climateTypeInArea
Area Geografica
and
ContinentalClimateZone
coldSeasonInArea
Area Geografica
and
WinterSeason
(=>
(
climateTypeInArea
?AREA
ContinentalClimateZone
)
(
hotSeasonInArea
?AREA
SummerSeason
))
Geography.kif 1478-1480
climateTypeInArea
Area Geografica
and
ContinentalClimateZone
hotSeasonInArea
Area Geografica
and
SummerSeason
(=>
(
climateTypeInArea
?AREA
MediterraneanClimateZone
)
(
coolSeasonInArea
?AREA
WinterSeason
))
Geography.kif 1452-1454
climateTypeInArea
Area Geografica
and
MediterraneanClimateZone
coolSeasonInArea
Area Geografica
and
WinterSeason
(=>
(
climateTypeInArea
?AREA
MediterraneanClimateZone
)
(
drySeasonInArea
?AREA
SummerSeason
))
Geography.kif 1464-1466
climateTypeInArea
Area Geografica
and
MediterraneanClimateZone
drySeasonInArea
Area Geografica
and
SummerSeason
(=>
(
climateTypeInArea
?AREA
MediterraneanClimateZone
)
(
rainySeasonInArea
?AREA
WinterSeason
))
Geography.kif 1460-1462
climateTypeInArea
Area Geografica
and
MediterraneanClimateZone
rainySeasonInArea
Area Geografica
and
WinterSeason
(=>
(
climateTypeInArea
?AREA
MediterraneanClimateZone
)
(
warmSeasonInArea
?AREA
SummerSeason
))
Geography.kif 1456-1458
climateTypeInArea
Area Geografica
and
MediterraneanClimateZone
warmSeasonInArea
Area Geografica
and
SummerSeason
(=>
(
climateTypeInArea
?AREA
MidlatitudeContinentalClimateZone
)
(
coolSeasonInArea
?AREA
WinterSeason
))
Geography.kif 1489-1491
climateTypeInArea
Area Geografica
and
MidlatitudeContinentalClimateZone
coolSeasonInArea
Area Geografica
and
WinterSeason
(=>
(
climateTypeInArea
?AREA
MidlatitudeContinentalClimateZone
)
(
hotSeasonInArea
?AREA
SummerSeason
))
Geography.kif 1493-1495
climateTypeInArea
Area Geografica
and
MidlatitudeContinentalClimateZone
hotSeasonInArea
Area Geografica
and
SummerSeason
(=>
(
climateTypeInArea
?AREA
MonsoonClimateZone
)
(
exists
(?INTERVAL)
(
rainySeasonInArea
?AREA ?INTERVAL)))
Geography.kif 1341-1343
climateTypeInArea
Area Geografica
and
MonsoonClimateZone
Intervalo Temporal
rainySeasonInArea
Area Geografica
and
Intervalo Temporal
(=>
(
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
Area Geografica
and
PolarClimateZone
Intervalo Temporal
Numero Real
Intervalo Temporal
e' uma
instancia
de
Mes
averageTemperatureForPeriod
Area Geografica
,
Intervalo Temporal
and
Numero Real
CelsiusDegree
(s) 10.0 e'
maior
que
Numero Real
(=>
(
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
Area Geografica
and
SubtropicalDesertClimateZone
Intervalo Temporal
Numero Real
Intervalo Temporal
e' uma
instancia
de
Mes
averageTemperatureForPeriod
Area Geografica
,
Intervalo Temporal
and
Numero Real
CelsiusDegree
(s)
Numero Real
e'
maior
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
Area Geografica
and
TemperateClimateZone
Intervalo Temporal
Numero Real
Intervalo Temporal
e' uma
instancia
de
Mes
averageTemperatureForPeriod
Area Geografica
,
Intervalo Temporal
and
Numero Real
CelsiusDegree
(s)
Numero Real
e'
maior
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
Area Geografica
and
TemperateClimateZone
Intervalo Temporal
Numero Real
Intervalo Temporal
e' uma
instancia
de
Mes
averageTemperatureForPeriod
Area Geografica
,
Intervalo Temporal
and
Numero Real
CelsiusDegree
(s)
Numero Real
e'
maior
ou igual a -3.0
Numero Real
e'
menor
ou igual a 18.0
Intervalo Temporal
Numero Real
Intervalo Temporal
e' uma
instancia
de
Mes
averageTemperatureForPeriod
Area Geografica
,
Intervalo Temporal
and
Numero Real
CelsiusDegree
(s)
Numero Real
e'
menos
que
Numero Real
(=>
(
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
Area Geografica
and
TropicalClimateZone
Intervalo Temporal
Numero Real
Intervalo Temporal
e' uma
instancia
de
Mes
averageTemperatureForPeriod
Area Geografica
,
Intervalo Temporal
and
Numero Real
CelsiusDegree
(s)
Numero Real
e'
maior
que 18.0
Intervalo Temporal
Numero Real
averageTemperatureForPeriod
Area Geografica
,
Intervalo Temporal
and
Numero Real
CelsiusDegree
(s)
Numero Real
e'
menos
que
Numero Real
(=>
(
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
Area Geografica
and
WetTropicalClimateZone
Mes
Numero Real
Mes
e' uma
instancia
de
Mes
averageRainfallForPeriod
Area Geografica
,
Mes
and
Numero Real
um
milesimo
de
Meter
(s)
Numero Real
e'
maior
ou igual a 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
Area Geografica
and
DesertClimateZone
Intervalo Temporal
e' uma
instancia
de
Mes
averageTemperatureForPeriod
Area Geografica
,
Intervalo Temporal
and
Numero Real
CelsiusDegree
(s)
Numero Real
e'
maior
que 18.0
climateTypeInArea
Area Geografica
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
Area Geografica
and
TropicalClimateZone
Mes
e' uma
instancia
de
Mes
averageRainfallForPeriod
Area Geografica
,
Mes
and
Numero Real
um
milesimo
de
Meter
(s)
Numero Real
e'
maior
ou igual a 60.0
climateTypeInArea
Area Geografica
and
WetTropicalClimateZone
(=>
(
and
(
instance
?AREA ?TYPE)
(
subclass
?TYPE
ClimateZone
))
(
climateTypeInArea
?AREA ?TYPE))
Geography.kif 1263-1267
Area Geografica
e' uma
instancia
de
ClimateZone
ClimateZone
e' uma
sub
-classe de
ClimateZone
climateTypeInArea
Area Geografica
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
Area Geografica
e' uma
instancia
de
Area Geografica
Intervalo Temporal
e' uma
instancia
de
Mes
averageTemperatureForPeriod
Area Geografica
,
Intervalo Temporal
and
Numero Real
CelsiusDegree
(s) 10.0 e'
maior
que
Numero Real
climateTypeInArea
Area Geografica
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 1257-1269
Processo
e' uma
instancia
de
DustStorm
Area Geografica
Area Geografica
e' uma
instancia
de
Area Geografica
climateTypeInArea
Area Geografica
and
AridClimateZone
eventLocated
Processo
and
Area Geografica
Area Geografica
Area Geografica
e' uma
instancia
de
Area Geografica
climateTypeInArea
Area Geografica
and
SemiaridClimateZone
eventLocated
Processo
and
Area Geografica
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