Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

传ㄧ计 (CommutativeFunction)

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 inst2.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
龟砰
is subclass of
  ┾禜  
is subclass of
  闽玒  
is subclass of
  虫闽玒  
is subclass of
  ㄧ计  
is subclass of
[tree]
龟砰
is subclass of
  ┾禜  
is subclass of
  闽玒  
is subclass of
  じ闽玒  
is subclass of
is subclass of
  じㄧ计  
is subclass of
  传ㄧ计  

Instance(s)

猭ㄧ计  猭ㄧ计  程ㄧ计  程ㄧ计 

Coordinate term(s)

闽硈ㄧ计 

Related WordNet synsets

commutative
(mathematics) of a binary operation; independent of order; as in e.g. "a x b = b x a"
commutative is similar to...  

Axioms (1)

(=>
      (instance ?FUNCTION CommutativeFunction)
      (forall
            (?INST1 ?INST2)
            (=>
                  (and
                        (domain ?FUNCTION 1 ?CLASS)
                        (instance ?INST1 ?CLASS)
                        (instance ?INST2 ?CLASS))
                  (equal
                        (AssignmentFn ?FUNCTION ?INST1 ?INST2)
                        (AssignmentFn ?FUNCTION ?INST2 ?INST1)))))