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 4754-4756
(domain GreatestCommonDivisorFn 1 Integer)	Merge.kif 4752-4752	The number 1 argument of greatest common divisor is an instance of integer
(instance GreatestCommonDivisorFn Function)	Merge.kif 4748-4748	Greatest common divisor is an instance of function
(instance GreatestCommonDivisorFn PartialValuedRelation)	Merge.kif 4750-4750	Greatest common divisor is an instance of partial valued relation
(instance GreatestCommonDivisorFn VariableArityRelation)	Merge.kif 4749-4749	Greatest common divisor is an instance of variable arity relation
(range GreatestCommonDivisorFn Integer)	Merge.kif 4751-4751	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
(termFormat ChineseLanguage GreatestCommonDivisorFn "最大公因数函数")	chinese_format.kif 701-701
(termFormat ChineseLanguage GreatestCommonDivisorFn "最大公约数")	domainEnglishFormat.kif 26535-26535
(termFormat ChineseTraditionalLanguage GreatestCommonDivisorFn "最大公約數")	domainEnglishFormat.kif 26534-26534
(termFormat EnglishLanguage GreatestCommonDivisorFn "greatest common divisor")	domainEnglishFormat.kif 26533-26533

antecedent

(=> (and (equal (GreatestCommonDivisorFn @ROW) ?NUMBER) (not (equal ?NUMBER 0))) (forall (?ELEMENT) (=> (inList ?ELEMENT (ListFn @ROW)) (equal (RemainderFn ?ELEMENT ?NUMBER) 0))))	Merge.kif 4765-4776	If the greatest common divisor of @ROW is equal to an integer and the integer is not equal to 0, 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
(=> (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 4778-4792	If the greatest common divisor of @ROW is equal to an integer and the integer is not equal to 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 the third integer mod the other integer is equal to 0
(=> (equal (GreatestCommonDivisorFn @ROW) ?NUMBER) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Number)))	Merge.kif 4758-4763	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

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