SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > Function > GreatestCommonDivisorFn |
GreatestCommonDivisorFn comparison table |
Subject | be first domain of | have range | documentation | have axiom | is a kind of | is an instance of |
---|---|---|---|---|---|---|
Function | rangeSubclass | 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 | ||
VariableArityRelation | valence | The Class of Relations that do not have a fixed number of arguments | (=> | Relation | ||
GreatestCommonDivisorFn | rangeSubclass | Integer | (GreatestCommonDivisorFn ?NUMBER1 ?NUMBER2 ... ?NUMBER) returns the greatest common divisor of ?NUMBER1 through ?NUMBER | (=> | VariableArityRelation |
Next Function: LeastCommonMultipleFn Up: Function, VariableArityRelation Previous Function: FunctionQuantity