Template IndirectPropertyRestrictionOfIndividual

This template is for assigning an IndirectProperty to an Individual and also restricting the assigned property to a member of a specific set of properties.

IndirectPropertyRestrictionOfIndividual(a, b, c, d, e) means that a is a ClassOfIndirectProperty, b a (temporal part of) PossibleIndividual to which the relation applies, c is a Property assigned to b, d the Scale as unit of measurement, and e is an EnumeratedPropertySet. b has a a type of ClassOfIndirectProperty and has d unit of measurement. c is a member of e where c is supposed to be an existing class in RDL.

Roles:
1 hasPropertyType ClassOfIndirectProperty
2 hasPropertyPossessor PossibleIndividual
3 hasProperty Property
4 hasPropertyScale Scale
5 hasPropertySet EnumeratedPropertySet

Axiom:

IndirectPropertyRestrictionOfIndividual(x1, x2, x3, x4, x5) <-> 
ClassOfIndirectProperty(x1) &
PossibleIndividual(x2) & 
Property(x3) & 
Scale(x4) &
EnumeratedPropertySet(x5) & 
InstanceOfIndirectProperty(x1, x2, x3) &
ClassificationTemplate(x3, x5) &
exists u (ExpressReal(u) & RealMagnitudeOfProperty(x3, u, x4)).

EXAMPLE The statement IndirectPropertyRestrictionOfIndividual (PRESSURE DROP, CV123, 10bar, ABC SET OF PRESSURES, bar)

Analysis diagram

Error: Macro Image(DirectPropertyRestrictionOfIndividual.png) failed

Attachment 'wiki:SigMmt/Templates/IndirectPropertyRestrictionOfIndividual: DirectPropertyRestrictionOfIndividual.png' does not exist.

NOTE: EnumeratedPropertySet used in a template instance should already exist in the RDL and contain as members all the required Properties. Relationships like property_quantification, scale etc are also defined in the RDL. It is not in scope of the template.