SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Function > GreatestCommonDivisorFn
Next FunctionLeastCommonMultipleFn    UpFunction, VariableArityRelation    Previous FunctionFunctionQuantity   

GreatestCommonDivisorFn comparison table
Subject be first domain of have range documentation have axiom is a kind of is an instance of
FunctionrangeSubclass A Function is a term-forming Relation that maps from a n-tuple of arguments to a range and that associates this n-tuple with exactly one range element. Note that the range is a Class, and each element of the range is an instance of the Class
(forall (?INT) (domain exhaustiveDecomposition ?INT Class))
Relation 
VariableArityRelationvalence The Class of Relations that do not have a fixed number of arguments
(=>
(instance ?REL VariableArityRelation)
(not
(exists (?INT)
(valence ?REL ?INT))))
Relation 
GreatestCommonDivisorFnrangeSubclassInteger(GreatestCommonDivisorFn ?NUMBER1 ?NUMBER2 ... ?NUMBER) returns the greatest common divisor of ?NUMBER1 through ?NUMBER
(=>
(instance ?REL VariableArityRelation)
(not
(exists (?INT)
(valence ?REL ?INT))))
 VariableArityRelation

Next FunctionLeastCommonMultipleFn    UpFunction, VariableArityRelation    Previous FunctionFunctionQuantity