=== Base Template !ClassifiedDirectConnection ===

[[br]]This is a template for describing a typed direct connection. 
[[br]]
[[br]]!ClassifiedDirectConnection(a, b, c) means that a is a type of a connection, b and c are (temporal parts of) !PossibleIndividual. 
[[br]]
[[br]]Roles: 
[[br]]1 hasConnectionType !ClassOfDirectConnection 
[[br]]2 hasSide1 !PossibleIndividual
[[br]]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)