functional_system_component - hqdmTop/hqdmFramework GitHub Wiki
An
intentionally_constructed_objectthat is a replaceablecomponent_ofafunctional_system.
-
component_of: Acomponent_ofrelationship type where eachfunctional_system_componentis a component of exactly onefunctional_system. -
member_of: Amember_ofrelationship type where afunctional_system_componentmay be amember_ofone or moreclass_of_functional_system_component. -
member_of_kind: Amember_of_kindrelationship type where afunctional_system_componentis amember_ofat least onekind_of_functional_system_component.
ENTITY functional_system_component
SUBTYPE OF(functional_object, state_of_functional_system_component, system_component);
SELF\system_component.component_of : SET [1:1] OF functional_system;
SELF\functional_object.member_of : OPTIONAL SET [1:?] OF class_of_functional_system_component;
SELF\functional_object.member_of_kind : SET [1:?] OF kind_of_functional_system_component;
END_ENTITY;
Inheritance Graph
ENTITY functional_system_component;
ENTITY thing;
member__of : OPTIONAL SET [1:?] OF class;
ENTITY spatio_temporal_extent;
part__of : OPTIONAL SET [1:?] OF spatio_temporal_extent;
beginning : OPTIONAL event;
ending : OPTIONAL event;
part_of_possible_world : SET [1:?] OF possible_world;
temporal__part_of : OPTIONAL SET [1:?] OF spatio_temporal_extent;
aggregated_into : OPTIONAL SET [1:?] OF spatio_temporal_extent;
INVERSE
consists__of : SET OF spatio_temporal_extent FOR part__of;
ENTITY state;
ENTITY individual;
ENTITY thing;
member__of : OPTIONAL SET [1:?] OF class;
ENTITY spatio_temporal_extent;
part__of : OPTIONAL SET [1:?] OF spatio_temporal_extent;
beginning : OPTIONAL event;
ending : OPTIONAL event;
part_of_possible_world : SET [1:?] OF possible_world;
temporal__part_of : OPTIONAL SET [1:?] OF spatio_temporal_extent;
aggregated_into : OPTIONAL SET [1:?] OF spatio_temporal_extent;
INVERSE
consists__of : SET OF spatio_temporal_extent FOR part__of;
ENTITY state;
ENTITY state_of_intentionally_constructed_object;
ENTITY intentionally_constructed_object;
ENTITY thing;
member__of : OPTIONAL SET [1:?] OF class;
ENTITY spatio_temporal_extent;
part__of : OPTIONAL SET [1:?] OF spatio_temporal_extent;
beginning : OPTIONAL event;
ending : OPTIONAL event;
part_of_possible_world : SET [1:?] OF possible_world;
temporal__part_of : OPTIONAL SET [1:?] OF spatio_temporal_extent;
aggregated_into : OPTIONAL SET [1:?] OF spatio_temporal_extent;
INVERSE
consists__of : SET OF spatio_temporal_extent FOR part__of;
ENTITY state;
ENTITY state_of_intentionally_constructed_object;
ENTITY thing;
member__of : OPTIONAL SET [1:?] OF class;
ENTITY spatio_temporal_extent;
part__of : OPTIONAL SET [1:?] OF spatio_temporal_extent;
beginning : OPTIONAL event;
ending : OPTIONAL event;
part_of_possible_world : SET [1:?] OF possible_world;
temporal__part_of : OPTIONAL SET [1:?] OF spatio_temporal_extent;
aggregated_into : OPTIONAL SET [1:?] OF spatio_temporal_extent;
INVERSE
consists__of : SET OF spatio_temporal_extent FOR part__of;
ENTITY state;
ENTITY state_of_physical_object;
ENTITY state_of_functional_object;
ENTITY thing;
member__of : OPTIONAL SET [1:?] OF class;
ENTITY spatio_temporal_extent;
part__of : OPTIONAL SET [1:?] OF spatio_temporal_extent;
beginning : OPTIONAL event;
ending : OPTIONAL event;
part_of_possible_world : SET [1:?] OF possible_world;
temporal__part_of : OPTIONAL SET [1:?] OF spatio_temporal_extent;
aggregated_into : OPTIONAL SET [1:?] OF spatio_temporal_extent;
INVERSE
consists__of : SET OF spatio_temporal_extent FOR part__of;
ENTITY state;
ENTITY individual;
ENTITY thing;
member__of : OPTIONAL SET [1:?] OF class;
ENTITY spatio_temporal_extent;
part__of : OPTIONAL SET [1:?] OF spatio_temporal_extent;
beginning : OPTIONAL event;
ending : OPTIONAL event;
part_of_possible_world : SET [1:?] OF possible_world;
temporal__part_of : OPTIONAL SET [1:?] OF spatio_temporal_extent;
aggregated_into : OPTIONAL SET [1:?] OF spatio_temporal_extent;
INVERSE
consists__of : SET OF spatio_temporal_extent FOR part__of;
ENTITY state;
ENTITY state_of_physical_object;
ENTITY physical_object;
member_of_kind : OPTIONAL SET [1:?] OF kind_of_physical_object;
ENTITY functional_object;
intended_role : SET [1:?] OF role;
ENTITY thing;
member__of : OPTIONAL SET [1:?] OF class;
ENTITY spatio_temporal_extent;
part__of : OPTIONAL SET [1:?] OF spatio_temporal_extent;
beginning : OPTIONAL event;
ending : OPTIONAL event;
part_of_possible_world : SET [1:?] OF possible_world;
temporal__part_of : OPTIONAL SET [1:?] OF spatio_temporal_extent;
aggregated_into : OPTIONAL SET [1:?] OF spatio_temporal_extent;
INVERSE
consists__of : SET OF spatio_temporal_extent FOR part__of;
ENTITY state;
ENTITY state_of_intentionally_constructed_object;
ENTITY thing;
member__of : OPTIONAL SET [1:?] OF class;
ENTITY spatio_temporal_extent;
part__of : OPTIONAL SET [1:?] OF spatio_temporal_extent;
beginning : OPTIONAL event;
ending : OPTIONAL event;
part_of_possible_world : SET [1:?] OF possible_world;
temporal__part_of : OPTIONAL SET [1:?] OF spatio_temporal_extent;
aggregated_into : OPTIONAL SET [1:?] OF spatio_temporal_extent;
INVERSE
consists__of : SET OF spatio_temporal_extent FOR part__of;
ENTITY state;
ENTITY state_of_physical_object;
ENTITY state_of_functional_object;
ENTITY thing;
member__of : OPTIONAL SET [1:?] OF class;
ENTITY spatio_temporal_extent;
part__of : OPTIONAL SET [1:?] OF spatio_temporal_extent;
beginning : OPTIONAL event;
ending : OPTIONAL event;
part_of_possible_world : SET [1:?] OF possible_world;
temporal__part_of : OPTIONAL SET [1:?] OF spatio_temporal_extent;
aggregated_into : OPTIONAL SET [1:?] OF spatio_temporal_extent;
INVERSE
consists__of : SET OF spatio_temporal_extent FOR part__of;
ENTITY state;
ENTITY state_of_physical_object;
ENTITY state_of_system_component;
temporal_part_of : OPTIONAL SET [1:?] OF system_component;
member_of : OPTIONAL SET [1:?] OF class_of_state_of_system_component;
ENTITY state_of_functional_system_component;
temporal_part_of : OPTIONAL SET [1:?] OF functional_system_component;
member_of : OPTIONAL SET [1:?] OF class_of_state_of_functional_system_component;
ENTITY thing;
member__of : OPTIONAL SET [1:?] OF class;
ENTITY spatio_temporal_extent;
part__of : OPTIONAL SET [1:?] OF spatio_temporal_extent;
beginning : OPTIONAL event;
ending : OPTIONAL event;
part_of_possible_world : SET [1:?] OF possible_world;
temporal__part_of : OPTIONAL SET [1:?] OF spatio_temporal_extent;
aggregated_into : OPTIONAL SET [1:?] OF spatio_temporal_extent;
INVERSE
consists__of : SET OF spatio_temporal_extent FOR part__of;
ENTITY state;
ENTITY individual;
ENTITY thing;
member__of : OPTIONAL SET [1:?] OF class;
ENTITY spatio_temporal_extent;
part__of : OPTIONAL SET [1:?] OF spatio_temporal_extent;
beginning : OPTIONAL event;
ending : OPTIONAL event;
part_of_possible_world : SET [1:?] OF possible_world;
temporal__part_of : OPTIONAL SET [1:?] OF spatio_temporal_extent;
aggregated_into : OPTIONAL SET [1:?] OF spatio_temporal_extent;
INVERSE
consists__of : SET OF spatio_temporal_extent FOR part__of;
ENTITY state;
ENTITY state_of_physical_object;
ENTITY physical_object;
member_of_kind : OPTIONAL SET [1:?] OF kind_of_physical_object;
ENTITY thing;
member__of : OPTIONAL SET [1:?] OF class;
ENTITY spatio_temporal_extent;
part__of : OPTIONAL SET [1:?] OF spatio_temporal_extent;
beginning : OPTIONAL event;
ending : OPTIONAL event;
part_of_possible_world : SET [1:?] OF possible_world;
temporal__part_of : OPTIONAL SET [1:?] OF spatio_temporal_extent;
aggregated_into : OPTIONAL SET [1:?] OF spatio_temporal_extent;
INVERSE
consists__of : SET OF spatio_temporal_extent FOR part__of;
ENTITY state;
ENTITY state_of_physical_object;
ENTITY state_of_system_component;
temporal_part_of : OPTIONAL SET [1:?] OF system_component;
member_of : OPTIONAL SET [1:?] OF class_of_state_of_system_component;
ENTITY system_component;
member_of : OPTIONAL SET [1:?] OF class_of_system_component;
ENTITY functional_system_component;
component_of : SET [1:1] OF functional_system;
member_of : OPTIONAL SET [1:?] OF class_of_functional_system_component;
member_of_kind : SET [1:?] OF kind_of_functional_system_component;
END_ENTITY;