=== Base Template !RealMagnitudeOfProperty ===

[[br]]This template provides a version of !MagnitudeOfProperty for which the magnitude is 
given by a datatyped representation rather than a number object. 
[[br]]
[[br]]!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. 
[[br]]
[[br]]Roles: 
[[br]]1 hasProperty Property 
[[br]]2 valPropertyValue !ExpressReal 
[[br]]3 hasPropertyScale Scale 

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