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.
SUMO / BASE-ONTOLOGY
greatest common divisor fn
least common multiple fn
relation extended to quantities
single valued relation
Related WordNet synsets
See more related synsets on a separate page.
- a relation such that one thing is dependent on another; "height is a function of age"; "price is a function of supply and demand"
If rel(,inst) holds and rel is an instance of function, then "rel()" is equal to inst.
(holds ?REL @ROW ?INST)
(instance ?REL Function))
(AssignmentFn ?REL @ROW)
relation is exhaustively partitioned into predicate,function,list.
(partition Relation Predicate Function List)