Simple Knowledge base Browser - UnitOfMeasureMultiplier

Simple Browser : Welcome guest : log in

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

Sigma KEE - UnitOfMeasureMultiplier

KB Term:

UnitOfMeasureMultiplier

这个 Class 的每一个 instance 都是 UnaryFunction，当我们以单一的参数来评估的话，一个 UnitOfMeasure 会产生出另一个 UnitOfMeasure，也就是说这是参数的一个数值倍数。

Relationships
Parents	总值关系	A Relation is a TotalValuedRelation just in case there exists an assignment for the last argument position of the Relation given any assignment of values to every argument position except the last one. Note that declaring a Relation to be both a TotalValuedRelation and a SingleValuedRelation means that it is a total function.
	一元函数	The Class of Functions that require a single argument.