An EngineeringConnection is an
EngineeringComponent that represents a connection relationship between
two other EngineeringComponents. It is a reification of the
Predicate connectedEngineeringComponents. That means that whenever
this Predicate holds between two EngineeringComponents, there exists an
EngineeringConnection. The practical reason for reifying a relationship
is to be able to attach other information about it. For example, one
might want to say that a particular connection is associated with some
shared parameters, or that it is of a particular type.
EngineeringConnections are EngineeringComponents and can therefore be
an engineeringSubcomponent of other EngineeringComponents. However,
to provide for modular regularity in component systems,
EngineeringConnections cannot be connected. For each pair of
EngineeringComponents related by connectedEngineeringComponents, there
exists at least one EngineeringConnection. However, that object may not
be unique, and the same EngineeringConnection may be associated with
several pairs of EngineeringComponents.
SUMO / OBJECTS
If comp1 與 comp2 連結, then comp1 是 工程連結元件 的 實例 and comp2 是 工程連結元件 的 實例.
(connectedEngineeringComponents ?COMP1 ?COMP2)
(instance ?COMP1 EngineeringConnection)
(instance ?COMP2 EngineeringConnection))))
If connection 是 工程連結元件 的 實例, then there exist comp1,comp2 so that connection 連結 comp1 和 comp2.
(instance ?CONNECTION EngineeringConnection)
(connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2)))