MinFn - Sigma Knowledge base Browser

appearance as argument number 1

(instance MinFn BinaryFunction)	Merge.kif 5120-5120	Min is an instance of binary function
(instance MinFn AssociativeFunction)	Merge.kif 5121-5121	Min is an instance of associative function
(instance MinFn CommutativeFunction)	Merge.kif 5122-5122	Min is an instance of commutative function
(instance MinFn TotalValuedRelation)	Merge.kif 5124-5124	Min is an instance of total valued relation
(domain MinFn 1 Number)	Merge.kif 5125-5125	The number 1 argument of min is an instance of number
(domain MinFn 2 Number)	Merge.kif 5126-5126	The number 2 argument of min is an instance of number
(range MinFn Number)	Merge.kif 5127-5127	The range of min is an instance of number
(documentation MinFn EnglishLanguage "(MinFn ?NUMBER1 ?NUMBER2) is the smallest of ?NUMBER1 and ?NUMBER2. In cases where ?NUMBER1 is equal to ?NUMBER2, MinFn returns one of its arguments.")	Merge.kif 5129-5131	The range of min is an instance of number

appearance as argument number 2

(termFormat EnglishLanguage MinFn "min")	domainEnglishFormat.kif 37835-37835
(termFormat ChineseTraditionalLanguage MinFn "分")	domainEnglishFormat.kif 37836-37836
(termFormat ChineseLanguage MinFn "分")	domainEnglishFormat.kif 37837-37837
(format EnglishLanguage MinFn "the smaller of %1 and %2")	english_format.kif 714-714

antecedent

(=>
    (equal
        (MinFn ?NUMBER1 ?NUMBER2) ?NUMBER)
    (or
        (and
            (equal ?NUMBER ?NUMBER1)
            (lessThan ?NUMBER1 ?NUMBER2))
        (and
            (equal ?NUMBER ?NUMBER2)
            (lessThan ?NUMBER2 ?NUMBER1))
        (and
            (equal ?NUMBER ?NUMBER1)
            (equal ?NUMBER ?NUMBER2))))

Merge.kif 5133-5144

If equal the smaller of X, Y, and Z, then At least one of the following holds: (1) equal Z and X and X is less than Y (2) equal Z and Y and Y is less 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