lian2 jie2 gong1 cheng2 yuan2 jian4 (connectsEngineeringComponents)

connectsEngineeringComponents is a TernaryPredicate that maps from an EngineeringConnection to the EngineeringComponents it connects. Since EngineeringComponents cannot be connected to themselves and there cannot be an EngineeringConnection without a connectedEngineeringComponents Predicate, the second and third arguments of any connectsEngineeringComponents relationship will always be distinct for any given first argument.

Ontology

SUMO / OBJECTS

Superrelation(s)

xiang1 lian2

lian2 jie2 gong1 cheng2 yuan2 jian4

Type restrictions

connectsEngineeringComponents(gong1 cheng2 lian2 jie2 yuan2 jian4, gong1 cheng2 yuan2 jian4, gong1 cheng2 yuan2 jian4)

Axioms (2)

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)))

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)))