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
Die Zahl 1 Argument von
climateTypeInArea
ist ein
fall
von
GeographicArea
%n{nicht}
(
domainSubclass
climateTypeInArea
2
ClimateZone
)
Geography.kif 1246-1246
Die Zahl 2 Argument von
climateTypeInArea
ist eine
teilkategorie
von
ClimateZone
%n{nicht}
(
instance
climateTypeInArea
BinaryPredicate
)
Geography.kif 1244-1244
climateTypeInArea
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
Wenn
climateTypeInArea
GeographicArea
and
ColdClimateZone
und fuer alle
TimeInterval
** TimeInterval
ist ein
fall
von
Month
%n{nicht} und
averageTemperatureForPeriod
** GeographicArea
,
** TimeInterval
and
RealNumber
CelsiusDegree
(s),
dann 10.0 ist
groesserAls
** RealNumber
%n{nicht}
(=>
(
and
(
climateTypeInArea
?AREA
DesertClimateZone
)
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
))
(
greaterThan
?TEMP 18.0))
(
climateTypeInArea
?AREA
SubtropicalDesertClimateZone
))
Geography.kif 1370-1377
Wenn
climateTypeInArea
GeographicArea
and
DesertClimateZone
und
TimeInterval
ist ein
fall
von
Month
%n{nicht} und
averageTemperatureForPeriod
** GeographicArea
,
** TimeInterval
and
RealNumber
CelsiusDegree
(s) und
** RealNumber
ist
groesserAls
18.0 %n{nicht},
dann
climateTypeInArea
** GeographicArea
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
Wenn
climateTypeInArea
GeographicArea
and
PolarTypeFClimateZone
und
TimePosition
ist ein
fall
von
TimePosition
%n{nicht} und
airTemperature
** GeographicArea
and
entity
CelsiusDegree
(s) haelt
waehrend
** TimePosition
%n{nicht},
dann 10.0 ist
groesserAls
** entity
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
and
(
climateTypeInArea
?AREA
TemperateClimateZone
)
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
)))
(
greaterThanOrEqualTo
?TEMP -3.0))
Geography.kif 1419-1425
Wenn
climateTypeInArea
GeographicArea
and
TemperateClimateZone
und
TimeInterval
ist ein
fall
von
Month
%n{nicht} und
averageTemperatureForPeriod
** GeographicArea
,
** TimeInterval
and
RealNumber
CelsiusDegree
(s),
dann
** RealNumber
ist
groesserAlsOderGleich
-3.0 %n{nicht}
(=>
(
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
Wenn
climateTypeInArea
GeographicArea
and
TropicalClimateZone
und
Month
ist ein
fall
von
Month
%n{nicht} und
averageRainfallForPeriod
** GeographicArea
,
** Month
and
RealNumber
ein
tausendstes
einer
Meter
(s) und
** RealNumber
ist
groesserAlsOderGleich
60.0 %n{nicht},
dann
climateTypeInArea
** GeographicArea
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
Wenn
climateTypeInArea
GeographicArea
and
** ClimateZone
,
dann es gibt
Object
und
Attribute
um
** Object
ist ein
fall
von
GeographicArea
%n{nicht} und
** Attribute
ist ein
fall
von
** ClimateZone
%n{nicht} und
** Attribute
ist ein
attribut
von
** Object
%n{nicht} und
** Object
ist ein
teil
von
** GeographicArea
%n{nicht}
(=>
(
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
Wenn
climateTypeInArea
GeographicArea
and
ColdClimateZone
,
dann es gibt
TimeInterval
und
RealNumber
um
** TimeInterval
ist ein
fall
von
Month
%n{nicht} und
** TimeInterval
ist ein
teil
von
WinterSeason
%n{nicht} und
averageTemperatureForPeriod
** GeographicArea
,
** TimeInterval
and
** RealNumber
CelsiusDegree
(s) und
** RealNumber
ist
kleinerAls
-3.0 %n{nicht}
(=>
(
climateTypeInArea
?AREA
ContinentalClimateZone
)
(
coldSeasonInArea
?AREA
WinterSeason
))
Geography.kif 1474-1476
Wenn
climateTypeInArea
GeographicArea
and
ContinentalClimateZone
,
dann
coldSeasonInArea
** GeographicArea
and
WinterSeason
(=>
(
climateTypeInArea
?AREA
ContinentalClimateZone
)
(
hotSeasonInArea
?AREA
SummerSeason
))
Geography.kif 1478-1480
Wenn
climateTypeInArea
GeographicArea
and
ContinentalClimateZone
,
dann
hotSeasonInArea
** GeographicArea
and
SummerSeason
(=>
(
climateTypeInArea
?AREA
MediterraneanClimateZone
)
(
coolSeasonInArea
?AREA
WinterSeason
))
Geography.kif 1452-1454
Wenn
climateTypeInArea
GeographicArea
and
MediterraneanClimateZone
,
dann
coolSeasonInArea
** GeographicArea
and
WinterSeason
(=>
(
climateTypeInArea
?AREA
MediterraneanClimateZone
)
(
drySeasonInArea
?AREA
SummerSeason
))
Geography.kif 1464-1466
Wenn
climateTypeInArea
GeographicArea
and
MediterraneanClimateZone
,
dann
drySeasonInArea
** GeographicArea
and
SummerSeason
(=>
(
climateTypeInArea
?AREA
MediterraneanClimateZone
)
(
rainySeasonInArea
?AREA
WinterSeason
))
Geography.kif 1460-1462
Wenn
climateTypeInArea
GeographicArea
and
MediterraneanClimateZone
,
dann
rainySeasonInArea
** GeographicArea
and
WinterSeason
(=>
(
climateTypeInArea
?AREA
MediterraneanClimateZone
)
(
warmSeasonInArea
?AREA
SummerSeason
))
Geography.kif 1456-1458
Wenn
climateTypeInArea
GeographicArea
and
MediterraneanClimateZone
,
dann
warmSeasonInArea
** GeographicArea
and
SummerSeason
(=>
(
climateTypeInArea
?AREA
MidlatitudeContinentalClimateZone
)
(
coolSeasonInArea
?AREA
WinterSeason
))
Geography.kif 1489-1491
Wenn
climateTypeInArea
GeographicArea
and
MidlatitudeContinentalClimateZone
,
dann
coolSeasonInArea
** GeographicArea
and
WinterSeason
(=>
(
climateTypeInArea
?AREA
MidlatitudeContinentalClimateZone
)
(
hotSeasonInArea
?AREA
SummerSeason
))
Geography.kif 1493-1495
Wenn
climateTypeInArea
GeographicArea
and
MidlatitudeContinentalClimateZone
,
dann
hotSeasonInArea
** GeographicArea
and
SummerSeason
(=>
(
climateTypeInArea
?AREA
MonsoonClimateZone
)
(
exists
(?INTERVAL)
(
rainySeasonInArea
?AREA ?INTERVAL)))
Geography.kif 1341-1343
Wenn
climateTypeInArea
GeographicArea
and
MonsoonClimateZone
,
dann es gibt
** TimeInterval
um
rainySeasonInArea
** GeographicArea
and
** TimeInterval
(=>
(
climateTypeInArea
?AREA
PolarClimateZone
)
(
exists
(?MO ?TEMP)
(
and
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
))
(
greaterThan
10.0 ?TEMP))))
Geography.kif 1566-1573
Wenn
climateTypeInArea
GeographicArea
and
PolarClimateZone
,
dann es gibt
TimeInterval
und
RealNumber
um
** TimeInterval
ist ein
fall
von
Month
%n{nicht} und
averageTemperatureForPeriod
** GeographicArea
,
** TimeInterval
and
** RealNumber
CelsiusDegree
(s) und 10.0 ist
groesserAls
** RealNumber
%n{nicht}
(=>
(
climateTypeInArea
?AREA
SubtropicalDesertClimateZone
)
(
exists
(?MO ?TEMP)
(
and
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
))
(
greaterThan
?TEMP 18.0))))
Geography.kif 1379-1386
Wenn
climateTypeInArea
GeographicArea
and
SubtropicalDesertClimateZone
,
dann es gibt
TimeInterval
und
RealNumber
um
** TimeInterval
ist ein
fall
von
Month
%n{nicht} und
averageTemperatureForPeriod
** GeographicArea
,
** TimeInterval
and
** RealNumber
CelsiusDegree
(s) und
** RealNumber
ist
groesserAls
18.0 %n{nicht}
(=>
(
climateTypeInArea
?AREA
TemperateClimateZone
)
(
exists
(?MO ?AMOUNT)
(
and
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?AMOUNT
CelsiusDegree
))
(
greaterThan
?AMOUNT 10.0))))
Geography.kif 1409-1416
Wenn
climateTypeInArea
GeographicArea
and
TemperateClimateZone
,
dann es gibt
TimeInterval
und
RealNumber
um
** TimeInterval
ist ein
fall
von
Month
%n{nicht} und
averageTemperatureForPeriod
** GeographicArea
,
** TimeInterval
and
** RealNumber
CelsiusDegree
(s) und
** RealNumber
ist
groesserAls
10.0 %n{nicht}
(=>
(
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
Wenn
climateTypeInArea
GeographicArea
and
TemperateClimateZone
,
dann es gibt
TimeInterval
und
RealNumber
um
** TimeInterval
ist ein
fall
von
Month
%n{nicht} und
averageTemperatureForPeriod
** GeographicArea
,
** TimeInterval
and
** RealNumber
CelsiusDegree
(s) und
** RealNumber
ist
groesserAlsOderGleich
-3.0 %n{nicht} und
** RealNumber
ist
kleinerAlsOderGleich
18.0 %n{nicht} und es gibt nicht
** TimeInterval
und
** RealNumber
um
** ** TimeInterval
ist ein
fall
von
Month
%n{nicht} und
averageTemperatureForPeriod
** GeographicArea
,
** ** TimeInterval
and
** ** RealNumber
CelsiusDegree
(s) und
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht}
(=>
(
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
Wenn
climateTypeInArea
GeographicArea
and
TropicalClimateZone
,
dann es gibt
TimeInterval
und
RealNumber
um
** TimeInterval
ist ein
fall
von
Month
%n{nicht} und
averageTemperatureForPeriod
** GeographicArea
,
** TimeInterval
and
** RealNumber
CelsiusDegree
(s) und
** RealNumber
ist
groesserAls
18.0 %n{nicht} und es gibt nicht
** TimeInterval
und
** RealNumber
um
averageTemperatureForPeriod
** GeographicArea
,
** ** TimeInterval
and
** ** RealNumber
CelsiusDegree
(s) und
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht}
(=>
(
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
Wenn
climateTypeInArea
GeographicArea
and
WetTropicalClimateZone
,
dann fuer alle
Month
und
RealNumber
** Month
ist ein
fall
von
Month
%n{nicht} und
averageRainfallForPeriod
** GeographicArea
,
** Month
and
** RealNumber
ein
tausendstes
einer
Meter
(s) und
** RealNumber
ist
groesserAlsOderGleich
60.0 %n{nicht}
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
Wenn
climateTypeInArea
GeographicArea
and
DesertClimateZone
und
TimeInterval
ist ein
fall
von
Month
%n{nicht} und
averageTemperatureForPeriod
** GeographicArea
,
** TimeInterval
and
RealNumber
CelsiusDegree
(s) und
** RealNumber
ist
groesserAls
18.0 %n{nicht},
dann
climateTypeInArea
** GeographicArea
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
Wenn
climateTypeInArea
GeographicArea
and
TropicalClimateZone
und
Month
ist ein
fall
von
Month
%n{nicht} und
averageRainfallForPeriod
** GeographicArea
,
** Month
and
RealNumber
ein
tausendstes
einer
Meter
(s) und
** RealNumber
ist
groesserAlsOderGleich
60.0 %n{nicht},
dann
climateTypeInArea
** GeographicArea
and
WetTropicalClimateZone
(=>
(
and
(
instance
?AREA ?TYPE)
(
subclass
?TYPE
ClimateZone
))
(
climateTypeInArea
?AREA ?TYPE))
Geography.kif 1263-1267
Wenn
GeographicArea
ist ein
fall
von
** ClimateZone
%n{nicht} und
** ClimateZone
ist eine
teilkategorie
von
ClimateZone
,
dann
climateTypeInArea
** GeographicArea
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
Wenn
GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht} und
TimeInterval
ist ein
fall
von
Month
%n{nicht} und
averageTemperatureForPeriod
** GeographicArea
,
** TimeInterval
and
RealNumber
CelsiusDegree
(s) und 10.0 ist
groesserAls
** RealNumber
%n{nicht},
dann
climateTypeInArea
** GeographicArea
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
Wenn
Process
ist ein
fall
von
DustStorm
%n{nicht},
dann es gibt
GeographicArea
um
** GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht} und
climateTypeInArea
** GeographicArea
and
AridClimateZone
und
eventLocated
** Process
and
** GeographicArea
oder es gibt
** GeographicArea
um
** ** GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht} und
climateTypeInArea
** ** GeographicArea
and
SemiaridClimateZone
und
eventLocated
** Process
and
** ** 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