TreeView Knowledge Base Browser - UnitOfMeasureMultiplier

Simple Browser : Welcome guest : log in

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

KB Term:

Sigma KEE - UnitOfMeasureMultiplier

UnitOfMeasureMultiplier

この C の各 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.
	1変数関数	The Class of Functions that require a single argument.