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

abhiyaantrikI sanyojana (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]
astitva
is subclass of
  bhOtika vaswu  
is subclass of
  object  
is subclass of
  aatmasambaddha vastu  
is subclass of
  kaNikaa sambandhI padaartha  
is subclass of
  shilpakriti  
is subclass of
  saadhana  
is subclass of
  abhiyaantrikI ghataka  
is subclass of
  abhiyaantrikI sanyojana  

Constrains relations

connects engineering components 

Axioms (2)

Agar comp1 is connected to comp2, to comp1 is not an instance of abhiyaantrikI sanyojana aur comp2 is not an instance of abhiyaantrikI sanyojana. 
(=>
      (connectedEngineeringComponents ?COMP1 ?COMP2)
      (not
            (or
                  (instance ?COMP1 EngineeringConnection)
                  (instance ?COMP2 EngineeringConnection))))
Agar connection is an instance of abhiyaantrikI sanyojana, to yah kuch comp1,comp2 nahin, ki connection connects comp1 and comp2. 
(=>
      (instance ?CONNECTION EngineeringConnection)
      (exists
            (?COMP1 ?COMP2)
            (connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2)))