SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Function > BinaryFunction > CommutativeFunction
Next BinaryFunctionDayFn    UpBinaryFunction    Previous BinaryFunctionAssociativeFunction   

CommutativeFunctiondocumentation A BinaryFunction is commutative if the ordering of the arguments of the function has no effect on the value returned by the function. More precisely, a function ?FUNCTION is commutative just in case (?FUNCTION ?INST1 ?INST2) is equal to (?FUNCTION ?INST2 ?INST1), for all ?INST1 and ?INST22001-11-30 13:33:52.0
has axiom
(instance ?FUNCTION CommutativeFunction)
(forall (?INST1 ?INST2)
(instance ?INST1 (DomainFn ?FUNCTION))
(instance ?INST2 (DomainFn ?FUNCTION)))
(equal (AssignmentFn ?FUNCTION ?INST1 ?INST2)
(AssignmentFn ?FUNCTION ?INST2 ?INST1)))))
2001-11-30 13:33:52.0
is a kind of BinaryFunction2001-11-30 13:33:52.0
BinaryFunctionis first domain of distributes2001-11-30 13:33:43.0
is first domain of identityElement2001-11-30 13:33:43.0
is second domain of distributes2001-11-30 13:33:43.0
Classis third domain of domain2001-11-30 13:33:51.0
is third domain of domainSubclass2001-11-30 13:33:51.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0

Kinds of CommutativeFunction :