Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  MinFn

 Sigma KEE - MinFn
MinFn

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