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 hasSide1 PossibleIndividual
3 hasSide2 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(PipingNetworkSegmentConnectsToEquipment, seg123, pump456) The template can be used to describe connections between both Ports (in a 3D model) or FPOs (like on a PFD)