SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > Function

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