Changes between Version 2 and Version 3 of SigMmt/Templates/FlangeConnection
- Timestamp:
- 03/04/11 10:22:31 (13 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
SigMmt/Templates/FlangeConnection
v2 v3 21 21 SpecializationTemplate(x3, Gasket) & 22 22 SpecializationTemplate(x4, AggregateOfBolts) & 23 exists y1 (Port(y1) & exists u1 (FeatureWholePart (u1) & FeatureWholePartTriple(u1, y1, x1) & ClassificationTemplate(u1, ComponentHasPort)) &24 exists y2 (Port(y2) & exists u2 (FeatureWholePart (u2) & FeatureWholePartTriple(u2, y2, x2) & ClassificationTemplate(u2, ComponentHasPort))) &23 exists y1 (Port(y1) & exists u1 (FeatureWholePartTriple(u1, y1, x1) & ClassificationTemplate(u1, ComponentHasPort)) & 24 exists y2 (Port(y2) & exists u2 (FeatureWholePartTriple(u2, y2, x2) & ClassificationTemplate(u2, ComponentHasPort))) & 25 25 exists y3 (PossibleIndividual(y3) & ClassificationTemplate(y3, x3)) & 26 26 exists y4 (PossibleIndividual(y4) & ClassificationTemplate(y4, x4)) & 27 27 exists v1 (PossibleIndividual(v1) & TemporalWholePartTemplate(v1, y1) & 28 28 exists v2 (PossibleIndividual(v2) & TemporalWholePartTemplate(v2, y2)) & 29 exists w1 (IndirectConnection (w1) & IndirectConnectionTriple(w1, v1, v2) & ClassificationTemplate(w1, PortConnectsToPort) &29 exists w1 (IndirectConnectionTriple(w1, v1, v2) & ClassificationTemplate(w1, PortConnectsToPort) & 30 30 exists v3 (PossibleIndividual(v3) & TemporalWholePartTemplate(v3, y3)) & 31 31 exists v4 (PossibleIndividual(v4) & TemporalWholePartTemplate(v4, y4)) & 32 exists w3 (IndividualUsedInConnection(w3) & IndividualUsedInConnectionTriple(w3, w1, v3) & ClassificationTemplate(w3, UsedGasket)) & 33 exists w4 (IndividualUsedInConnection(w4) & IndividualUsedInConnectionTriple(w4, w1, v4) & ClassificationTemplate(w4, UsedBolt)) & 34 ))). 32 exists w3 (IndividualUsedInConnectionTriple(w3, w1, v3) & ClassificationTemplate(w3, UsedGasket)) & 33 exists w4 (IndividualUsedInConnectionTriple(w4, w1, v4) & ClassificationTemplate(w4, UsedBolt))))) . 35 34 }}} 36 35