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.

Ontologie

SUMO / OBJECTS

Superrelation(s)

connects

connects engineering components

Typy argumentů

connectsEngineeringComponents(spojení inženýrských komponent, inženýrská komponenta, inženýrská komponenta)

Axiomy (2)

connected engineering components(comp1,comp2) platí tehdy a jen tehdy pokud existuje connection tak, že connects engineering components(connection,comp1,comp2) platí.

(<=>
      (connectedEngineeringComponents ?COMP1 ?COMP2)
      (exists
            (?CONNECTION)
            (connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2)))

Jestliže connection je instancí třídy spojení inženýrských komponent, potom existují comp1,comp2 tak, že connects engineering components(connection,comp1,comp2) platí.

(=>
      (instance ?CONNECTION EngineeringConnection)
      (exists
            (?COMP1 ?COMP2)
            (connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2)))