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 5003-5005
(
documentation
MinFn
JapaneseLanguage
"(
MinFn
?NUMBER1 ?NUMBER2) は、?NUMBER1と?NUMBER2の 最小値である。?NUMBER1が?NUMBER2と等しい場合、
MinFn
は引数の1つを返す。")
japanese_format.kif 915-916
(
domain
MinFn
1
Number
)
Merge.kif 4999-4999
The number 1 argument of
min
is an
instance
of
number
(
domain
MinFn
2
Number
)
Merge.kif 5000-5000
The number 2 argument of
min
is an
instance
of
number
(
instance
MinFn
AssociativeFunction
)
Merge.kif 4995-4995
Min
is an
instance
of
associative function
(
instance
MinFn
BinaryFunction
)
Merge.kif 4994-4994
Min
is an
instance
of
binary function
(
instance
MinFn
CommutativeFunction
)
Merge.kif 4996-4996
Min
is an
instance
of
commutative function
(
instance
MinFn
TotalValuedRelation
)
Merge.kif 4998-4998
Min
is an
instance
of
total valued relation
(
range
MinFn
Number
)
Merge.kif 5001-5001
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
(
or
"den mindre av %1 och %2" "den minsta av %1 och %2" "minimum av %1 och %2" "min(%1,%2)"))
relations-sv.txt 483-486
(
format
tg
MinFn
"ang mas maliit ng %1 at %2")
relations-tg.txt 365-365
(
termFormat
ChineseLanguage
MinFn
"分")
domainEnglishFormat.kif 37847-37847
(
termFormat
ChineseLanguage
MinFn
"较小值函数")
chinese_format.kif 713-713
(
termFormat
ChineseTraditionalLanguage
MinFn
"分")
domainEnglishFormat.kif 37846-37846
(
termFormat
EnglishLanguage
MinFn
"min")
domainEnglishFormat.kif 37845-37845
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 5007-5018
If the
smaller
of
a real number
and
another real number
is
equal
to
a number
,
then
the number
is
equal
to
the real number
and
the real number
is
less
than
the other real number
or
the number
is
equal
to
the other real number
and
the other real number
is
less
than
the real number
or
the number
is
equal
to
the real number
and
the number
is
equal
to
the other real number
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