=== 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||