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
MaxValueFn
Sigma KEE - MaxValueFn
MaxValueFn
appearance as argument number 1
(
documentation
MaxValueFn
ChineseLanguage
"(
MaxValueFn
?LIST) 得出一个串列 (
List
) 所有数值中的最大值。")
Weather.kif 1676-1677
(
documentation
MaxValueFn
EnglishLanguage
"(
MaxValueFn
?LIST) returns the maximum value of all the numbers in a
List
.")
Weather.kif 1674-1675
(
domain
MaxValueFn
1
List
)
Weather.kif 1681-1681
Le nombre 1 argument de
MaxValueFn
est une
instance
de
liste
(
instance
MaxValueFn
UnaryFunction
)
Weather.kif 1682-1682
MaxValueFn
est une
instance
de
function unaire
(
range
MaxValueFn
Number
)
Weather.kif 1683-1683
Le
domaine
de
MaxValueFn
est une instance de
nombre
appearance as argument number 2
(
format
ChineseLanguage
MaxValueFn
"%1串列中的最大值 ")
Weather.kif 1679-1679
(
format
EnglishLanguage
MaxValueFn
"The maximum value of the %1")
Weather.kif 1678-1678
(
termFormat
ChineseLanguage
MaxValueFn
"最大值")
domainEnglishFormat.kif 10433-10433
(
termFormat
EnglishLanguage
MaxValueFn
"maximum value")
domainEnglishFormat.kif 10432-10432
antecedent
(=>
(
equal
?X
(
MaxValueFn
?LIST))
(
not
(
exists
(?Y)
(
and
(
inList
?Y ?LIST)
(
greaterThan
?Y ?X)))))
Weather.kif 1685-1692
Nombre r�el
est
MaxValueFn
liste
nombre r�el
nombre r�el
est un
membre
de
liste
nombre r�el
est
plus
grand
que
nombre r�el
consequent
(=>
(
equal
?SPEED
(
ThreeSecondGustSpeedFn
?PLACE ?TIME))
(
exists
(?SPEEDLIST ?NLIST ?UNIT)
(
and
(
equal
?SPEEDLIST
(
Mean3SecondWindSpeedListFn
?PLACE ?TIME))
(
equal
?NLIST
(
PhysicalQuantityToNumberFn
?SPEEDLIST))
(
equal
?SPEED
(
MeasureFn
(
MaxValueFn
?NLIST) ?UNIT)))))
Weather.kif 2038-2048
Function de quantit�
est
ThreeSecondGustSpeedFn
secteur g�ographique
and
interval temporel
function de quantit�
LIST
NumberList
and
unit� de mesure
function de quantit�
LIST est
Mean3SecondWindSpeedListFn
secteur g�ographique
and
interval temporel
NumberList
est
PhysicalQuantityToNumberFn
function de quantit�
LIST
function de quantit�
est
MaxValueFn
NumberList
unit� de mesure
(s)
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