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 4936-4938
(
documentation
LeastCommonMultipleFn
JapaneseLanguage
"(
LeastCommonMultipleFn
?NUMBER1 ?NUMBER2 ... ?NUMBER) は、?NUMBER1から ?NUMBERまでの最も一般的でない倍数を返す。")
japanese_format.kif 909-910
(
domain
LeastCommonMultipleFn
1
Integer
)
Merge.kif 4934-4934
(
instance
LeastCommonMultipleFn
Function
)
Merge.kif 4930-4930
(
instance
LeastCommonMultipleFn
PartialValuedRelation
)
Merge.kif 4931-4931
(
instance
LeastCommonMultipleFn
VariableArityRelation
)
Merge.kif 4932-4932
(
range
LeastCommonMultipleFn
Integer
)
Merge.kif 4933-4933
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 4947-4957
(=>
(
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 4959-4973
(=>
(
equal
(
LeastCommonMultipleFn
@ROW) ?NUMBER)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Number
)))
Merge.kif 4940-4945
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