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).