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

connects engineering components (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)

connects
is subrelation of
  connects engineering components  

Type restrictions

connectsEngineeringComponents(engineering connection, engineering component, engineering component)

Axioms (2)

comp1 is connected to comp2 if and only if there exists connection so that connection connects comp1 and comp2. 
(<=>
      (connectedEngineeringComponents ?COMP1 ?COMP2)
      (exists
            (?CONNECTION)
            (connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2)))
If connection is an instance of engineering connection, then there exist comp1,comp2 so that connection connects comp1 and comp2. 
(=>
      (instance ?CONNECTION EngineeringConnection)
      (exists
            (?COMP1 ?COMP2)
            (connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2)))