Template IndirectPropertyRestrictionOfClass
This template is for stating that a member of a specific Class of Individuals may only be assigned an Indirect Property that is contained by a specific set of properties.
IndirectPropertyRestrictionOfClass(a, b, c, d) means that a is a ClassOfIndirectProperty, b is a ClassOfArrangedIndividual to which the relation applies, c is a Scale as unit of measure, and d is an EnumeratedPropertySet to which assigned Properties belong.
Roles:
1 hasPropertyType ClassOfIndirectProperty
2 hasPossessorClass ClassOfArrangedIndividual
3 hasScale Scale
4 hasPropertySet EnumeratedPropertySet
Axiom:
IndirectPropertyRestrictionOfClass(x1, x2, x3, x4) <-> ClassOfIndirectProperty(x1) & ClassOfArrangedIndividual(x2) & Scale(x3) & EnumeratedPropertySet(x4) & exists u (ClassOfIndirectPropertyTriple(x1, x2, u) & exists v (ScaleTriple(x3, v, u)) & ClassOfClassificationTemplate(u, x4)).
EXAMPLE The statement IndirectPropertyRestrictionOfClass (NOMINAL DIAMETER, ELBOW TYPE XYZ, MILLIMETRE, ABC SET OF DIAMETERS)
Discussion
Analysis diagram
Attachments
- IndirectPropertyRestrictionOfClass.png (84.8 kB) - added by mfedorov 13 years ago.
- IndirectPropertyRestrictionOfClass - NominalDiameter.vsd (132.5 kB) - added by mfedorov 13 years ago.