| 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 4851-4853 | |
| (documentation GreatestCommonDivisorFn JapaneseLanguage "(GreatestCommonDivisorFn ?NUMBER1 ?NUMBER2 ... ?NUMBER) は、?NUMBER1 から ?NUMBER までの最大共通除数を返す。") | japanese_format.kif 900-901 | |
| (domain GreatestCommonDivisorFn 1 Integer) | Merge.kif 4849-4849 | |
| (instance GreatestCommonDivisorFn Function) | Merge.kif 4845-4845 | |
| (instance GreatestCommonDivisorFn PartialValuedRelation) | Merge.kif 4847-4847 | |
| (instance GreatestCommonDivisorFn VariableArityRelation) | Merge.kif 4846-4846 | |
| (range GreatestCommonDivisorFn Integer) | Merge.kif 4848-4848 |
| 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 26573-26573 | |
| (termFormat ChineseTraditionalLanguage GreatestCommonDivisorFn "最大公約數") | domainEnglishFormat.kif 26572-26572 | |
| (termFormat EnglishLanguage GreatestCommonDivisorFn "greatest common divisor") | domainEnglishFormat.kif 26571-26571 | |
| (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 |
|
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