TreeView Knowledge Base Browser

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
(instance MaxValueFn UnaryFunction)	Weather.kif 1682-1682
(range MaxValueFn Number)	Weather.kif 1683-1683

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 10438-10438
(termFormat EnglishLanguage MaxValueFn "maximum value")	domainEnglishFormat.kif 10437-10437

antecedent

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

Weather.kif 1685-1692

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

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

KB Term:			Term intersection

English Word: