TreeView Knowledge Base Browser

appearance as argument number 1

(documentation MaxValueFn ChineseLanguage "(MaxValueFn ?LIST) 得出一个串列 (List) 所有数值中的最大值。")	Weather.kif 1672-1673
(documentation MaxValueFn EnglishLanguage "(MaxValueFn ?LIST) returns the maximum value of all the numbers in a List.")	Weather.kif 1670-1671
(domain MaxValueFn 1 List)	Weather.kif 1677-1677	MaxValueFn の数値 1 引数はリストの instance では %n
(instance MaxValueFn UnaryFunction)	Weather.kif 1678-1678	MaxValueFn は 1変数関数の instance では %n
(range MaxValueFn Number)	Weather.kif 1679-1679	MaxValueFn の range は数のインスタンスでは %n

appearance as argument number 2

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

実数は MaxValueFn リストと equal では %n
実数実数はリストの member では %n 実数は実数より greater では　%n

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 2034-2044

関数量は ThreeSecondGustSpeedFn 地理的地域 and 時間間隔と equal では %n
関数量LIST NumberList and 測定単位関数量LIST は Mean3SecondWindSpeedListFn 地理的地域 and 時間間隔と equal では %n NumberList は PhysicalQuantityToNumberFn 関数量LIST と equal では %n 関数量は MaxValueFn NumberList の測定単位(s) と equal では %n

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

KB Term:			Term intersection

English Word: