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

# function (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)

 class

inheritable relation

function

## Superclass(es)

 entity

abstract

relation

single valued relation

function

## Instance(s)

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

## Subclass(es)

function quantity  unary function  binary function  ternary function  quaternary function  continuous function

## Coordinate term(s)

binary function  binary predicate  binary relation  case role  intentional relation  object attitude  predicate  probability relation  propositional attitude  quaternary function  quaternary predicate  quaternary relation  quintary predicate  quintary relation  relation extended to quantities  single valued relation  spatial relation  temporal relation  ternary function  ternary predicate  ternary relation  unary function

## 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"

See more related synsets on a separate page.

## Axioms (2)

If rel(,inst) holds and rel is an instance of function, then "rel()" is equal to inst.
```(=>
(and
(holds ?REL @ROW ?INST)
(instance ?REL Function))
(equal
(AssignmentFn ?REL @ROW)
?INST))```

relation is exhaustively partitioned into predicate,function,list.
`(partition Relation Predicate Function List)`