TotalValuedRelation


Sigma KEE  TotalValuedRelation
Relationships




Parents 
可继承的关系 
The class of Relations whose properties can be inherited downward in the class hierarchy via the subrelation Predicate.


关系 
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 
偏序关系  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)
