SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Function > AssignmentFn
Next FunctionBinaryFunction    UpFunction, VariableArityRelation    Previous FunctionUnaryFunction   

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
(=>
(instance ?REL VariableArityRelation)
(not
(exists (?INT)
(valence ?REL ?INT))))
Relation 
AssignmentFnFunctionrangeSubclassEntityIf 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
(=>
(instance ?FUNCTION CommutativeFunction)
(forall (?INST1 ?INST2)
(=>
(and
(instance ?INST1 (DomainFn ?FUNCTION))
(instance ?INST2 (DomainFn ?FUNCTION)))
(equal (AssignmentFn ?FUNCTION ?INST1 ?INST2)
(AssignmentFn ?FUNCTION ?INST2 ?INST1)))))
 VariableArityRelation

Next FunctionBinaryFunction    UpFunction, VariableArityRelation    Previous FunctionUnaryFunction