GreatestCommonDivisorFn |
appearance as argument number 1 |
![]() |
(documentation GreatestCommonDivisorFn ChineseLanguage "(GreatestCommonDivisorFn ?NUMBER1 ?NUMBER2 ... ?NUMBER)得出 ?NUMBER1 到 ?NUMBER 的最大公约数。") | chinese_format.kif 2236-2237 | |
(documentation GreatestCommonDivisorFn EnglishLanguage "(GreatestCommonDivisorFn ?NUMBER1 ?NUMBER2 ... ?NUMBER) returns the greatest common divisor of ?NUMBER1 through ?NUMBER.") | Merge.kif 4673-4675 | |
(domain GreatestCommonDivisorFn 1 Integer) | Merge.kif 4671-4671 | |
(instance GreatestCommonDivisorFn Function) | Merge.kif 4667-4667 | |
(instance GreatestCommonDivisorFn PartialValuedRelation) | Merge.kif 4669-4669 | |
(instance GreatestCommonDivisorFn VariableArityRelation) | Merge.kif 4668-4668 | |
(range GreatestCommonDivisorFn Integer) | Merge.kif 4670-4670 |
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 705-705 | |
(termFormat ChineseLanguage GreatestCommonDivisorFn "最大公因数函数") | chinese_format.kif 701-701 | |
(termFormat ChineseLanguage GreatestCommonDivisorFn "最大公约数") | domainEnglishFormat.kif 26542-26542 | |
(termFormat ChineseTraditionalLanguage GreatestCommonDivisorFn "最大公約數") | domainEnglishFormat.kif 26541-26541 | |
(termFormat EnglishLanguage GreatestCommonDivisorFn "greatest common divisor") | domainEnglishFormat.kif 26540-26540 |
antecedent |
![]() |
(=> (equal (GreatestCommonDivisorFn @ROW) ?NUMBER) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Number))) |
Merge.kif 4677-4682 | |
(=> (equal (GreatestCommonDivisorFn @ROW) ?NUMBER) (forall (?ELEMENT) (=> (inList ?ELEMENT (ListFn @ROW)) (equal (RemainderFn ?ELEMENT ?NUMBER) 0)))) |
Merge.kif 4684-4689 | |
(=> (equal (GreatestCommonDivisorFn @ROW) ?NUMBER) (not (exists (?GREATER) (and (greaterThan ?GREATER ?NUMBER) (forall (?ELEMENT) (=> (inList ?ELEMENT (ListFn @ROW)) (equal (RemainderFn ?ELEMENT ?GREATER) 0))))))) |
Merge.kif 4691-4699 |
![]() |
![]() |