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

schliesstAn

schliesstTechnikKomponentenAn

Type restrictions

connectsEngineeringComponents(Technikanschluss, Technikbestandteil, Technikbestandteil)

Axioms (2)

comp1 wird mit comp2 angeschlossen nur wenn es gibt ein connection der connection schliesst comp1 und comp2 an.

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

Wenn connection ist ein fall von Technikanschluss , dann es gibt ein comp1,comp2 der connection schliesst comp1 und comp2 an.

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