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

連結工程元件 (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)

相連
is subrelation of
  連結工程元件  

Type restrictions

connectsEngineeringComponents(工程連結元件, 工程元件, 工程元件)

Axioms (2)

comp1 與 comp2 連結 if and only if there exists connection so that connection 連結 comp1 和 comp2. 
(<=>
      (connectedEngineeringComponents ?COMP1 ?COMP2)
      (exists
            (?CONNECTION)
            (connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2)))
If connection 是 工程連結元件 的 實例, then there exist comp1,comp2 so that connection 連結 comp1 和 comp2. 
(=>
      (instance ?CONNECTION EngineeringConnection)
      (exists
            (?COMP1 ?COMP2)
            (connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2)))