 SUMO   View all facts   Glossary   Help Entity > Abstract > Class > Relation > Function
Next RelationPredicate    UpRelation    Previous RelationBinaryRelation  Function subject fact
 Function documentation 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 is first domain of AssignmentFn is first domain of closedOn is first domain of range is first domain of rangeSubclass is a kind of Relation Relation is second domain of subrelation Class has axiom `(<=> (instance ?CLASS Class) (subclass ?CLASS Entity))` has axiom `(forall (?INT) (domain disjointDecomposition ?INT Class))` has axiom `(forall (?INT) (domain exhaustiveDecomposition ?INT Class))` is third domain of domain is third domain of domainSubclass Abstract is disjoint from Physical Kinds of Function :

• AssignmentFn (20 facts) - If F is a function with a value for the objects denoted by N1,..., NK, then the term (AssignmentFn F N1 ... NK) denotes the value of applying F to the objects denoted by N1,..., NK. Otherwise, the value is undefined
• BinaryFunction (27 kinds, 313 facts) - The Class of Functions that require two arguments
• ContinuousFunction (10 kinds, 35 facts) - Functions which are continuous. This concept is taken as primitive until representations for limits are devised
• FunctionQuantity (60 kinds, 180 facts) - A FunctionQuantity is a Function that maps from one or more instances of ConstantQuantity to another instance of ConstantQuantity. For example, the velocity of a particle would be represented by a FunctionQuantity mapping values of time (which are ConstantQuantities) to values of distance (also ConstantQuantities). Note that all instances of FunctionQuantity are Functions with a fixed arity. Note too that all elements of the range of a FunctionQuantity have the same physical dimension as the FunctionQuantity itself
• GreatestCommonDivisorFn (4 facts) - (GreatestCommonDivisorFn ?NUMBER1 ?NUMBER2 ... ?NUMBER) returns the greatest common divisor of ?NUMBER1 through ?NUMBER
• LeastCommonMultipleFn (4 facts) - (LeastCommonMultipleFn ?NUMBER1 ?NUMBER2 ... ?NUMBER) returns the least common multiple of ?NUMBER1 through ?NUMBER
• TernaryFunction (6 facts) - The Class of Functions that require exactly three arguments
• UnaryFunction (60 kinds, 413 facts) - The Class of Functions that require a single argument