GreatestCommonDivisorFn |
appearance as argument number 1 |
appearance as argument number 2 |
(format ChineseLanguage GreatestCommonDivisorFn "%*[and] 的最大公因数") | chinese_format.kif 700-700 | |
(format EnglishLanguage GreatestCommonDivisorFn "the greatest common divisor of %*[and]") | english_format.kif 702-702 | |
(format FrenchLanguage GreatestCommonDivisorFn "le plus grand diviseur commun de %*[and]") | french_format.kif 423-423 | |
(format ItalianLanguage GreatestCommonDivisorFn "il massimo comune divisore di%*[and]") | relations-it.txt 123-123 | |
(format JapaneseLanguage GreatestCommonDivisorFn "%*[and] の greatest 公約数") | japanese_format.kif 2140-2140 | |
(format PortugueseLanguage GreatestCommonDivisorFn "o maior divisor comum de %*[e]") | portuguese_format.kif 375-375 | |
(format de GreatestCommonDivisorFn "die groe�te gemeinsamer teiler von %*[und]") | relations-de.txt 913-913 | |
(format hi GreatestCommonDivisorFn "%*[aura] kaa mahattama samaapavartaka") | relations-hindi.txt 163-163 | |
(format ro GreatestCommonDivisorFn "greatest%t{cel mai mare} divizor comun al %*[ºi]") | relations-ro.kif 445-445 | |
(format sv GreatestCommonDivisorFn "den största gemensamma delaren av %*[and]") | relations-sv.txt 474-474 | |
(format tg GreatestCommonDivisorFn "ang sakdal malaki dibisor sa %*[at]") | relations-tg.txt 252-252 | |
(termFormat ChineseLanguage GreatestCommonDivisorFn "最大公因数函数") | chinese_format.kif 701-701 | |
(termFormat ChineseLanguage GreatestCommonDivisorFn "最大公约数") | domainEnglishFormat.kif 26544-26544 | |
(termFormat ChineseTraditionalLanguage GreatestCommonDivisorFn "最大公約數") | domainEnglishFormat.kif 26543-26543 | |
(termFormat EnglishLanguage GreatestCommonDivisorFn "greatest common divisor") | domainEnglishFormat.kif 26542-26542 | |
(termFormat tg GreatestCommonDivisorFn "sakdal malaki dibisor sa") | relations-tg.txt 253-253 |
antecedent |
(=> (and (equal (GreatestCommonDivisorFn @ROW) ?NUMBER) (not (equal ?NUMBER 0))) (forall (?ELEMENT) (=> (inList ?ELEMENT (ListFn @ROW)) (equal (RemainderFn ?ELEMENT ?NUMBER) 0)))) |
Merge.kif 4862-4873 |
|
(=> (and (equal (GreatestCommonDivisorFn @ROW) ?NUMBER) (not (equal ?NUMBER 0))) (not (exists (?GREATER) (and (greaterThan ?GREATER ?NUMBER) (forall (?ELEMENT) (=> (inList ?ELEMENT (ListFn @ROW)) (equal (RemainderFn ?ELEMENT ?GREATER) 0))))))) |
Merge.kif 4875-4889 |
|
(=> (equal (GreatestCommonDivisorFn @ROW) ?NUMBER) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Number))) |
Merge.kif 4855-4860 |
|