TernaryFunction Comparison Table

Next Function: UnaryFunction Up: Function, QuaternaryRelation Previous Function: LeastCommonMultipleFn

TernaryFunction comparison table

Subject documentation is a kind of be first domain of have axiom

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 exactly one range element. Note that the range is a Class, and each element of the range is an instance of the Class Relation rangeSubclass
(forall (?INT) (domain exhaustiveDecomposition ?INT Class))

QuaternaryRelation QuaternaryRelations relate four items. The two subclasses of QuaternaryRelation are QuaternaryPredicate and TernaryFunction Relation valence
(forall (?INT) (domain exhaustiveDecomposition ?INT Class))

TernaryFunction The Class of Functions that require exactly three arguments QuaternaryRelation rangeSubclass
(=>
(instance ?FUNCTION TernaryFunction)
(valence ?FUNCTION 3))

Subject	documentation	is a kind of	be first domain of	have axiom
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 exactly one range element. Note that the range is a Class, and each element of the range is an instance of the Class	Relation	rangeSubclass	(forall (?INT) (domain exhaustiveDecomposition ?INT Class))
QuaternaryRelation	QuaternaryRelations relate four items. The two subclasses of QuaternaryRelation are QuaternaryPredicate and TernaryFunction	Relation	valence	(forall (?INT) (domain exhaustiveDecomposition ?INT Class))
TernaryFunction	The Class of Functions that require exactly three arguments	QuaternaryRelation	rangeSubclass	(=> (instance ?FUNCTION TernaryFunction) (valence ?FUNCTION 3))

Next Function: UnaryFunction Up: Function, QuaternaryRelation Previous Function: LeastCommonMultipleFn