dvi-aadhaary prakaarya (BinaryFunction)

The Class of Functions that require two arguments.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

varga

inheritable relation

dvi-aadhaary prakaarya

Superclass(es)

astitva

amUrta

sambandha

eka mUlyaadeya sambandha

prakaarya

astitva

amUrta

sambandha

tri-angI sambandha
is subclass of

dvi-aadhaary prakaarya

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

Subclass(es)

sahachaary prakaarya vinimaya-sambandhI prakaarya

Coordinate term(s)

dvi-lakshana dvi-aadhaarI sambandha vibhakti bhUmikaa nirantara prakaarya prakaarya prakaarya parimaaNa intentional relation vastu abhivQtti vidheya sambhaavanaa sambandha prastaavaatmak abhivQtti chaturangI prakaarya caturangii pakshana chaturangI sambandha pancha lakshana panchaangI sambandha matraaon kaa sanbandha vistaara eka mUlyaadeya sambandha sthaana sambandha saamayika sambandha tri-angI prakaarya triangii lakshana tri-angI sambandha ekaadhaary prakaarya

Constrains relations

distributes identity element

Axioms (2)

Agar function is an instance of dvi-aadhaary prakaarya, to function ke konaanke bahanen hai.

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

agar function is closed on class aur function is an instance of dvi-aadhaary prakaarya,
to sab-kuch inst1,inst2 ke lie hai, ki: agar inst1 is an instance of class aur inst2 is an instance of class, to "function(inst1,inst2)" is an instance of class

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