=== Template !DirectPropertyScaleReal ===

[[br]]This template is for assigning a property value and unit of measurement to an Individual for a Property that is not an !IndirectProperty.
[[br]]
[[br]]From ISO 15926-2 Property: NOTE  A member of a Property is a !PossibleIndividual that has the same degree or magnitude of the quality or characteristic represented by the Property as other members.
[[br]]
[[br]]To make the distinction with !IndirectProperty, this template starts its name with Direct.
[[br]]
[[br]]!DirectPropertyScaleReal(a, b, c, d) means that a is a !PropertySpace, b is a (temporal part of) PossibleIndividual to which the relation applies, c is a floating point number for the property value and d the Scale as unit of measurement. 
[[br]]
[[br]]
[[br]]Roles: 
[[br]]1 hasPropertySpace !PropertySpace 
[[br]]2 hasPropertyPossessor !PossibleIndividual 
[[br]]3 valPropertyValue !ExpressReal 
[[br]]4 hasPropertyScale Scale 

=== Axiom === 
{{{
DirectPropertyScaleReal(x1, x2, x3, x4) <-> 
PropertySpace(x1) & 
PossibleIndividual(x2) & 
ExpressReal(x3) & 
Scale(x4) & 
exists p (Property(p) &
	exists c (Classification(c)
             & hasClassified(c, x2)
             & hasClassifier(c, p)  &
	exists c0 (Classification(c0)
             & hasClassified(c0, p)
             & hasClassifier(c0, x1)  &
	RealMagnitudeOfProperty(p, x3, x4)))) .
}}}

EXAMPLE The statement !DirectPropertyScaleReal(LENGTH, 123, 4.300, METER)

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

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

NOTE: The relationship for the Scale between the domain and codomain must already exist in the RDL. It is not in scope of the template.
=== Revision log ===
||01/18/2011||!OnnoPaap||Released||
||02/05/2011||!OnnoPaap||Revised: added !ExpressReal and made new analysis diagram||