Simple Knowledge base Browser - TotalValuedRelation

Simple Browser : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

Sigma KEE - TotalValuedRelation

KB Term:

总值关系

一个 Relation 是 TotalValuedRelation 以防该 Relation 最后参数位置出现一个赋值, 假设除了最后一个之外每个参数位置都有一个赋值。注：声明一个 Relation 既是 TotalValuedRelation 又是 SingleValuedRelation 表示这是一个总函数。

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 two kinds of Relation: Predicate and Function. 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.
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.