SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > Function |
Function comparison table |
Subject | have domain1 | partition into | be first domain of | have range | be second domain of | documentation | have axiom | is a kind of | is an instance of |
---|---|---|---|---|---|---|---|---|---|
AssignmentFn | Function | rangeSubclass | Entity | subrelation | 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 | (=> | VariableArityRelation | ||
BinaryFunction | identityElement | distributes | The Class of Functions that require two arguments | (=> | TernaryRelation | ||||
ContinuousFunction | rangeSubclass | subrelation | Functions which are continuous. This concept is taken as primitive until representations for limits are devised | (forall (?INT) (domain exhaustiveDecomposition ?INT Class)) | Function | ||||
FunctionQuantity | ConstantQuantity, FunctionQuantity | rangeSubclass | SubtractionFn | 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 | (<=> | PhysicalQuantity | |||
GreatestCommonDivisorFn | rangeSubclass | Integer | subrelation | (GreatestCommonDivisorFn ?NUMBER1 ?NUMBER2 ... ?NUMBER) returns the greatest common divisor of ?NUMBER1 through ?NUMBER | (=> | VariableArityRelation | |||
LeastCommonMultipleFn | rangeSubclass | Integer | subrelation | (LeastCommonMultipleFn ?NUMBER1 ?NUMBER2 ... ?NUMBER) returns the least common multiple of ?NUMBER1 through ?NUMBER | (=> | VariableArityRelation | |||
TernaryFunction | rangeSubclass | subrelation | The Class of Functions that require exactly three arguments | (=> | QuaternaryRelation | ||||
UnaryFunction | rangeSubclass | inverse | The Class of Functions that require a single argument | (=> | Function |
Next Relation: Predicate Up: Relation Previous Relation: BinaryRelation