![]() |
unparented > engineeringSubcomponent |
![]() ![]() | ||||
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 other | EngineeringComponent | EngineeringComponent | (=> |
Next unparented: exactlyLocated Up: unparented Previous unparented: employs