SUMO   View all facts   Glossary   Help
unparented > engineeringSubcomponent
Next unparentedexactlyLocated    Upunparented    Previous unparentedemploys   

engineeringSubcomponent comparison table
Subject documentation have domain2 have domain1 have axiom
unparented    
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 otherEngineeringComponentEngineeringComponent
(=>
(connectedEngineeringComponents ?COMP1 ?COMP2)
(and
(not
(engineeringSubcomponent ?COMP1 ?COMP2))
(not
(engineeringSubcomponent ?COMP2 ?COMP1))))

Next unparentedexactlyLocated    Upunparented    Previous unparentedemploys