SUMO   View all facts   Glossary   Help
Entity > Physical > Object > SelfConnectedObject > CorpuscularObject > Artifact > EngineeringElement > EngineeringComponent > EngineeringConnection
Up: EngineeringComponent

EngineeringConnection
subjectfact 
EngineeringConnectiondocumentation 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 EngineeringComponents2001-11-30 13:34:10.0
has axiom 
(=> 
    (connectedEngineeringComponents ?COMP1 ?COMP2)
    (not 
       (or 
          (instance ?COMP1 EngineeringConnection) 
          (instance ?COMP2 EngineeringConnection))))
2001-11-30 13:34:10.0
has axiom 
(=>
    (instance ?CONNECTION EngineeringConnection)
    (exists (?COMP1 ?COMP2)
       (connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2)))
2001-11-30 13:34:10.0
is first domain of connectsEngineeringComponents2001-11-30 13:34:10.0
is a kind of EngineeringComponent2001-11-30 13:34:10.0
EngineeringComponentis second domain of connectedEngineeringComponents2001-11-30 13:34:10.0
is second domain of connectsEngineeringComponents2001-11-30 13:34:10.0
is second domain of engineeringSubcomponent2001-11-30 13:34:10.0
is third domain of connectsEngineeringComponents2001-11-30 13:34:10.0
CorpuscularObjectis disjoint from Substance2001-11-30 13:33:58.0