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
averageTemperatureForPeriod
Sigma KEE - averageTemperatureForPeriod
averageTemperatureForPeriod
appearance as argument number 1
(
documentation
averageTemperatureForPeriod
EnglishLanguage
"(
averageTemperatureForPeriod
?PLACE ?PERIOD ?AMOUNT) means that at the
GeographicArea
?PLACE, and during the
TimeInterval
?PERIOD, the average daily temperature was ?AMOUNT. Temperature may be expressed in some
UnitOfTemperature
, including
CelsiusDegree
and
FahrenheitDegree
, among others.")
Weather.kif 989-994
(
domain
averageTemperatureForPeriod
1
GeographicArea
)
Weather.kif 985-985
Die Zahl 1 Argument von
averageTemperatureForPeriod
ist ein
fall
von
GeographicArea
%n{nicht}
(
domain
averageTemperatureForPeriod
2
TimeInterval
)
Weather.kif 986-986
Die Zahl 2 Argument von
averageTemperatureForPeriod
ist ein
fall
von
TimeInterval
%n{nicht}
(
domain
averageTemperatureForPeriod
3
TemperatureMeasure
)
Weather.kif 987-987
Die Zahl 3 Argument von
averageTemperatureForPeriod
ist ein
fall
von
TemperatureMeasure
%n{nicht}
(
instance
averageTemperatureForPeriod
TernaryPredicate
)
Weather.kif 984-984
averageTemperatureForPeriod
ist ein
fall
von
TernaryPredicate
%n{nicht}
appearance as argument number 2
(
format
ChineseLanguage
averageTemperatureForPeriod
"1 %n{不是} 对于 %3 在 %2 周期的
average
温度")
domainEnglishFormat.kif 240-240
(
format
ChineseTraditionalLanguage
averageTemperatureForPeriod
"1 %n{不是} 對於 %3 在 %2 週期的
average
溫度")
domainEnglishFormat.kif 239-239
(
format
EnglishLanguage
averageTemperatureForPeriod
"%1 %n{doesn't}
average
temperature for period %2 for %3")
domainEnglishFormat.kif 238-238
(
termFormat
ChineseLanguage
averageTemperatureForPeriod
"期间平均温度")
domainEnglishFormat.kif 9360-9360
(
termFormat
ChineseTraditionalLanguage
averageTemperatureForPeriod
"期間平均溫度")
domainEnglishFormat.kif 9359-9359
(
termFormat
EnglishLanguage
averageTemperatureForPeriod
"average temperature for period")
domainEnglishFormat.kif 9358-9358
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
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
(
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
consequent
(=>
(
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
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}
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