=== Proposed Core Template !PropertyValueListRestrictionOfClass ===

[[br]]This template is for restricting values of an indirect property of a class to a fixed list. 
[[br]]!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.
[[br]]
[[br]]Roles: 
[[br]]1 hasPropertyType !ClassOfIndirectProperty 
[[br]]2 hasPossessorClass !ClassOfArrangedIndividual 
[[br]]3 hasPropertyValue !ClassOfProperty

Axiom: 
{{{ 
}}}

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