| 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 4821-4823 | |
| (domain GreatestCommonDivisorFn 1 Integer) | Merge.kif 4819-4819 | 最大公因数函数 的 1 数量 是 整数 的 instance |
| (instance GreatestCommonDivisorFn Function) | Merge.kif 4815-4815 | 最大公因数函数 是 函数 的 instance |
| (instance GreatestCommonDivisorFn PartialValuedRelation) | Merge.kif 4817-4817 | 最大公因数函数 是 部分值关系 的 instance |
| (instance GreatestCommonDivisorFn VariableArityRelation) | Merge.kif 4816-4816 | 最大公因数函数 是 不定次元关系 的 instance |
| (range GreatestCommonDivisorFn Integer) | Merge.kif 4818-4818 | 最大公因数函数 的 range 是 整数 的实例 |
| 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 | |
| (termFormat ChineseLanguage GreatestCommonDivisorFn "最大公因数函数") | chinese_format.kif 701-701 | |
| (termFormat ChineseLanguage GreatestCommonDivisorFn "最大公约数") | domainEnglishFormat.kif 26530-26530 | |
| (termFormat ChineseTraditionalLanguage GreatestCommonDivisorFn "最大公約數") | domainEnglishFormat.kif 26529-26529 | |
| (termFormat EnglishLanguage GreatestCommonDivisorFn "greatest common divisor") | domainEnglishFormat.kif 26528-26528 |
| antecedent |
|
|
| (=> (and (equal (GreatestCommonDivisorFn @ROW) ?NUMBER) (not (equal ?NUMBER 0))) (forall (?ELEMENT) (=> (inList ?ELEMENT (ListFn @ROW)) (equal (RemainderFn ?ELEMENT ?NUMBER) 0)))) |
Merge.kif 4832-4843 | |
| (=> (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 4845-4859 | |
| (=> (equal (GreatestCommonDivisorFn @ROW) ?NUMBER) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Number))) |
Merge.kif 4825-4830 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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