LeastCommonMultipleFn |
appearance as argument number 1 |
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 |