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
AverageFn
Sigma KEE - AverageFn
AverageFn
appearance as argument number 1
(
documentation
AverageFn
EnglishLanguage
"The average of the
Number
s in a
List
")
Merge.kif 3274-3274
(
domain
AverageFn
1
List
)
Merge.kif 3272-3272
Die Zahl 1 Argument von
AverageFn
ist ein
fall
von
List
%n{nicht}
(
instance
AverageFn
UnaryFunction
)
Merge.kif 3271-3271
AverageFn
ist ein
fall
von
UnaryFunction
%n{nicht}
(
range
AverageFn
RealNumber
)
Merge.kif 3273-3273
bildbereich
von
AverageFn
ist ein fall von
RealNumber
{nicht}
appearance as argument number 2
(
format
EnglishLanguage
AverageFn
"the
average
of the numbers in %1")
Merge.kif 3276-3276
(
termFormat
EnglishLanguage
AverageFn
"average function")
Merge.kif 3275-3275
antecedent
(=>
(
and
(
equal
?A
(
AverageFn
?L))
(
greaterThan
(
ListLengthFn
?L) 0))
(
equal
?A
(
DivisionFn
(
ListSumFn
?L)
(
ListLengthFn
?L))))
Merge.kif 3278-3285
Wenn
RealNumber
ist gleich
AverageFn
List
%n{nicht} und
Laenge
von
** List
ist
groesserAls
0 %n{nicht},
dann
** RealNumber
ist gleich
ListSumFn
** List
und
Laenge
von
** List
%n{nicht}
(=>
(
and
(
equal
?A
(
AverageFn
?L))
(
inList
?N ?L))
(
instance
?N
Number
))
Merge.kif 3287-3291
Wenn
RealNumber
ist gleich
AverageFn
List
%n{nicht} und
Entity
ist ein
Mitglied
von
** List
,
dann
** Entity
ist ein
fall
von
Number
%n{nicht}
(=>
(
and
(
equal
?V
(
VarianceFn
?L))
(
equal
?M
(
AverageFn
?L)))
(
equal
?V
(
DivisionFn
(
VarianceAverageFn
?M ?L)
(
ListLengthFn
?L))))
Weather.kif 1459-1468
Wenn
RealNumber
ist gleich
VarianceFn
List
%n{nicht} und
** RealNumber
ist gleich
AverageFn
** List
%n{nicht},
dann
** RealNumber
ist gleich
VarianceAverageFn
** ** RealNumber
and
** List
und
Laenge
von
** List
%n{nicht}
consequent
(=>
(
equal
?SPEED
(
Mean10MinutesWindSpeedFn
?PLACE ?TIME))
(
holdsDuring
?TIME
(
exists
(?MLIST ?RLIST ?NLIST ?UNIT)
(
and
(
instance
?MLIST
MeasuringSurfaceWindSpeedList
)
(
locationMeasuringList
?MLIST ?PLACE)
(
measuringListInterval
?MLIST
(
MeasureFn
5
SecondDuration
))
(
measuringListDuration
?MLIST
(
MeasureFn
10
MinuteDuration
))
(
equal
120
(
ListLengthFn
?MLIST))
(
measuringResult
?MLIST ?RLIST)
(
equal
?NLIST
(
PhysicalQuantityToNumberFn
?RLIST))
(
equal
?SPEED
(
MeasureFn
(
AverageFn
?NLIST) ?UNIT))))))
Weather.kif 2206-2223
Wenn
FunctionQuantity
ist gleich
Mean10MinutesWindSpeedFn
GeographicArea
and
TimeInterval
%n{nicht},
dann es gibt
entity
,
** entity
,, ,
** entity
, and und
** entity
um
** entity
ist ein
fall
von
MeasuringSurfaceWindSpeedList
%n{nicht} und
locationMeasuringList
** entity
and
** GeographicArea
und
measuringListInterval
** entity
and 5
SecondDuration
(s) und
measuringListDuration
** entity
and 10
MinuteDuration
(s) und 120 ist gleich
Laenge
von
** entity
%n{nicht} und
measuringResult
** entity
and
** ** entity
und
** ** entity
ist gleich
PhysicalQuantityToNumberFn
** ** entity
%n{nicht} und
** FunctionQuantity
ist gleich
AverageFn
** ** entity
** ** entity
(s) %n{nicht} haelt
waehrend
** TimeInterval
%n{nicht}
(=>
(
equal
?SPEED
(
Mean1MinuteWindSpeedFn
?PLACE ?TIME))
(
holdsDuring
?TIME
(
exists
(?MLIST ?RLIST ?NLIST ?UNIT)
(
and
(
instance
?MLIST
MeasuringSurfaceWindSpeedList
)
(
locationMeasuringList
?MLIST ?PLACE)
(
measuringListInterval
?MLIST
(
MeasureFn
5
SecondDuration
))
(
measuringListDuration
?MLIST
(
MeasureFn
1
MinuteDuration
))
(
equal
12
(
ListLengthFn
?MLIST))
(
measuringResult
?MLIST ?RLIST)
(
equal
?NLIST
(
PhysicalQuantityToNumberFn
?RLIST))
(
equal
?SPEED
(
MeasureFn
(
AverageFn
?NLIST) ?UNIT))))))
Weather.kif 2311-2328
Wenn
FunctionQuantity
ist gleich
Mean1MinuteWindSpeedFn
GeographicArea
and
TimeInterval
%n{nicht},
dann es gibt
entity
,
** entity
,, ,
** entity
, and und
** entity
um
** entity
ist ein
fall
von
MeasuringSurfaceWindSpeedList
%n{nicht} und
locationMeasuringList
** entity
and
** GeographicArea
und
measuringListInterval
** entity
and 5
SecondDuration
(s) und
measuringListDuration
** entity
and 1
MinuteDuration
(s) und 12 ist gleich
Laenge
von
** entity
%n{nicht} und
measuringResult
** entity
and
** ** entity
und
** ** entity
ist gleich
PhysicalQuantityToNumberFn
** ** entity
%n{nicht} und
** FunctionQuantity
ist gleich
AverageFn
** ** entity
** ** entity
(s) %n{nicht} haelt
waehrend
** TimeInterval
%n{nicht}
(=>
(
equal
?SPEED
(
Mean2MinutesWindSpeedFn
?PLACE ?TIME))
(
holdsDuring
?TIME
(
exists
(?MLIST ?RLIST ?NLIST ?UNIT)
(
and
(
instance
?MLIST
MeasuringSurfaceWindSpeedList
)
(
locationMeasuringList
?MLIST ?PLACE)
(
measuringListInterval
?MLIST
(
MeasureFn
5
SecondDuration
))
(
measuringListDuration
?MLIST
(
MeasureFn
2
MinuteDuration
))
(
equal
24
(
ListLengthFn
?MLIST))
(
measuringResult
?MLIST ?RLIST)
(
equal
?NLIST
(
PhysicalQuantityToNumberFn
?RLIST))
(
equal
?SPEED
(
MeasureFn
(
AverageFn
?NLIST) ?UNIT))))))
Weather.kif 2276-2293
Wenn
FunctionQuantity
ist gleich
Mean2MinutesWindSpeedFn
GeographicArea
and
TimeInterval
%n{nicht},
dann es gibt
entity
,
** entity
,, ,
** entity
, and und
** entity
um
** entity
ist ein
fall
von
MeasuringSurfaceWindSpeedList
%n{nicht} und
locationMeasuringList
** entity
and
** GeographicArea
und
measuringListInterval
** entity
and 5
SecondDuration
(s) und
measuringListDuration
** entity
and 2
MinuteDuration
(s) und 24 ist gleich
Laenge
von
** entity
%n{nicht} und
measuringResult
** entity
and
** ** entity
und
** ** entity
ist gleich
PhysicalQuantityToNumberFn
** ** entity
%n{nicht} und
** FunctionQuantity
ist gleich
AverageFn
** ** entity
** ** entity
(s) %n{nicht} haelt
waehrend
** TimeInterval
%n{nicht}
(=>
(
equal
?SPEED
(
Mean3MinutesWindSpeedFn
?PLACE ?TIME))
(
holdsDuring
?TIME
(
exists
(?MLIST ?RLIST ?NLIST ?UNIT)
(
and
(
instance
?MLIST
MeasuringSurfaceWindSpeedList
)
(
locationMeasuringList
?MLIST ?PLACE)
(
measuringListInterval
?MLIST
(
MeasureFn
5
SecondDuration
))
(
measuringListDuration
?MLIST
(
MeasureFn
2
MinuteDuration
))
(
equal
36
(
ListLengthFn
?MLIST))
(
measuringResult
?MLIST ?RLIST)
(
equal
?NLIST
(
PhysicalQuantityToNumberFn
?RLIST))
(
equal
?SPEED
(
MeasureFn
(
AverageFn
?NLIST) ?UNIT))))))
Weather.kif 2241-2258
Wenn
FunctionQuantity
ist gleich
Mean3MinutesWindSpeedFn
GeographicArea
and
TimeInterval
%n{nicht},
dann es gibt
entity
,
** entity
,, ,
** entity
, and und
** entity
um
** entity
ist ein
fall
von
MeasuringSurfaceWindSpeedList
%n{nicht} und
locationMeasuringList
** entity
and
** GeographicArea
und
measuringListInterval
** entity
and 5
SecondDuration
(s) und
measuringListDuration
** entity
and 2
MinuteDuration
(s) und 36 ist gleich
Laenge
von
** entity
%n{nicht} und
measuringResult
** entity
and
** ** entity
und
** ** entity
ist gleich
PhysicalQuantityToNumberFn
** ** entity
%n{nicht} und
** FunctionQuantity
ist gleich
AverageFn
** ** entity
** ** entity
(s) %n{nicht} haelt
waehrend
** TimeInterval
%n{nicht}
(=>
(
equal
?SPEED
(
Mean3SecondWindSpeedFn
?PLACE ?TIME))
(
holdsDuring
?TIME
(
exists
(?MLIST ?RLIST ?NLIST ?UNIT)
(
and
(
instance
?MLIST
MeasuringSurfaceWindSpeedList
)
(
locationMeasuringList
?MLIST ?PLACE)
(
measuringListInterval
?MLIST
(
MeasureFn
0.25
SecondDuration
))
(
measuringListDuration
?MLIST
(
MeasureFn
3
SecondDuration
))
(
equal
12
(
ListLengthFn
?MLIST))
(
measuringResult
?MLIST ?RLIST)
(
equal
?NLIST
(
PhysicalQuantityToNumberFn
?RLIST))
(
equal
?SPEED
(
MeasureFn
(
AverageFn
?NLIST) ?UNIT))))))
Weather.kif 1887-1904
Wenn
FunctionQuantity
ist gleich
Mean3SecondWindSpeedFn
GeographicArea
and
TimeInterval
%n{nicht},
dann es gibt
entity
,
** entity
,, ,
** entity
, and und
** entity
um
** entity
ist ein
fall
von
MeasuringSurfaceWindSpeedList
%n{nicht} und
locationMeasuringList
** entity
and
** GeographicArea
und
measuringListInterval
** entity
and 0.25
SecondDuration
(s) und
measuringListDuration
** entity
and 3
SecondDuration
(s) und 12 ist gleich
Laenge
von
** entity
%n{nicht} und
measuringResult
** entity
and
** ** entity
und
** ** entity
ist gleich
PhysicalQuantityToNumberFn
** ** entity
%n{nicht} und
** FunctionQuantity
ist gleich
AverageFn
** ** entity
** ** entity
(s) %n{nicht} haelt
waehrend
** TimeInterval
%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