=== Proposed Core Template !PropertyValueListRestrictionOfIndividual ===

[[br]]This template is specifying a property of an individual from a fixed list. 
[[br]]!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.
[[br]]
[[br]]Roles: 
[[br]]1 hasPropertyType !ClassOfIndirectProperty 
[[br]]2 hasPossessorClass !ArrangedIndividual 
[[br]]3 hasPropertyValue !Property

Axiom: 
{{{ 
}}}

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