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
Il numero 1 argomenti di
climateTypeInArea
è un
istanza
di
AreaGeografica
(
domainSubclass
climateTypeInArea
2
ClimateZone
)
Geography.kif 1246-1246
Il numero 2 argomento
climateTypeInArea
è una
sottoclasse
di
ClimateZone
(
instance
climateTypeInArea
BinaryPredicate
)
Geography.kif 1244-1244
climateTypeInArea
è un'
istanza
di
PredicatoBinario
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
AreaGeografica
and
ColdClimateZone
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
Mese
averageTemperatureForPeriod
AreaGeografica
,
IntervalloTemporale
and
NumeroReale
CelsiusDegree
(s
10.0 è
pi
ù grande di
NumeroReale
(=>
(
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
AreaGeografica
and
DesertClimateZone
IntervalloTemporale
è un'
istanza
di
Mese
averageTemperatureForPeriod
AreaGeografica
,
IntervalloTemporale
and
NumeroReale
CelsiusDegree
(s
NumeroReale
è
pi
ù grande di 18.0
climateTypeInArea
AreaGeografica
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
AreaGeografica
and
PolarTypeFClimateZone
PosizioneTemporale
è un'
istanza
di
PosizioneTemporale
airTemperature
AreaGeografica
and
Entit�
CelsiusDegree
(s vales
durante
PosizioneTemporale
10.0 è
pi
ù grande di
Entit�
vales
durante
PosizioneTemporale
(=>
(
and
(
climateTypeInArea
?AREA
TemperateClimateZone
)
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
)))
(
greaterThanOrEqualTo
?TEMP -3.0))
Geography.kif 1419-1425
climateTypeInArea
AreaGeografica
and
TemperateClimateZone
IntervalloTemporale
è un'
istanza
di
Mese
averageTemperatureForPeriod
AreaGeografica
,
IntervalloTemporale
and
NumeroReale
CelsiusDegree
(s
NumeroReale
è
pi
ù grande di o uguale 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
AreaGeografica
and
TropicalClimateZone
Mese
è un'
istanza
di
Mese
averageRainfallForPeriod
AreaGeografica
,
Mese
and
NumeroReale
un
millesimo
di un
Meter
(s
NumeroReale
è
pi
ù grande di o uguale a 60.0
climateTypeInArea
AreaGeografica
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
AreaGeografica
and
ClimateZone
Oggetto
Attributo
Oggetto
è un'
istanza
di
AreaGeografica
Attributo
è un'
istanza
di
ClimateZone
attribute
Oggetto
and
Attributo
Oggetto
è una
parte
di
AreaGeografica
(=>
(
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
AreaGeografica
and
ColdClimateZone
IntervalloTemporale
NumeroReale
IntervalloTemporale
è un'
istanza
di
Mese
IntervalloTemporale
è una
parte
di
WinterSeason
averageTemperatureForPeriod
AreaGeografica
,
IntervalloTemporale
and
NumeroReale
CelsiusDegree
(s
NumeroReale
è
meno
di-3.0
(=>
(
climateTypeInArea
?AREA
ContinentalClimateZone
)
(
coldSeasonInArea
?AREA
WinterSeason
))
Geography.kif 1474-1476
climateTypeInArea
AreaGeografica
and
ContinentalClimateZone
coldSeasonInArea
AreaGeografica
and
WinterSeason
(=>
(
climateTypeInArea
?AREA
ContinentalClimateZone
)
(
hotSeasonInArea
?AREA
SummerSeason
))
Geography.kif 1478-1480
climateTypeInArea
AreaGeografica
and
ContinentalClimateZone
hotSeasonInArea
AreaGeografica
and
SummerSeason
(=>
(
climateTypeInArea
?AREA
MediterraneanClimateZone
)
(
coolSeasonInArea
?AREA
WinterSeason
))
Geography.kif 1452-1454
climateTypeInArea
AreaGeografica
and
MediterraneanClimateZone
coolSeasonInArea
AreaGeografica
and
WinterSeason
(=>
(
climateTypeInArea
?AREA
MediterraneanClimateZone
)
(
drySeasonInArea
?AREA
SummerSeason
))
Geography.kif 1464-1466
climateTypeInArea
AreaGeografica
and
MediterraneanClimateZone
drySeasonInArea
AreaGeografica
and
SummerSeason
(=>
(
climateTypeInArea
?AREA
MediterraneanClimateZone
)
(
rainySeasonInArea
?AREA
WinterSeason
))
Geography.kif 1460-1462
climateTypeInArea
AreaGeografica
and
MediterraneanClimateZone
rainySeasonInArea
AreaGeografica
and
WinterSeason
(=>
(
climateTypeInArea
?AREA
MediterraneanClimateZone
)
(
warmSeasonInArea
?AREA
SummerSeason
))
Geography.kif 1456-1458
climateTypeInArea
AreaGeografica
and
MediterraneanClimateZone
warmSeasonInArea
AreaGeografica
and
SummerSeason
(=>
(
climateTypeInArea
?AREA
MidlatitudeContinentalClimateZone
)
(
coolSeasonInArea
?AREA
WinterSeason
))
Geography.kif 1489-1491
climateTypeInArea
AreaGeografica
and
MidlatitudeContinentalClimateZone
coolSeasonInArea
AreaGeografica
and
WinterSeason
(=>
(
climateTypeInArea
?AREA
MidlatitudeContinentalClimateZone
)
(
hotSeasonInArea
?AREA
SummerSeason
))
Geography.kif 1493-1495
climateTypeInArea
AreaGeografica
and
MidlatitudeContinentalClimateZone
hotSeasonInArea
AreaGeografica
and
SummerSeason
(=>
(
climateTypeInArea
?AREA
MonsoonClimateZone
)
(
exists
(?INTERVAL)
(
rainySeasonInArea
?AREA ?INTERVAL)))
Geography.kif 1341-1343
climateTypeInArea
AreaGeografica
and
MonsoonClimateZone
IntervalloTemporale
rainySeasonInArea
AreaGeografica
and
IntervalloTemporale
(=>
(
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
AreaGeografica
and
PolarClimateZone
IntervalloTemporale
NumeroReale
IntervalloTemporale
è un'
istanza
di
Mese
averageTemperatureForPeriod
AreaGeografica
,
IntervalloTemporale
and
NumeroReale
CelsiusDegree
(s 10.0 è
pi
ù grande di
NumeroReale
(=>
(
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
AreaGeografica
and
SubtropicalDesertClimateZone
IntervalloTemporale
NumeroReale
IntervalloTemporale
è un'
istanza
di
Mese
averageTemperatureForPeriod
AreaGeografica
,
IntervalloTemporale
and
NumeroReale
CelsiusDegree
(s
NumeroReale
è
pi
ù grande di 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
AreaGeografica
and
TemperateClimateZone
IntervalloTemporale
NumeroReale
IntervalloTemporale
è un'
istanza
di
Mese
averageTemperatureForPeriod
AreaGeografica
,
IntervalloTemporale
and
NumeroReale
CelsiusDegree
(s
NumeroReale
è
pi
ù grande di 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
AreaGeografica
and
TemperateClimateZone
IntervalloTemporale
NumeroReale
IntervalloTemporale
è un'
istanza
di
Mese
averageTemperatureForPeriod
AreaGeografica
,
IntervalloTemporale
and
NumeroReale
CelsiusDegree
(s
NumeroReale
è
pi
ù grande di o uguale a -3.0
NumeroReale
è
minore
o uguale a 18.0
IntervalloTemporale
NumeroReale
IntervalloTemporale
è un'
istanza
di
Mese
averageTemperatureForPeriod
AreaGeografica
,
IntervalloTemporale
and
NumeroReale
CelsiusDegree
(s
NumeroReale
è
meno
di
NumeroReale
(=>
(
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
AreaGeografica
and
TropicalClimateZone
IntervalloTemporale
NumeroReale
IntervalloTemporale
è un'
istanza
di
Mese
averageTemperatureForPeriod
AreaGeografica
,
IntervalloTemporale
and
NumeroReale
CelsiusDegree
(s
NumeroReale
è
pi
ù grande di 18.0
IntervalloTemporale
NumeroReale
averageTemperatureForPeriod
AreaGeografica
,
IntervalloTemporale
and
NumeroReale
CelsiusDegree
(s
NumeroReale
è
meno
di
NumeroReale
(=>
(
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
AreaGeografica
and
WetTropicalClimateZone
Mese
NumeroReale
Mese
è un'
istanza
di
Mese
averageRainfallForPeriod
AreaGeografica
,
Mese
and
NumeroReale
un
millesimo
di un
Meter
(s
NumeroReale
è
pi
ù grande di o uguale 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
AreaGeografica
and
DesertClimateZone
IntervalloTemporale
è un'
istanza
di
Mese
averageTemperatureForPeriod
AreaGeografica
,
IntervalloTemporale
and
NumeroReale
CelsiusDegree
(s
NumeroReale
è
pi
ù grande di 18.0
climateTypeInArea
AreaGeografica
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
AreaGeografica
and
TropicalClimateZone
Mese
è un'
istanza
di
Mese
averageRainfallForPeriod
AreaGeografica
,
Mese
and
NumeroReale
un
millesimo
di un
Meter
(s
NumeroReale
è
pi
ù grande di o uguale a 60.0
climateTypeInArea
AreaGeografica
and
WetTropicalClimateZone
(=>
(
and
(
instance
?AREA ?TYPE)
(
subclass
?TYPE
ClimateZone
))
(
climateTypeInArea
?AREA ?TYPE))
Geography.kif 1263-1267
AreaGeografica
è un'
istanza
di
ClimateZone
ClimateZone
è una
sottoclasse
di
ClimateZone
climateTypeInArea
AreaGeografica
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
AreaGeografica
è un'
istanza
di
AreaGeografica
IntervalloTemporale
è un'
istanza
di
Mese
averageTemperatureForPeriod
AreaGeografica
,
IntervalloTemporale
and
NumeroReale
CelsiusDegree
(s 10.0 è
pi
ù grande di
NumeroReale
climateTypeInArea
AreaGeografica
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 1245-1257
Processo
è un'
istanza
di
DustStorm
AreaGeografica
AreaGeografica
è un'
istanza
di
AreaGeografica
climateTypeInArea
AreaGeografica
and
AridClimateZone
eventLocated
Processo
and
AreaGeografica
AreaGeografica
AreaGeografica
è un'
istanza
di
AreaGeografica
climateTypeInArea
AreaGeografica
and
SemiaridClimateZone
eventLocated
Processo
and
AreaGeografica
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