Wählen Sie Sprache: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

angeschlosseneTechnikKomponenten (connectedEngineeringComponents)

This is the most general connection relation between EngineeringComponents. If (connectedEngineeringComponents comp1 comp2), then neither comp1 nor comp2 can be an engineeringSubcomponent of the other. The relation connectedEngineeringComponents is a SymmetricRelation; there is no information in the direction of connection between two components. It is also an IrreflexiveRelation; no EngineeringComponent bears this relation to itself. Note that this relation does not associate a name or type with the connection.

Ontology

SUMO / OBJECTS

Class(es)

symmetrische Relation
is instance of
irreflexive Relation
is instance of
is instance of
  angeschlosseneTechnikKomponenten  

Superrelation(s)

angeschlossen
is subrelation of
  angeschlosseneTechnikKomponenten  

Coordinate term(s)

RückseiteFn  FrontseiteFn  attribut  vor  angeschlossen  verringertWahrscheinlichkeit  disjunkt  während  früh  beendet  graphenTeil  grösserAls  inListe  vergrössertWahrscheinlichkeit  Unabhänigkeitswahrscheinlichkeit  hemmt  innenteil  grösser  kleinerAls  weise  schliesstRäumlichAn  modalesAttribute  decktSichTeilweise  decktSichRäumlich  decktSichZeitlich  pfadLänge  verhindert  geschwister  kleiner  beginnt  teilsammlung  unterOrganisation  teilplan  %1 ist eine &%teilangelegenheit von %2 %n{nicht}  nachfolgerAttributSchliessung  oberflächichesTeil 

Type restrictions

connectedEngineeringComponents(Technikbestandteil, Technikbestandteil)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (3)

Wenn comp1 wird mit comp2 angeschlossen, dann comp1 ist eine komponente von comp2 und comp2 ist eine komponente von comp1. 
(=>
      (connectedEngineeringComponents ?COMP1 ?COMP2)
      (and
            (not
                  (engineeringSubcomponent ?COMP1 ?COMP2))
            (not
                  (engineeringSubcomponent ?COMP2 ?COMP1))))
Wenn comp1 wird mit comp2 angeschlossen, dann comp1 ist ein fall von Technikanschluss nicht und comp2 ist ein fall von Technikanschluss nicht. 
(=>
      (connectedEngineeringComponents ?COMP1 ?COMP2)
      (not
            (or
                  (instance ?COMP1 EngineeringConnection)
                  (instance ?COMP2 EngineeringConnection))))
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)))