TreeView Knowledge Base Browser - GreatestCommonDivisorFn

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - GreatestCommonDivisorFn

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 4878-4880
(documentation GreatestCommonDivisorFn JapaneseLanguage "(GreatestCommonDivisorFn ?NUMBER1 ?NUMBER2 ... ?NUMBER) は、?NUMBER1 から ?NUMBER までの最大共通除数を返す。")	japanese_format.kif 900-901
(domain GreatestCommonDivisorFn 1 Integer)	Merge.kif 4876-4876	The number 1 argument of greatest common divisor is an instance of integer
(instance GreatestCommonDivisorFn Function)	Merge.kif 4872-4872	Greatest common divisor is an instance of function
(instance GreatestCommonDivisorFn PartialValuedRelation)	Merge.kif 4874-4874	Greatest common divisor is an instance of partial valued relation
(instance GreatestCommonDivisorFn VariableArityRelation)	Merge.kif 4873-4873	Greatest common divisor is an instance of variable arity relation
(range GreatestCommonDivisorFn Integer)	Merge.kif 4875-4875	The range of greatest common divisor is an instance of integer

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 26555-26555
(termFormat ChineseTraditionalLanguage GreatestCommonDivisorFn "最大公約數")	domainEnglishFormat.kif 26554-26554
(termFormat EnglishLanguage GreatestCommonDivisorFn "greatest common divisor")	domainEnglishFormat.kif 26553-26553
(termFormat de GreatestCommonDivisorFn "GroessteGemeinsamerTeilerFn")	terms-de.txt 275-275
(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 4889-4900	If equal the greatest common divisor of @ROW and an integer and equal the integer and 0, then for all another integer if the other integer is a member of (@ROW), then equal the other integer mod the integer and 0
(=> (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 4902-4916	If equal the greatest common divisor of @ROW and an integer and equal the integer and 0, then there doesn't exist another integer such that the other integer is greater than the integer and for all a third integer if the third integer is a member of (@ROW), then equal the third integer mod the other integer and 0
(=> (equal (GreatestCommonDivisorFn @ROW) ?NUMBER) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Number)))	Merge.kif 4882-4887	If equal the greatest common divisor of @ROW and an integer, then if another entity is a member of (@ROW), then the other entity is an instance of number

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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