MagnitudeFn concept from the SUMO knowledge base

Next UnaryFunction: NumeratorFn Up: UnaryFunction Previous UnaryFunction: JunctionFn

Next UnaryFunction: NumeratorFn Up: UnaryFunction Previous UnaryFunction: JunctionFn

MagnitudeFn	*documentation* 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
	has axiom (equal (MagnitudeFn (MeasureFn ?NUMBER ?UNIT)) ?NUMBER)
	has domain1 ConstantQuantity
	has range RealNumber
	*is an instance* of** UnaryFunction
BinaryRelation	*is first domain* of** DomainFn
	*is first domain* of** equivalenceRelationOn
	*is first domain* of** inverse
	*is first domain* of** irreflexiveOn
	*is first domain* of** partialOrderingOn
	*is first domain* of** RangeFn
	*is first domain* of** reflexiveOn
	*is first domain* of** totalOrderingOn
	*is first domain* of** trichotomizingOn
	*is second domain* of** inverse
Function	*is first domain* of** AssignmentFn
	*is first domain* of** closedOn
	*is first domain* of** range
	*is first domain* of** rangeSubclass
Class	*is third domain* of** domain
Class	*is third domain* of** domainSubclass
Abstract	*is disjoint* from** Physical