=== 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) & 
RealNumber(x3) & 
Scale(x4) & 
exists p (Property(p) &
  ClassificationTemplate(x2, p) &
  ClassificationTemplate(p, x1) &
  exists u (PropertyQuantificationTriple(u, p, x3) &
    ClassificationTemplate(u, x4) &
)) .
}}}

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

=== Analysis diagram ===
[[Image(DirectPropertyScaleReal.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||