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 4844-4846
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 4842-4842	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 4838-4838	Greatest common divisor is an instance of function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4840-4840	Greatest common divisor is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4839-4839	Greatest common divisor is an instance of variable arity relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4841-4841	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 26572-26572
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26571-26571
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26570-26570
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 275-275
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 4855-4866	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 4868-4882	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 4848-4853	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