Template WeldedConnection


This template is for describing a welded connection of 2 Individuals.

WeldedConnection(a, b) means that a and b are (temporal parts of) PossibleIndividual that are connected indirectly through a weld.

Roles:
1 hasSide1 PossibleIndividual
2 hasSide2 PossibleIndividual

Axiom:

WeldedConnection(x1, x2) <-> 
PossibleIndividual(x1) &
PossibleIndividual(x2) & 
exists y1 (Port(y1) & exists u1 (FeatureWholePartTriple(u1, y1, x1) & ClassificationTemplate(u1, ComponentHasPort)) &
           exists y2 (Port(y2) & exists u2 (FeatureWholePartTriple(u2, y2, x2) & ClassificationTemplate(u2, ComponentHasPort))) &
           exists v1 (PossibleIndividual(v1) & TemporalWholePartTemplate(v1, y1) &
           exists v2 (PossibleIndividual(v2) & TemporalWholePartTemplate(v2, y2)) &
           exists w1 (IndirectConnectionTriple(w1, v1, v2) & ClassificationTemplate(w1, PortConnectsToPort) &
           exists w2 (Weld(w2) & exists w3 (IndividualUsedInConnectionTriple(w3, w1, w2) & ClassificationTemplate(w3, UsedWeld)))))) .

EXAMPLE The statement WeldedConnection(PIPE123, ELBOW456)

Analysis diagram

Comments

Classes of relationships ComponentHasPort, PortConnectsToPort and UsedWeld should already exist in RDL

Attachments

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