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)