TreeView Knowledge Base Browser

appearance as argument number 1

(documentation MinFn ChineseLanguage "(MinFn ?NUMBER1 ?NUMBER2)得出 ?NUMBER1 和 ?NUMBER2 中最小值。一旦 ?NUMBER1 等于 ?NUMBER2 的话 MinFn 就得出其中的一个参数。")	chinese_format.kif 2251-2252
(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 4927-4929
(domain MinFn 1 Number)	Merge.kif 4923-4923
(domain MinFn 2 Number)	Merge.kif 4924-4924
(instance MinFn AssociativeFunction)	Merge.kif 4919-4919
(instance MinFn BinaryFunction)	Merge.kif 4918-4918
(instance MinFn CommutativeFunction)	Merge.kif 4920-4920
(instance MinFn TotalValuedRelation)	Merge.kif 4922-4922
(range MinFn Number)	Merge.kif 4925-4925

appearance as argument number 2

(format ChineseLanguage MinFn "the smaller of %1 和 %2 的较小值")	chinese_format.kif 712-712
(format EnglishLanguage MinFn "the smaller of %1 and %2")	english_format.kif 714-714
(termFormat ChineseLanguage MinFn "分")	domainEnglishFormat.kif 37824-37824
(termFormat ChineseLanguage MinFn "较小值函数")	chinese_format.kif 713-713
(termFormat ChineseTraditionalLanguage MinFn "分")	domainEnglishFormat.kif 37823-37823
(termFormat EnglishLanguage MinFn "min")	domainEnglishFormat.kif 37822-37822

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 4931-4942

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

KB Term:			Term intersection

English Word: