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. a is an EnumeratedPropertySet, b is a (temporal part of) PossibleIndividual to which the relation applies and c is a Property assigned and a member of a where c is supposed to be an existing class in RDL.

Roles:
1 hasPropertySet EnumeratedPropertySet
2 hasPropertyPossessor PossibleIndividual
3 hasProperty Property

Axiom:

DirectPropertyRestrictionOfIndividual(x1, x2, x3) <-> 
EnumeratedPropertySet(x1) & 
PossibleIndividual(x2) & 
Property(x3) & 
ClassificationTemplate(x2, x3) &
ClassificationTemplate(x3, x1).

EXAMPLE The statement DirectPropertyRestrictionOfIndividual (ABC SET OF NOMINAL DIAMETERS, ELBOW12345, 200MM)

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.