MagnitudeFn Comparison Table

Next UnaryFunction: NumeratorFn Up: UnaryFunction Previous UnaryFunction: JunctionFn

MagnitudeFn comparison table

Subject have domain1 have range documentation have axiom is a kind of is an instance of

UnaryFunction The Class of Functions that require a single argument
(=>
(instance ?FUNCTION UnaryFunction)
(valence ?FUNCTION 1))
Function

MagnitudeFn ConstantQuantity RealNumber The magnitude of a ConstantQuantity is the numeric value for the quantity. In other words, MagnitudeFn converts a ConstantQuantity with an associated UnitOfMeasure into an ordinary RealNumber. For example, the magnitude of the ConstantQuantity 2 Kilometers is the RealNumber 2. Note that the magnitude of a quantity in a given unit times that unit is equal to the original quantity
(equal (MagnitudeFn (MeasureFn ?NUMBER ?UNIT)) ?NUMBER)
UnaryFunction

Subject	have domain1	have range	documentation	have axiom	is a kind of	is an instance of
UnaryFunction			The Class of Functions that require a single argument	(=> (instance ?FUNCTION UnaryFunction) (valence ?FUNCTION 1))	Function
MagnitudeFn	ConstantQuantity	RealNumber	The magnitude of a ConstantQuantity is the numeric value for the quantity. In other words, MagnitudeFn converts a ConstantQuantity with an associated UnitOfMeasure into an ordinary RealNumber. For example, the magnitude of the ConstantQuantity 2 Kilometers is the RealNumber 2. Note that the magnitude of a quantity in a given unit times that unit is equal to the original quantity	(equal (MagnitudeFn (MeasureFn ?NUMBER ?UNIT)) ?NUMBER)		UnaryFunction

Next UnaryFunction: NumeratorFn Up: UnaryFunction Previous UnaryFunction: JunctionFn