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

engineering subcomponent (engineeringSubcomponent)

(engineeringSubcomponent sub super) means that the EngineeringComponent sub is structurally a properPart super. This relation is an AsymmetricRelation, since two EngineeringComponents cannot be subcomponents of each other.

Ontology

SUMO / OBJECTS

Superrelation(s)

partly located
is subrelation of
  located  
is subrelation of
  part  
is subrelation of
  proper part  
is subrelation of
  engineering subcomponent  

Type restrictions

engineeringSubcomponent(engineering component, engineering component)

Axioms (1)

If comp1 is connected to comp2, then comp1 is a component of comp2 and comp2 is a component of comp1. 
(=>
      (connectedEngineeringComponents ?COMP1 ?COMP2)
      (and
            (not
                  (engineeringSubcomponent ?COMP1 ?COMP2))
            (not
                  (engineeringSubcomponent ?COMP2 ?COMP1))))