Simple Browser : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term: 

  CommutativeFunction

Sigma KEE - CommutativeFunction

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
可換関数
BinaryFunction は、関数の引数の順序が 関数によって返される値に影響を与える場合に可換になる。より正確には、関数 ?FUNCTION は、すべての ?INST1 および ?INST2 に対して(?FUNCTION ?INST1 ?INST2) が (?FUNCTION ?INST2 ?INST1) に等しい 場合に可換する。
Relationships      
Parents 2変数関数 The Class of Functions that require two arguments.


Show full definition (without tree view)
Show full definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners