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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MinFn

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 5018-5020
(documentation MinFn JapaneseLanguage "(MinFn ?NUMBER1 ?NUMBER2) は、?NUMBER1と?NUMBER2の 最小値である。?NUMBER1が?NUMBER2と等しい場合、MinFn は引数の1つを返す。") japanese_format.kif 915-916
(domain MinFn 1 Number) Merge.kif 5014-5014 O argumento numero 1 de MinFn e' uma instancia de Numero
(domain MinFn 2 Number) Merge.kif 5015-5015 O argumento numero 2 de MinFn e' uma instancia de Numero
(instance MinFn AssociativeFunction) Merge.kif 5010-5010 MinFn e' uma instancia de Funcao Associativa
(instance MinFn BinaryFunction) Merge.kif 5009-5009 MinFn e' uma instancia de Funcao Binaria
(instance MinFn CommutativeFunction) Merge.kif 5011-5011 MinFn e' uma instancia de Funcao Commutativa
(instance MinFn TotalValuedRelation) Merge.kif 5013-5013 MinFn e' uma instancia de Relacao Total
(range MinFn Number) Merge.kif 5016-5016 O contra-dominio de MinFn e' uma instancia de Numero

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
(format FrenchLanguage MinFn "le plus petit de %1 et %2") french_format.kif 429-429
(format ItalianLanguage MinFn "il minore di %1 e %2") relations-it.txt 188-188
(format JapaneseLanguage MinFn "%1 と %2 の smaller 方") japanese_format.kif 2146-2146
(format PortugueseLanguage MinFn "o menor de %1 e %2") portuguese_format.kif 381-381
(format de MinFn "das kleinere von %1 und %2") relations-de.txt 925-925
(format hi MinFn "%1 aura %2 kaa chhoTaa") relations-hindi.txt 226-226
(format ro MinFn "cel smaller%t{mai mic} dintre %1 ºi %2") relations-ro.kif 451-451
(format sv MinFn "den mindre av %1 och %2") relations-sv.txt 483-483
(format tg MinFn "ang mas maliit ng %1 at %2") relations-tg.txt 365-365
(termFormat ChineseLanguage MinFn "分") domainEnglishFormat.kif 37835-37835
(termFormat ChineseLanguage MinFn "较小值函数") chinese_format.kif 713-713
(termFormat ChineseTraditionalLanguage MinFn "分") domainEnglishFormat.kif 37834-37834
(termFormat EnglishLanguage MinFn "min") domainEnglishFormat.kif 37833-37833

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 5022-5033


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