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 4952-4954
(domain MinFn 1 Number) Merge.kif 4948-4948
(domain MinFn 2 Number) Merge.kif 4949-4949
(instance MinFn AssociativeFunction) Merge.kif 4944-4944
(instance MinFn BinaryFunction) Merge.kif 4943-4943
(instance MinFn CommutativeFunction) Merge.kif 4945-4945
(instance MinFn TotalValuedRelation) Merge.kif 4947-4947
(range MinFn Number) Merge.kif 4950-4950

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 37823-37823
(termFormat ChineseLanguage MinFn "较小值函数") chinese_format.kif 713-713
(termFormat ChineseTraditionalLanguage MinFn "分") domainEnglishFormat.kif 37822-37822
(termFormat EnglishLanguage MinFn "min") domainEnglishFormat.kif 37821-37821

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 4956-4967


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 is open source software produced by Articulate Software and its partners