MaxValueFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation MaxValueFn EnglishLanguage "(MaxValueFn ?LIST) returns the maximum value of all the numbers in a List.")	Weather.kif 2983-2984
(documentation MaxValueFn ChineseLanguage "(MaxValueFn ?LIST) 得出一个串列 (List) 所有数值中的最大值。")	Weather.kif 2985-2986
(domain MaxValueFn 1 List)	Weather.kif 2990-2990	The number 1 argument of maximum value is an instance of list
(instance MaxValueFn UnaryFunction)	Weather.kif 2991-2991	Maximum value is an instance of unary function
(range MaxValueFn Number)	Weather.kif 2992-2992	The range of maximum value is an instance of number

appearance as argument number 2

(format EnglishLanguage MaxValueFn "The maximum value of the %1")	Weather.kif 2987-2987
(format ChineseLanguage MaxValueFn "%1串列中的最大值 ")	Weather.kif 2988-2988
(termFormat EnglishLanguage MaxValueFn "maximum value")	domainEnglishFormat.kif 10438-10438
(termFormat ChineseLanguage MaxValueFn "最大值")	domainEnglishFormat.kif 10439-10439

antecedent

(=>
    (equal ?X
        (MaxValueFn ?LIST))
    (not
        (exists (?Y)
            (and
                (inList ?Y ?LIST)
                (greaterThan ?Y ?X)))))

Weather.kif 2994-3001

If equal X and The maximum value of the Y, then there doesn't exist Z such that Z is a member of Y and Z is greater than X

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 3305-3315

If equal X and ThreeSecondSpeedGustFn ending at Y in Z, then there exist W, V and U such that equal W and Mean3SecondWindSpeedListFn ending at Y in region Z and equal V and PhysicalQuantityToNumberFn returns the numberic values of a list of W and equal X and The maximum value of the V U(s)

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 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: