TreeView Knowledge Base Browser - GreatestCommonDivisorFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

GreatestCommonDivisorFn

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 4667-4669
(domain GreatestCommonDivisorFn 1 Integer)	Merge.kif 4665-4665	The number 1 argument of greatest common divisor is an instance of integer
(instance GreatestCommonDivisorFn Function)	Merge.kif 4661-4661	Greatest common divisor is an instance of function
(instance GreatestCommonDivisorFn PartialValuedRelation)	Merge.kif 4663-4663	Greatest common divisor is an instance of partial valued relation
(instance GreatestCommonDivisorFn VariableArityRelation)	Merge.kif 4662-4662	Greatest common divisor is an instance of variable arity relation
(range GreatestCommonDivisorFn Integer)	Merge.kif 4664-4664	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 705-705
(termFormat ChineseLanguage GreatestCommonDivisorFn "最大公因数函数")	chinese_format.kif 701-701
(termFormat ChineseLanguage GreatestCommonDivisorFn "最大公约数")	domainEnglishFormat.kif 26476-26476
(termFormat ChineseTraditionalLanguage GreatestCommonDivisorFn "最大公約數")	domainEnglishFormat.kif 26475-26475
(termFormat EnglishLanguage GreatestCommonDivisorFn "greatest common divisor")	domainEnglishFormat.kif 26474-26474

antecedent

(=> (equal (GreatestCommonDivisorFn @ROW) ?NUMBER) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Number)))	Merge.kif 4671-4676	If the greatest common divisor of @ROW is equal to an integer, then if another entity is a member of (@ROW), then the other entity is an instance of number
(=> (equal (GreatestCommonDivisorFn @ROW) ?NUMBER) (forall (?ELEMENT) (=> (inList ?ELEMENT (ListFn @ROW)) (equal (RemainderFn ?ELEMENT ?NUMBER) 0))))	Merge.kif 4678-4683	If the greatest common divisor of @ROW is equal to an integer, then for all another integer if the other integer is a member of (@ROW), then the other integer mod the integer is equal to 0
(=> (equal (GreatestCommonDivisorFn @ROW) ?NUMBER) (not (exists (?GREATER) (and (greaterThan ?GREATER ?NUMBER) (forall (?ELEMENT) (=> (inList ?ELEMENT (ListFn @ROW)) (equal (RemainderFn ?ELEMENT ?GREATER) 0)))))))	Merge.kif 4685-4693	If the greatest common divisor of @ROW is equal to an integer, 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 the third integer mod the other integer is equal to 0

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