| 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 は引数の１つを返す。") | 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 |
|
|
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