SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > Function > AssignmentFn |
AssignmentFn comparison table |
Subject | have domain1 | 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 | |||
AssignmentFn | Function | rangeSubclass | Entity | 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 |
Next Function: BinaryFunction Up: Function, VariableArityRelation Previous Function: UnaryFunction