Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MaxValueFn
MaxValueFn

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

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