MaxFn - Sigma Knowledge base Browser

appearance as argument number 1

(instance MaxFn BinaryFunction)	Merge.kif 5094-5094	Max is an instance of binary function
(instance MaxFn AssociativeFunction)	Merge.kif 5095-5095	Max is an instance of associative function
(instance MaxFn CommutativeFunction)	Merge.kif 5096-5096	Max is an instance of commutative function
(instance MaxFn TotalValuedRelation)	Merge.kif 5098-5098	Max is an instance of total valued relation
(domain MaxFn 1 Number)	Merge.kif 5099-5099	The number 1 argument of max is an instance of number
(domain MaxFn 2 Number)	Merge.kif 5100-5100	The number 2 argument of max is an instance of number
(range MaxFn Number)	Merge.kif 5101-5101	The range of max is an instance of number
(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 5103-5105	The range of max is an instance of number

appearance as argument number 2

(termFormat EnglishLanguage MaxFn "max")	domainEnglishFormat.kif 36587-36587
(termFormat ChineseTraditionalLanguage MaxFn "最大")	domainEnglishFormat.kif 36588-36588
(termFormat ChineseLanguage MaxFn "最大")	domainEnglishFormat.kif 36589-36589
(format EnglishLanguage MaxFn "the larger of %1 and %2")	english_format.kif 712-712

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

If equal the larger of X, Y, and Z, then At least one of the following holds: (1) equal Z and X and X is greater than Y (2) equal Z and Y and Y is greater than X (3) equal Z and X and equal Z and Y

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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners