gong1 cheng2 lian2 jie2 yuan2 jian4 (EngineeringConnection)
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
lian2 jie2 gong1 cheng2 yuan2 jian4
If comp1 yu3 comp2 lian2 jie2, then comp1 shi4 gong1 cheng2 lian2 jie2 yuan2 jian4 de5 shi2 li4 and comp2 shi4 gong1 cheng2 lian2 jie2 yuan2 jian4 de5 shi2 li4.
(connectedEngineeringComponents ?COMP1 ?COMP2)
(instance ?COMP1 EngineeringConnection)
(instance ?COMP2 EngineeringConnection))))
If connection shi4 gong1 cheng2 lian2 jie2 yuan2 jian4 de5 shi2 li4, then there exist comp1,comp2 so_that_not connection lian2 jie2 comp1 he2 comp2.
(instance ?CONNECTION EngineeringConnection)
(connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2)))