TotalValuedRelation


Sigma KEE  TotalValuedRelation
Relationships




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


relation 
The Class of relations. There are three kinds of Relation: Predicate, Function, and List. Predicates and Functions both denote sets of ordered ntuples. The difference between these two Classes is that Predicates cover formulaforming operators, while Functions cover termforming operators. A List, on the other hand, is a particular ordered ntuple.

Children 
partial ordering relation  A BinaryRelation is a partial ordering if it is a ReflexiveRelation, an AntisymmetricRelation, and a TransitiveRelation.   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. 
Show full definition (without tree view)
Show full definition (with tree view)
