SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > Function > TernaryFunction |
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 | (=> |
Next Function: UnaryFunction Up: Function, QuaternaryRelation Previous Function: LeastCommonMultipleFn