Version 1 (modified by onnopaap, 14 years ago)

--

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.

Roles:
1 hasSubrelation ClassOfRelationship
2 hasSuperrelation ClassOfRelationship

Axiom:

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.

Home
About PCA
Reference Data Services
Projects
Workgroups