Browsing Interface
: Welcome guest :
log in
[
Home

Graph
 ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUOKIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Sigma KEE  AverageFn
AverageFn
appearance as argument number 1
(
documentation
AverageFn
EnglishLanguage
"The average of the
Number
s in a
List
")
Merge.kif 31263126
(
domain
AverageFn
1
List
)
Merge.kif 31243124
The number 1 argument of
average function
is an
instance
of
list
(
instance
AverageFn
UnaryFunction
)
Merge.kif 31233123
Average function
is an
instance
of
unary function
(
range
AverageFn
Number
)
Merge.kif 31253125
The
range
of
average function
is an instance of
number
appearance as argument number 2
(
format
EnglishLanguage
AverageFn
"the
average
of the numbers in %1")
Merge.kif 31283128
(
termFormat
EnglishLanguage
AverageFn
"average function")
Merge.kif 31273127
antecedent
(=>
(
and
(
equal
?A
(
AverageFn
?L))
(
greaterThan
(
ListLengthFn
?L) 0))
(
equal
?A
(
DivisionFn
(
ListSumFn
?L)
(
ListLengthFn
?L))))
Merge.kif 31303137
If
a number
is
equal
to the
average
of the numbers in
a list
and
length
of
the list
is
greater
than 0,
then
the number
is
equal
to the
sum
of
the list
and
length
of
the list
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Sigma web home
Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is
open source software
produced by
Articulate Software
and its partners