Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
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
(
domain
MinFn
2
Number
)
Merge.kif 5015-5015
(
instance
MinFn
AssociativeFunction
)
Merge.kif 5010-5010
(
instance
MinFn
BinaryFunction
)
Merge.kif 5009-5009
(
instance
MinFn
CommutativeFunction
)
Merge.kif 5011-5011
(
instance
MinFn
TotalValuedRelation
)
Merge.kif 5013-5013
(
range
MinFn
Number
)
Merge.kif 5016-5016
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