=== Base Template !IndirectPropertyScaleReal ===
[[br]]This template is for assigning a typed indirect property to an individual, with magnitude given as a real number and a scale.
[[br]]
[[br]]!IndirectPropertyScaleReal(a, b, c, d) means that a is is a !ClassOfIndirectProperty, b a (temporal part of)
!PossibleIndividual to which the relation applies, c is a floating point number with the property value and d the
Scale as unit of measurement. b has a a type of !ClassOfIndirectProperty, which has c value and d unit of measurement.
[[br]]
[[br]]Roles:
[[br]]1 hasPropertyType !ClassOfIndirectProperty
[[br]]2 hasPropertyPossessor !PossibleIndividual
[[br]]3 valPropertyValue !ExpressReal
[[br]]4 hasPropertyScale Scale
Axiom:
{{{
IndirectPropertyScaleReal(x1, x2, x3, x4) <->
ClassOfIndirectProperty(x1) &
PossibleIndividual(x2) &
ExpressReal(x3) &
Scale(x4) &
exists u(InstanceOfIndirectProperty(x1, x2, u) &
RealMagnitudeOfProperty(u, x3, x4)) .
}}}