Changes between Version 2 and Version 3 of SigMmt/Templates/FlangeConnection

Show
Ignore:
Timestamp:
03/04/11 10:22:31 (13 years ago)
Author:
mfedorov (IP: 93.186.61.242)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SigMmt/Templates/FlangeConnection

    v2 v3  
    2121SpecializationTemplate(x3, Gasket) & 
    2222SpecializationTemplate(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))) & 
     23exists 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))) & 
    2525           exists y3 (PossibleIndividual(y3) & ClassificationTemplate(y3, x3)) & 
    2626           exists y4 (PossibleIndividual(y4) & ClassificationTemplate(y4, x4)) & 
    2727           exists v1 (PossibleIndividual(v1) & TemporalWholePartTemplate(v1, y1) & 
    2828           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) & 
    3030           exists v3 (PossibleIndividual(v3) & TemporalWholePartTemplate(v3, y3)) & 
    3131           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))))) . 
    3534}}} 
    3635 
Home
About PCA
Reference Data Services
Projects
Workgroups