=== 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 a !ClassOfIndirectProperty, b is 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 valPropertyValue !ExpressReal
[[br]]4 hasScale !Scale

Axiom: 
{{{ 
}}}

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

=== Revision log ===
||12/23/2010||mfedorov||created||
||01/16/2011||!OnnoPaap||DEPRECATED. Reason: On class level a !ClassofIndirectProperty relates to a !PropertySpace. Subclasses of !PropertySpace are things like !PropertyRange and !SinglePropertyDimension. It cannot relate to a Property. In other words: on class level there are no properties with a single point value, only ranges. This figures, as it states the rules for membership. The example used could read: !PropertyRangeMagnitudeRestrictionOfClass(XYZ-type PUMP, MAXIMUM DISCHARGE PRESSURE, MEGAPASCAL, 10.0, 10.4) and that would define the rule of membership of XYZ-type PUMP's maximum discharge pressure to be called 10 megapascal to all pumps able to produce a discharge pressure of 10 to 10.4 megapascals. ||