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

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

RelazioneSimmetrica
is instance of
RelazioneNonRiflessiva
is instance of
is instance of
  connected engineering components  

Superrelation(s)

connected
is subrelation of
  connected engineering components  

Coordinate term(s)

back fn  front fn  attribute  before  connected  decreases likelihood  disjoint  during  earlier  finishes  graph part  greater than  in list  increases likelihood  independent probability  inhibits  interior part  larger  less than  manner  meets spatially  modal attribute  overlaps partially  overlaps spatially  overlaps temporally  path length  prevents  sibling  smaller  starts  sub collection  sub organizations  sub plan  sub proposition  successor attribute closure  superficial part 

Type restrictions

connectedEngineeringComponents(Meccanismo, Meccanismo)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (3)

Se comp1 é connesso a comp2, allora comp1 é un componente di comp2 e comp2 é un componente di comp1. 
(=>
      (connectedEngineeringComponents ?COMP1 ?COMP2)
      (and
            (not
                  (engineeringSubcomponent ?COMP1 ?COMP2))
            (not
                  (engineeringSubcomponent ?COMP2 ?COMP1))))
Se comp1 é connesso a comp2, allora comp1 é not un' istanza di MeccanismiDiConnessione e comp2 é not un' istanza di MeccanismiDiConnessione. 
(=>
      (connectedEngineeringComponents ?COMP1 ?COMP2)
      (not
            (or
                  (instance ?COMP1 EngineeringConnection)
                  (instance ?COMP2 EngineeringConnection))))
comp1 é connesso a comp2 se e solo se esiste connection tale che connection connette comp1 e comp2. 
(<=>
      (connectedEngineeringComponents ?COMP1 ?COMP2)
      (exists
            (?CONNECTION)
            (connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2)))