=== Proposed Core Template !PropertyRealValueRestrictionOfClass ===

[[br]]This template is for assigning a typed indirect property to a class of individual, with magnitude given as a real
number and a scale. 

[[br]]!PropertyRealValueRestrictionOfClass(a, b, c, d) means that a is is a !ClassOfIndirectProperty, b a !ClassOfArrangedIndividual to which the relation applies, c is a floating point number with the property value and d is the Scale as unit of measurement.
[[br]]
[[br]]Roles: 
[[br]]1 hasPropertyType !ClassOfIndirectProperty 
[[br]]2 hasPossessorClass !ClassOfArrangedIndividual 
[[br]]3 hasPropertyValue !ExpressReal
[[br]]4 hasScale !Scale

Axiom: 
{{{ 
}}}

EXAMPLE The statement !PropertyRealValueRestrictionOfClass(MAXIMUM DISCHARGE PRESSURE, XYZ-type PUMP, 10, MEGAPASCAL) describes catalog data.