Version 6 (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(WEIGHT, XYZ-type PUMP, 85, KILOGRAM) describes a fact that every instance of XYZ-type PUMP (materialized physical object) has WEIGHT of 85 KG. This is a catalog data.

Home
About PCA
Reference Data Services
Projects
Workgroups