Proposed Core Template PropertyValueListRestrictionOfClass

This template is for restricting values of an indirect property of a class to a fixed list.

PropertyValueListRestrictionOfClass(a, b, c) means that a is a ClassOfIndirectProperty, b is a ClassOfArrangedIndividual to which the relation applies, and c is an allowable list of property values.

Roles:
1 hasPropertyType ClassOfIndirectProperty
2 hasPossessorClass ClassOfArrangedIndividual
3 hasPropertyValue ClassOfProperty

Axiom:

EXAMPLE The statement PropertyValueListRestrictionOfClass(NOMINAL DIAMETER, GOST123 PIPES, GOST456 LIST OF DIAMETERS).