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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MaxFn

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 4901-4903
(domain MaxFn 1 Number) Merge.kif 4897-4897
(domain MaxFn 2 Number) Merge.kif 4898-4898
(instance MaxFn AssociativeFunction) Merge.kif 4893-4893
(instance MaxFn BinaryFunction) Merge.kif 4892-4892
(instance MaxFn CommutativeFunction) Merge.kif 4894-4894
(instance MaxFn TotalValuedRelation) Merge.kif 4896-4896
(range MaxFn Number) Merge.kif 4899-4899

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 712-712
(termFormat ChineseLanguage MaxFn "最大") domainEnglishFormat.kif 36570-36570
(termFormat ChineseLanguage MaxFn "较大值函数") chinese_format.kif 711-711
(termFormat ChineseTraditionalLanguage MaxFn "最大") domainEnglishFormat.kif 36569-36569
(termFormat EnglishLanguage MaxFn "max") domainEnglishFormat.kif 36568-36568

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


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

Show without tree


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