Version 1 (modified by mfedorov, 13 years ago)

--

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 (FeatureWholePart(u1) & FeatureWholePartTriple(u1, y1, x1) & ClassificationTemplate(u1, ComponentHasPort)) &
           exists y2 (Port(y2) & exists u2 (FeatureWholePart(u2) & FeatureWholePartTriple(u2, y2, x2) & ClassificationTemplate(u2, ComponentHasPort))) &
           exists v1 (PossibleIndividual(v1) & TemporalWholePartTemplate(v1, y1) &
           exists v2 (PossibleIndividual(v2) & TemporalWholePartTemplate(v2, y2)) &
           exists w1 (IndirectConnection(w1) & IndirectConnectionTriple(w1, v1, v2) & ClassificationTemplate(w1, PortConnectsToPort)) &
           exists w2 (Weld(w2) & exists w3 (IndividualUsedInConnection(w3) & IndividualUsedInConnectionTriple(w3, w1, w2))) &
)).}}}

EXAMPLE The statement !WeldedConnection(PIPE123, ELBOW456)
=== Analysis diagram ===
[[Image(WeldedConnectionAnalysisDiagram.png)]]

Attachments

Home
About PCA
Reference Data Services
Projects
Workgroups