Changes between Version 5 and Version 6 of SigMmt/Templates/WeldedConnection

Show
Ignore:
Timestamp:
03/04/11 09:30:36 (13 years ago)
Author:
mfedorov (IP: 93.186.61.242)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SigMmt/Templates/WeldedConnection

    v5 v6  
    1515PossibleIndividual(x1) & 
    1616PossibleIndividual(x2) &  
    17 exists y1 (Port(y1) & exists u1 (FeatureWholePart(u1) & FeatureWholePartTriple(u1, y1, x1) & ClassificationTemplate(u1, ComponentHasPort)) & 
    18            exists y2 (Port(y2) & exists u2 (FeatureWholePart(u2) & FeatureWholePartTriple(u2, y2, x2) & ClassificationTemplate(u2, ComponentHasPort))) & 
     17exists y1 (Port(y1) & exists u1 (FeatureWholePartTriple(u1, y1, x1) & ClassificationTemplate(u1, ComponentHasPort)) & 
     18           exists y2 (Port(y2) & exists u2 (FeatureWholePartTriple(u2, y2, x2) & ClassificationTemplate(u2, ComponentHasPort))) & 
    1919           exists v1 (PossibleIndividual(v1) & TemporalWholePartTemplate(v1, y1) & 
    2020           exists v2 (PossibleIndividual(v2) & TemporalWholePartTemplate(v2, y2)) & 
    21            exists w1 (IndirectConnection(w1) & IndirectConnectionTriple(w1, v1, v2) & ClassificationTemplate(w1, PortConnectsToPort) & 
    22            exists w2 (Weld(w2) & exists w3 (IndividualUsedInConnection(w3) & IndividualUsedInConnectionTriple(w3, w1, w2) & ClassificationTemplate(w3, UsedWeld))) & 
    23 ))). 
     21           exists w1 (IndirectConnectionTriple(w1, v1, v2) & ClassificationTemplate(w1, PortConnectsToPort) & 
     22           exists w2 (Weld(w2) & exists w3 (IndividualUsedInConnectionTriple(w3, w1, w2) & ClassificationTemplate(w3, UsedWeld)))))) . 
    2423}}} 
    2524 
Home
About PCA
Reference Data Services
Projects
Workgroups