Version 7 (modified by mfedorov, 13 years ago) |
---|
Proposed Core Template IndirectPropertyScaleRealOfClass
This template is for assigning a typed indirect property to a class of individual, with magnitude given as a real
number and a scale.
IndirectPropertyScaleRealOfClass(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.
Roles:
1 hasPropertyType ClassOfIndirectProperty
2 hasPossessorClass ClassOfArrangedIndividual
3 hasPropertyValue ExpressReal
4 hasScale !Scale
Axiom:
EXAMPLE The statement IndirectPropertyScaleRealOfClass(MAXIMUM DISCHARGE PRESSURE, XYZ-type PUMP, 10, MEGAPASCAL) describes catalog data.