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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MinFn
MinFn

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 4642-4644
(domain MinFn 1 Quantity) Merge.kif 4638-4638 The number 1 argument of min is an instance of quantity
(domain MinFn 2 Quantity) Merge.kif 4639-4639 The number 2 argument of min is an instance of quantity
(instance MinFn AssociativeFunction) Merge.kif 4634-4634 Min is an instance of associative function
(instance MinFn BinaryFunction) Merge.kif 4633-4633 Min is an instance of binary function
(instance MinFn CommutativeFunction) Merge.kif 4635-4635 Min is an instance of commutative function
(instance MinFn TotalValuedRelation) Merge.kif 4637-4637 Min is an instance of total valued relation
(range MinFn Quantity) Merge.kif 4640-4640 The range of min is an instance of quantity

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 717-717
(termFormat ChineseLanguage MinFn "分") domainEnglishFormat.kif 37759-37759 "分" is the printable form of min in ChineseLanguage
(termFormat ChineseLanguage MinFn "较小值函数") chinese_format.kif 713-713 "较小值函数" is the printable form of min in ChineseLanguage
(termFormat ChineseTraditionalLanguage MinFn "分") domainEnglishFormat.kif 37758-37758 "分" is the printable form of min in ChineseTraditionalLanguage
(termFormat EnglishLanguage MinFn "min") domainEnglishFormat.kif 37757-37757 "min" is the printable form of min in english language

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 4646-4657


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners