Funktion (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)

Kategorie

inheritable relation

Funktion

Superclass(es)

Wesen

abstrakter Gegenstand

Relation

einwertige Relation

Funktion

Instance(s)

AssignmentFn ListeFn GrössteGemeinsamerTeilerFn KleinsteGemeinsameVielfacheFn

Subclass(es)

Funktionsquantität einstellige Funktion zweistellige Funktion dreistellige Funktion vierstellige funktion stetige Dauerfunktion

Coordinate term(s)

zweistellige Funktion zweistellige Prädikat zweiwertige Relation Fallrolle intentional relation Gegenstandeinstellung Prädikat Wahrscheinlichkeitsrelation propositionale Einstellung vierstellige funktion vierstellige Prädikat viewwertige Relation fünfstellige Prädikat fünfwertige Relation Relation erweitert auf Quantitäten einwertige Relation räumliche Relation zeitliche Relation dreistellige Funktion dreistellige Prädikat dreiwertige Relation einstellige Funktion

Constrains relations

AssignmentFn aufgeschlossen &%bildbereich von %1 ist ein fall von %2 {nicht} bildbereichTeilkategorie

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)

Wenn rel(,inst) gilt und rel ist ein fall von Funktion , dann "rel()" ist gleich inst .

(=>
      (and
            (holds ?REL @ROW ?INST)
            (instance ?REL Function))
      (equal
            (AssignmentFn ?REL @ROW)
            ?INST))

Relation wird vollständig in Prädikat,Funktion,Liste verteilt.

(partition Relation Predicate Function List)