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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MaxFn
MaxFn

appearance as argument number 1
-------------------------


(documentation MaxFn ChineseLanguage "(MaxFn ?NUMBER1 ?NUMBER2)得出 ?NUMBER1 和 ?NUMBER2 中最大值。 一旦 ?NUMBER1 等于 ?NUMBER2 的话 MaxFn 就得出其中的一个参数。") chinese_format.kif 2249-2250
(documentation MaxFn EnglishLanguage "(MaxFn ?NUMBER1 ?NUMBER2) is the largest of ?NUMBER1 and ?NUMBER2. In cases where ?NUMBER1 is equal to ?NUMBER2, MaxFn returns one of its arguments.") Merge.kif 4778-4780
(domain MaxFn 1 Quantity) Merge.kif 4774-4774 The number 1 argument of max is an instance of quantity
(domain MaxFn 2 Quantity) Merge.kif 4775-4775 The number 2 argument of max is an instance of quantity
(instance MaxFn AssociativeFunction) Merge.kif 4770-4770 Max is an instance of associative function
(instance MaxFn BinaryFunction) Merge.kif 4769-4769 Max is an instance of binary function
(instance MaxFn CommutativeFunction) Merge.kif 4771-4771 Max is an instance of commutative function
(instance MaxFn TotalValuedRelation) Merge.kif 4773-4773 Max is an instance of total valued relation
(range MaxFn Quantity) Merge.kif 4776-4776 The range of max is an instance of quantity

appearance as argument number 2
-------------------------


(format ChineseLanguage MaxFn "%1 和 %2 中的较大值") chinese_format.kif 710-710
(format EnglishLanguage MaxFn "the larger of %1 and %2") english_format.kif 715-715
(termFormat ChineseLanguage MaxFn "最大") domainEnglishFormat.kif 36502-36502
(termFormat ChineseLanguage MaxFn "较大值函数") chinese_format.kif 711-711
(termFormat ChineseTraditionalLanguage MaxFn "最大") domainEnglishFormat.kif 36501-36501
(termFormat EnglishLanguage MaxFn "max") domainEnglishFormat.kif 36500-36500

antecedent
-------------------------


(=>
    (equal
        (MaxFn ?NUMBER1 ?NUMBER2) ?NUMBER)
    (or
        (and
            (equal ?NUMBER ?NUMBER1)
            (greaterThan ?NUMBER1 ?NUMBER2))
        (and
            (equal ?NUMBER ?NUMBER2)
            (greaterThan ?NUMBER2 ?NUMBER1))
        (and
            (equal ?NUMBER ?NUMBER1)
            (equal ?NUMBER ?NUMBER2))))
Merge.kif 4782-4793


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