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

The Class of Functions that require two arguments.

## Ontology

SUMO / BASE-ONTOLOGY

## Class(es)

 varga

inheritable relation

## Superclass(es)

 astitva

amUrta

sambandha

prakaarya
 astitva

amUrta

sambandha

tri-angI sambandha

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

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