Base Template ClassifiedDirectConnection

This is a template for describing a typed direct connection.

ClassifiedDirectConnection(a, b, c) means that a is a type of a connection, b and c are (temporal parts of) PossibleIndividual.

Roles:
1 hasConnectionType ClassOfDirectConnection
2 hasPort1 PossibleIndividual
3 hasPort2 PossibleIndividual

Axiom:

ClassifiedDirectConnection(x1, x2, x3) <-> 
ClassOfDirectConnection(x1) & 
PossibleIndividual(x2) & 
PossibleIndividual(x3) & 
exists u(DirectConnectionTriple(u, x2, x3) & 
ClassificationTemplate(u, x1)) . 

EXAMPLE The statement ClassifiedDirectConnection(!PipingNetworkSegmentToPipinGComponent, seg123, pump456-port1) The connection is between the Ports of the segment and the Component