Base Template IndirectPropertyScaleReal

This template is for assigning a typed indirect property to an individual, with magnitude given as a real number and a scale.

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.

Roles:
1 hasPropertyType ClassOfIndirectProperty
2 hasPropertyPossessor PossibleIndividual
3 valPropertyValue ExpressReal
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)) .