![]() |
unparented > engineeringSubcomponent |
![]() ![]() | ||||
engineeringSubcomponent | ||||
subject | fact |
engineeringSubcomponent | documentation (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 | ![]() |
has axiom (=> | ![]() | |
has domain1 EngineeringComponent | ![]() | |
has domain2 EngineeringComponent | ![]() |