Relationships




Parents 
BinaryRelation 
BinaryRelations are relations that are true only of pairs of things. BinaryRelations are represented as slots in frame systems.


Function 
A Function is a termforming Relation that maps from a ntuple of arguments to a range and that associates this ntuple 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.


InheritableRelation 
The class of Relations whose properties can be inherited downward in the class hierarchy via the subrelation Predicate.

Children 
OneToOneFunction  The Class of UnaryFunctions which are one to one. A function F is one to one just in case for all X, Y in the domain of F, if X is not identical to Y, then F(X) is not identical to F(Y). 
 UnitOfMeasureMultiplier  Each instance of this Class is a UnaryFunction that, when evaluated on its single argument, a UnitOfMeasure, produces another UnitOfMeasure that is a numeric multiple of the argument. 