SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > MagnitudeFn |
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 | (=> | 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