binární funkce (BinaryFunction)

The Class of Functions that require two arguments.

Ontologie

SUMO / BASE-ONTOLOGY

Class(es)

třída

inheritable relation

binární funkce

Nadtřída(y)

entita

abstraktum

relace

relace s jedinou hodnotou

funkce

entita

abstraktum

relace

terciální relace
is subclass of

binární funkce

Instance(s)

list order fn list concatenate fn where fn multiplication fn addition fn subtraction fn division fn exponentiation fn log fn max fn min fn remainder fn union fn intersection fn relative complement fn kappa fn minimal weighted path fn maximal weighted path fn graph path fn measure fn interval fn density fn speed fn time interval fn recurrent time interval fn month fn day fn hour fn minute fn second fn temporal composition fn mereological sum fn mereological product fn mereological difference fn edition fn series volume fn periodical issue fn relative time fn

Podtřída(y)

asociativní funkce komutativní funkce

Související termín(y)

binární predikát binární relace case role spojitá funkce funkce proměnná veličina intentional relation postoj k objektu predikát pravděpodobnostní relace postoj k tvrzení funkce se čtyřmi argumenty predikát se čtyřmi argumenty relace se čtyřmi argumenty predikát s pěti argumenty relace s pěti argumenty relace rozšířená na veličiny relace s jedinou hodnotou prostorová relace časová relace funkce se třemi argumenty predikát se třemi argumenty terciální relace unární funkce

Constrains relations

distributes identity element

Axiomy (2)

Jestliže function je instancí třídy binární funkce, potom function has argument(s).

(=>
      (instance ?FUNCTION BinaryFunction)
      (valence ?FUNCTION 2))

jestliže function je closed on class a function je instancí třídy binární funkce,
potom pro všechny inst1,inst2 platí: jestliže inst1 je instancí třídy class a inst2 je instancí třídy class, potom "function(inst1,inst2)" je instancí třídy class

(=>
      (and
            (closedOn ?FUNCTION ?CLASS)
            (instance ?FUNCTION BinaryFunction))
      (forall
            (?INST1 ?INST2)
            (=>
                  (and
                        (instance ?INST1 ?CLASS)
                        (instance ?INST2 ?CLASS))
                  (instance
                        (AssignmentFn ?FUNCTION ?INST1 ?INST2)
                        ?CLASS))))