Changes between Version 1 and Version 2 of SigMmt/Templates/ClassifiedDirectConnection
- Timestamp:
- 03/05/11 19:43:04 (13 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
SigMmt/Templates/ClassifiedDirectConnection
v1 v2 7 7 [[br]]Roles: 8 8 [[br]]1 hasConnectionType !ClassOfDirectConnection 9 [[br]]2 has Side1 !PossibleIndividual10 [[br]]3 has Side2 !PossibleIndividual9 [[br]]2 hasPort1 !PossibleIndividual 10 [[br]]3 hasPort2 !PossibleIndividual 11 11 12 12 Axiom: … … 20 20 }}} 21 21 22 EXAMPLE The statement !ClassifiedDirectConnection(!PipingNetworkSegmentConnectsToEquipment, seg123, pump456) 22 EXAMPLE The statement !ClassifiedDirectConnection(!PipingNetworkSegmentToPipinGComponent, seg123, pump456-port1) 23 The connection is between the Ports of the segment and the Component