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.