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	最大值的 1 数量是串列的 instance
(instance MaxValueFn UnaryFunction)	Weather.kif 1665-1665	最大值是一元函数的 instance
(range MaxValueFn Number)	Weather.kif 1666-1666	最大值的 range 是数字的实例

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

如果实数 equal 实体，
然后不存在另一个实数这样那个另外实数是串列的 member 和那个另外实数是 greaterThan 那个实数

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

如果函数量 equal 在时距时间结束以前，发生在区域地理区域的 ThreeSecondGustSpeedFn (3秒阵风风速)，
然后有存在那个函数量LIST，数字串列， and 和测量单位这样那个函数量LIST equal 在那个时距时间结束以前，发生在区域那个地理区域的 Mean3SecondWindSpeedListFn (平均3秒风速表列) 和那个数字串列 equal PhysicalQuantityToNumberFn 得出一个串列的数字值是那个函数量LIST 和那个函数量 equal 那个数字串列串列中的最大值那个测量单位

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

KB Term:			Term intersection

English Word: