Base Template SpecializationOfIndividualRelation

This is a template for expressing that one relation is a subrelation of another, constrained
to relations between individuals.
SpecializationOfIndividualRelation(a, b) means that a and b are relations between individuals,
and that a is a subrelation of b.

1 hasSubrelation ClassOfRelationship
2 hasSuperrelation ClassOfRelationship


SpecializationOfIndividualRelation(x1, x2) <-> 
ClassOfRelationship(x1) & 
ClassOfRelationship(x2) & 
RelationOfIndividualsToIndividuals(x1) & 
RelationOfIndividualsToIndividuals(x2) & 
SpecializationTemplate(x1, x2) . 

EXAMPLE The expansion of SpecializationOfIndividualRelation(Shaft Seal Connection, Seal Connection) is a disjunctive statement: cf. the example for RelationOfIndividualsToIndividuals for an explanation.

About PCA
Reference Data Services (RDS)
RDS Operations Support
Meetings and Conferences
ISO 15926
Special Interest Groups
Technical Advisory Board
Norwegian Continental Shelf Std