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

yi3 lian2 jie2 gong1 cheng2 yuan2 jian4 (connectedEngineeringComponents)

This is the most general connection relation between EngineeringComponents. If (connectedEngineeringComponents comp1 comp2), then neither comp1 nor comp2 can be an engineeringSubcomponent of the other. The relation connectedEngineeringComponents is a SymmetricRelation; there is no information in the direction of connection between two components. It is also an IrreflexiveRelation; no EngineeringComponent bears this relation to itself. Note that this relation does not associate a name or type with the connection.

Ontology

SUMO / OBJECTS

Class(es)

dui4 chen4 guan1 xi4
is instance of
fei1 fan3 shen1 guan1 xi4
is instance of
is instance of
  yi3 lian2 jie2 gong1 cheng2 yuan2 jian4  

Superrelation(s)

xiang1 lian2 de5
is subrelation of
  yi3 lian2 jie2 gong1 cheng2 yuan2 jian4  

Coordinate term(s)

fan3 mian4 han2 shu4  zheng4 mian4 han2 shu4  shu3 xing4  xian1 yu1  xiang1 lian2 de5  jiang4 di1 ke3 neng2 xing4  wu2 jiao1 ji2  qi1 jian1  jiao4 zao3  wan2 cheng2  tu2 bu4 fen5  da4 yu1  chuan4 lie4 zhong1  zeng1 jia1 ke3 neng2 xing4  du2 li4 huo4 ran2 lv4  yi4 zhi4  na4 bu4  da4 yu1  xiao3 yu1  fang1 shi4/qing2 zhuang4  kong1 jian1 shang4 jie1 chu4  qing2 tai4 shu3 xing4  bu4 fen5 zhong4 die2  kong1 jian1 zhong4 die2  shi2 duan4 zhong4 die2  lu4 jing4 chang2  bi4 mian3  xiong1 di4 zi3 mei4  xiao3 yu1  kai1 shi3  ci4 ju4 ji2  ci4 zu3 zhi1  ci4 ji4 hua4  ci4 ming4 ti2  feng1 bi4 xu4 jie1 shu3 xing4  wai4 biao3 bu4 fen5 

Type restrictions

connectedEngineeringComponents(gong1 cheng2 yuan2 jian4, gong1 cheng2 yuan2 jian4)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (3)

If comp1 yu3 comp2 lian2 jie2, then comp1 shi4 comp2 de5 yuan2 jian4 and comp2 shi4 comp1 de5 yuan2 jian4. 
(=>
      (connectedEngineeringComponents ?COMP1 ?COMP2)
      (and
            (not
                  (engineeringSubcomponent ?COMP1 ?COMP2))
            (not
                  (engineeringSubcomponent ?COMP2 ?COMP1))))
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))))
comp1 yu3 comp2 lian2 jie2 if and only if there exists connection so_that_not connection lian2 jie2 comp1 he2 comp2. 
(<=>
      (connectedEngineeringComponents ?COMP1 ?COMP2)
      (exists
            (?CONNECTION)
            (connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2)))