|
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 n-tuples. The difference between these two Classes is that Predicates cover formula-forming operators, while Functions cover term-forming operators. A List, on the other hand, is a particular ordered n-tuple.
|
| 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. |