Proposed Core Template PropertyValueListRestrictionOfIndividual

This template is specifying a property of an individual from a fixed list.
PropertyValueListRestrictionOfIndividual(a, b, c) means that a is a ClassOfIndirectProperty, b is an ArrangedIndividual to which the relation applies, and c is an allowable property value.

Roles:
1 hasPropertyType ClassOfIndirectProperty
2 hasPossessorClass ArrangedIndividual
3 hasPropertyValue !Property

Axiom:

EXAMPLE The statement PropertyValueListRestrictionOfIndividual(NOMINAL DIAMETER, XYZ-TYPE GLOBE VALVE SN123, 250MM).