Base Template RealMagnitudeOfProperty

This template provides a version of MagnitudeOfProperty for which the magnitude is given by a datatyped representation rather than a number object.

RealMagnitudeOfProperty(a, b, c) means that a is is an instance of Property, b is a floating point number with the property value and d the Scale as unit of measurement.

Roles:
1 hasProperty Property
2 valPropertyValue ExpressReal
3 hasPropertyScale Scale

Axiom:

Template RealMagnitudeOfProperty(x1, x2, x3) <-> 
Property(x1) & 
ExpressReal(x2) & 
Scale(x3) & 
exists u(MagnitudeOfProperty(x1, u, x3) & 
IdentificationByNumber(x2, u)) .