TreeView Knowledge Base Browser

appearance as argument number 1

(documentation MaxValueFn ChineseLanguage "(MaxValueFn ?LIST) 得出一个串列 (List) 所有数值中的最大值。")	Weather.kif 1659-1660
(documentation MaxValueFn EnglishLanguage "(MaxValueFn ?LIST) returns the maximum value of all the numbers in a List.")	Weather.kif 1657-1658
(domain MaxValueFn 1 List)	Weather.kif 1664-1664
(instance MaxValueFn UnaryFunction)	Weather.kif 1665-1665
(range MaxValueFn Number)	Weather.kif 1666-1666

appearance as argument number 2

(format ChineseLanguage MaxValueFn "%1串列中的最大值 ")	Weather.kif 1662-1662
(format EnglishLanguage MaxValueFn "The maximum value of the %1")	Weather.kif 1661-1661
(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 1668-1675

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 2021-2031

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: