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

MeccanismiDiConnessione (EngineeringConnection)

An EngineeringConnection is an EngineeringComponent that represents a connection relationship between two other EngineeringComponents. It is a reification of the Predicate connectedEngineeringComponents. That means that whenever this Predicate holds between two EngineeringComponents, there exists an EngineeringConnection. The practical reason for reifying a relationship is to be able to attach other information about it. For example, one might want to say that a particular connection is associated with some shared parameters, or that it is of a particular type. EngineeringConnections are EngineeringComponents and can therefore be an engineeringSubcomponent of other EngineeringComponents. However, to provide for modular regularity in component systems, EngineeringConnections cannot be connected. For each pair of EngineeringComponents related by connectedEngineeringComponents, there exists at least one EngineeringConnection. However, that object may not be unique, and the same EngineeringConnection may be associated with several pairs of EngineeringComponents.

Ontology

SUMO / OBJECTS

Superclass(es)

[tree]
Entitá
is subclass of
  EntitáConcreta  
is subclass of
  Oggetto  
is subclass of
  OggettoIntegro  
is subclass of
  OggettoCorpuscolare  
is subclass of
  Manufatto  
is subclass of
  Dispositivo  
is subclass of
  Meccanismo  
is subclass of
  MeccanismiDiConnessione  

Constrains relations

connects engineering components 

Axioms (2)

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))))
Se connection é un' istanza di MeccanismiDiConnessione, allora esiste comp1,comp2 tale che connection connette comp1 e comp2. 
(=>
      (instance ?CONNECTION EngineeringConnection)
      (exists
            (?COMP1 ?COMP2)
            (connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2)))