Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

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.

Ontology

SUMO / OBJECTS

Superclass(es)

[tree]
shi2 ti3
is subclass of
  wu4 zhi4 de5  
is subclass of
  wu4 ti1  
is subclass of
  zi4 shen1 lian2 xu4 wu4 ti1  
is subclass of
  fu4 za2 ti1/fei1 dan1 zhi4 ti1  
is subclass of
  ren2 zao4 wu4  
is subclass of
  zhuang1 zhi4  
is subclass of
  gong1 cheng2 yuan2 jian4  
is subclass of
  gong1 cheng2 lian2 jie2 yuan2 jian4  

Constrains relations

lian2 jie2 gong1 cheng2 yuan2 jian4 

Axioms (2)

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)
      (not
            (or
                  (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)
      (exists
            (?COMP1 ?COMP2)
            (connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2)))