TreeView Knowledge Base Browser - UnitOfMeasureMultiplier

Simple Browser : Welcome guest : log in

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

KB Term:

Sigma KEE - UnitOfMeasureMultiplier

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.

Relationships
Parents	TotalValuedRelation	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.
	UnaryFunction	The Class of Functions that require a single argument.