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

prakaarya (Function)

A Function is a term-forming Relation that maps from a n-tuple of arguments to a range and that associates this n-tuple with at most one range element. Note that the range is a SetOrClass, and each element of the range is an instance of the SetOrClass.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

varga
is instance of
  inheritable relation  
is instance of
  prakaarya  

Superclass(es)

[tree]
astitva
is subclass of
  amUrta  
is subclass of
  sambandha  
is subclass of
  eka mUlyaadeya sambandha  
is subclass of
  prakaarya  

Instance(s)

assignment fn  list fn  greatest common divisor fn  least common multiple fn 

Subclass(es)

prakaarya parimaaNa  ekaadhaary prakaarya  dvi-aadhaary prakaarya  tri-angI prakaarya  chaturangI prakaarya  nirantara prakaarya 

Coordinate term(s)

dvi-aadhaary prakaarya  dvi-lakshana  dvi-aadhaarI sambandha  vibhakti bhUmikaa  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

assignment fn  closed on  range  range subclass 

Related WordNet synsets

function
a relation such that one thing is dependent on another; "height is a function of age"; "price is a function of supply and demand"
function is kind of (all)...   function is kind of...  
See more related synsets on a separate page.

Axioms (2)

Agar rel(,inst) holds aur rel is an instance of prakaarya, to "rel()" is equal to inst. 
(=>
      (and
            (holds ?REL @ROW ?INST)
            (instance ?REL Function))
      (equal
            (AssignmentFn ?REL @ROW)
            ?INST))
sambandha is exhaustively partitioned into vidheya,prakaarya,sUchI. 
(partition Relation Predicate Function List)