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

vinimaya-sambandhI prakaarya (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]
astitva
is subclass of
  amUrta  
is subclass of
  sambandha  
is subclass of
  eka mUlyaadeya sambandha  
is subclass of
  prakaarya  
is subclass of
[tree]
astitva
is subclass of
  amUrta  
is subclass of
  sambandha  
is subclass of
  tri-angI sambandha  
is subclass of
is subclass of
  dvi-aadhaary prakaarya  
is subclass of
  vinimaya-sambandhI prakaarya  

Instance(s)

multiplication fn  addition fn  max fn  min fn 

Coordinate term(s)

sahachaary prakaarya 

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)))))