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
LeastCommonMultipleFn
Sigma KEE - LeastCommonMultipleFn
LeastCommonMultipleFn
appearance as argument number 1
(
documentation
LeastCommonMultipleFn
ChineseLanguage
"(
LeastCommonMultipleFn
?NUMBER1 ?NUMBER2 ... ?NUMBER) 得出 ?NUMBER1 到 ?NUMBER 的最小公倍数。")
chinese_format.kif 2245-2246
(
documentation
LeastCommonMultipleFn
EnglishLanguage
"(
LeastCommonMultipleFn
?NUMBER1 ?NUMBER2 ... ?NUMBER) returns the least common multiple of ?NUMBER1 through ?NUMBER.")
Merge.kif 4935-4937
(
documentation
LeastCommonMultipleFn
JapaneseLanguage
"(
LeastCommonMultipleFn
?NUMBER1 ?NUMBER2 ... ?NUMBER) は、?NUMBER1から ?NUMBERまでの最も一般的でない倍数を返す。")
japanese_format.kif 909-910
(
domain
LeastCommonMultipleFn
1
Integer
)
Merge.kif 4933-4933
O argumento numero 1 de
LeastCommonMultipleFn
e' uma
instancia
de
Numero Inteiro
(
instance
LeastCommonMultipleFn
Function
)
Merge.kif 4929-4929
LeastCommonMultipleFn
e' uma
instancia
de
Funcao
(
instance
LeastCommonMultipleFn
PartialValuedRelation
)
Merge.kif 4930-4930
LeastCommonMultipleFn
e' uma
instancia
de
Relacao Parcial
(
instance
LeastCommonMultipleFn
VariableArityRelation
)
Merge.kif 4931-4931
LeastCommonMultipleFn
e' uma
instancia
de
Relacao de aridade variavel
(
range
LeastCommonMultipleFn
Integer
)
Merge.kif 4932-4932
O
contra
-dominio de
LeastCommonMultipleFn
e' uma instancia de
Numero Inteiro
appearance as argument number 2
(
format
ChineseLanguage
LeastCommonMultipleFn
"%*[and] 的最小公倍数")
chinese_format.kif 706-706
(
format
EnglishLanguage
LeastCommonMultipleFn
"the least common multiple of %*[and]")
english_format.kif 708-708
(
format
FrenchLanguage
LeastCommonMultipleFn
"la racine carr�e de nombre entier de %*[and]")
french_format.kif 426-426
(
format
ItalianLanguage
LeastCommonMultipleFn
"il minimo comune multiplo di %*[and]")
relations-it.txt 161-161
(
format
JapaneseLanguage
LeastCommonMultipleFn
"%*[and] の least 公倍数")
japanese_format.kif 2143-2143
(
format
PortugueseLanguage
LeastCommonMultipleFn
"o minimo multiplo comum de numero, de inteiro %*[e]")
portuguese_format.kif 378-378
(
format
de
LeastCommonMultipleFn
"das kleinste gemeinsames vielfach von %*[und]")
relations-de.txt 919-919
(
format
hi
LeastCommonMultipleFn
"%*[aura] kaa laghutama samaapavartaka")
relations-hindi.txt 200-200
(
format
ro
LeastCommonMultipleFn
"least%t{cel mai mic} multiplu comun al %*[ºi]")
relations-ro.kif 448-448
(
format
sv
LeastCommonMultipleFn
"den största gemensamma multipeln av %*[and]")
relations-sv.txt 477-477
(
termFormat
ChineseLanguage
LeastCommonMultipleFn
"最不常见的倍数")
domainEnglishFormat.kif 33683-33683
(
termFormat
ChineseLanguage
LeastCommonMultipleFn
"最小公倍数函数")
chinese_format.kif 707-707
(
termFormat
ChineseTraditionalLanguage
LeastCommonMultipleFn
"最不常見的倍數")
domainEnglishFormat.kif 33682-33682
(
termFormat
EnglishLanguage
LeastCommonMultipleFn
"least common multiple")
domainEnglishFormat.kif 33681-33681
antecedent
(=>
(
and
(
equal
(
LeastCommonMultipleFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?NUMBER ?ELEMENT) 0))))
Merge.kif 4946-4956
O minimo multiplo comum de
numero
, de
inteiro
@ROW e'
igual
a
Numero Inteiro
Numero Inteiro
e'
igual
a 0
Numero Inteiro
Numero Inteiro
e' um
membro
de (@ROW)
Numero Inteiro
mod
Numero Inteiro
e'
igual
a 0
(=>
(
and
(
equal
(
LeastCommonMultipleFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
not
(
exists
(?LESS)
(
and
(
lessThan
?LESS ?NUMBER)
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?LESS ?ELEMENT) 0)))))))
Merge.kif 4958-4972
O minimo multiplo comum de
numero
, de
inteiro
@ROW e'
igual
a
Numero Inteiro
Numero Inteiro
e'
igual
a 0
Numero Inteiro
Numero Inteiro
e'
menos
que
Numero Inteiro
Numero Inteiro
Numero Inteiro
e' um
membro
de (@ROW)
Numero Inteiro
mod
Numero Inteiro
e'
igual
a 0
(=>
(
equal
(
LeastCommonMultipleFn
@ROW) ?NUMBER)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Number
)))
Merge.kif 4939-4944
O minimo multiplo comum de
numero
, de
inteiro
@ROW e'
igual
a
Numero Inteiro
Entidade
e' um
membro
de (@ROW)
Entidade
e' uma
instancia
de
Numero
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