=== 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)) . 
}}}

=== Lifted template ===
{{{
  Property(x1)
& ExpressReal(x2)
& Scale(x3)
& exists u
     (  (  Property(x1)
         & RealNumber(u)
         & Scale(x3)
         & exists u0
              (  (  PropertyQuantification(u0)
                  & hasInput(u0, x1)
                  & hasResult(u0, u))
               & exists z
                    (  Classification(z)
                     & hasClassified(z, u0)
                     & hasClassifier(z, x3))))
      & ExpressReal(x2)
      & Thing(u)
      & exists z0
           (ClassOfIdentification(z0) & hasPattern(z0, x2) & hasRepresented(z0, u)))      
}}}

=== Analysis diagram ===
[[Image(RealMagnitudeOfProperty.png)]]

=== Revision log ===
||'''date'''||'''by'''||'''description'''||
||02/06/2011||Onno Paap||Changed !ArithmeticNumber to !RealNumber||