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

engineeringSubcomponent
subjectfact 
engineeringSubcomponentdocumentation (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 other2001-11-30 13:34:11.0
has axiom
(=>
(connectedEngineeringComponents ?COMP1 ?COMP2)
(and
(not
(engineeringSubcomponent ?COMP1 ?COMP2))
(not
(engineeringSubcomponent ?COMP2 ?COMP1))))
2001-11-30 13:34:11.0
has domain1 EngineeringComponent2001-11-30 13:34:11.0
has domain2 EngineeringComponent2001-11-30 13:34:11.0