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 | The number 1 argument of min is an instance of number |
(domain MinFn 2 Number) | Merge.kif 5015-5015 | The number 2 argument of min is an instance of number |
(instance MinFn AssociativeFunction) | Merge.kif 5010-5010 | Min is an instance of associative function |
(instance MinFn BinaryFunction) | Merge.kif 5009-5009 | Min is an instance of binary function |
(instance MinFn CommutativeFunction) | Merge.kif 5011-5011 | Min is an instance of commutative function |
(instance MinFn TotalValuedRelation) | Merge.kif 5013-5013 | Min is an instance of total valued relation |
(range MinFn Number) | Merge.kif 5016-5016 | The range of min is an instance of number |
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 |
|