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))
VariableArityRelation valence The Class of Relations that do not have a fixed number of arguments
(instance ?REL VariableArityRelation)
(exists (?INT)
(valence ?REL ?INT))))
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)
(instance ?INST1 (DomainFn ?FUNCTION))
(instance ?INST2 (DomainFn ?FUNCTION)))
(equal (AssignmentFn ?FUNCTION ?INST1 ?INST2)
(AssignmentFn ?FUNCTION ?INST2 ?INST1)))))

Next FunctionBinaryFunction    UpFunction, VariableArityRelation    Previous FunctionUnaryFunction