GreatestCommonDivisorFn - Sigma Knowledge base Browser

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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2236-2237
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4850-4852
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 900-901
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4848-4848	The number 1 argument of greatest common divisor is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4844-4844	Greatest common divisor is an instance of function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4846-4846	Greatest common divisor is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4845-4845	Greatest common divisor is an instance of variable arity relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4847-4847	The range of greatest common divisor is an instance of integer

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 700-700
No TPTP formula. May not be expressible in strict first order.	english_format.kif 702-702
No TPTP formula. May not be expressible in strict first order.	french_format.kif 423-423
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 123-123
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2140-2140
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 375-375
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 913-913
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 163-163
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 445-445
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 474-474
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 252-252
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 701-701
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26544-26544
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26543-26543
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26542-26542
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 253-253

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 4861-4872	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4874-4888	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4854-4859	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 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