MaxValueFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation MaxValueFn ChineseLanguage "(MaxValueFn ?LIST) 得出一个串列 (List) 所有数值中的最大值。")	Weather.kif 1658-1659
(documentation MaxValueFn EnglishLanguage "(MaxValueFn ?LIST) returns the maximum value of all the numbers in a List.")	Weather.kif 1656-1657
(domain MaxValueFn 1 List)	Weather.kif 1663-1663	The number 1 argument of maximum value is an instance of list
(instance MaxValueFn UnaryFunction)	Weather.kif 1664-1664	Maximum value is an instance of unary function
(range MaxValueFn Number)	Weather.kif 1665-1665	The range of maximum value is an instance of number

appearance as argument number 2

(format ChineseLanguage MaxValueFn "%1串列中的最大值 ")	Weather.kif 1661-1661
(format EnglishLanguage MaxValueFn "The maximum value of the %1")	Weather.kif 1660-1660
(termFormat ChineseLanguage MaxValueFn "最大值")	domainEnglishFormat.kif 10446-10446
(termFormat EnglishLanguage MaxValueFn "maximum value")	domainEnglishFormat.kif 10445-10445

antecedent

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

Weather.kif 1667-1674

If a real number is equal to The maximum value of the a list,
then there doesn't exist another real number such that the other real number is a member of the list and the other real number is greater than the real number

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 2020-2030

If a function quantity is equal to ThreeSecondSpeedGustFn ending at a time interval in a geographic area,
then there exist the function quantityLIST, a number list and an unit of measure such that the function quantityLIST is equal to Mean3SecondWindSpeedListFn ending at the time interval in region the geographic area and the number list is equal to PhysicalQuantityToNumberFn returns the numberic values of a list of the function quantityLIST and the function quantity is equal to The maximum value of the the number list the unit of measure(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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: