SUMO View all facts Glossary Help |

Entity > Abstract > Class > Relation > Function |

Function | ||||

subject | fact |

Function | A Function is a term-forming Relation that maps from a n-tuple of arguments to a documentationrange 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 ofAssignmentFn | ||

is first domain ofclosedOn | ||

is first domain ofrange | ||

is first domain ofrangeSubclass | ||

is a kind of Relation | ||

Relation | is second domain ofsubrelation | |

Class | has axiom (<=> | |

has axiom (forall (?INT) ( | ||

has axiom (forall (?INT) ( | ||

is third domain ofdomain | ||

is third domain ofdomainSubclass | ||

Abstract | is Physicaldisjoint from |

**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