Skip to content

functional_object

Jump to bottom
GCHQDeveloper42 edited this page Mar 27, 2023 · 5 revisions

Functional Object

An intentionally_constructed_object that is also a physical_object that has an intended_role.

Attributes

  • member_of: A member_of relationship type where a functional_object may be a member_of one or more class_of_functional_object.
  • intended_role: A relationship type where a functional_object has one or more intended role(s).
  • member_of_kind: A member_of_kind relationship type where a functional_object may be a member_of one or more kind_of_functional_object.

Subtypes

EXPRESS Specification

Diagram 26

Schema

ENTITY functional_object
  SUBTYPE OF(intentionally_constructed_object, state_of_functional_object, physical_object);
    SELF\intentionally_constructed_object.member_of      : OPTIONAL SET [1:?] OF class_of_functional_object;
    intended_role                                        : SET [1:?] OF role;
    SELF\intentionally_constructed_object.member_of_kind : OPTIONAL SET [1:?] OF kind_of_functional_object;
END_ENTITY;
Inheritance Graph 

ENTITY 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_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;
    temporal_part_of       : OPTIONAL SET [1:?] OF physical_object;
    member_of              : OPTIONAL SET [1:?] OF class_of_state_of_physical_object;
  ENTITY state_of_functional_object;
    temporal_part_of       : OPTIONAL SET [1:?] OF functional_object;
    member_of              : OPTIONAL SET [1:?] OF class_of_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;
    temporal_part_of       : OPTIONAL SET [1:?] OF physical_object;
    member_of              : OPTIONAL SET [1:?] OF class_of_state_of_physical_object;
  ENTITY physical_object;
    member_of              : OPTIONAL SET [1:?] OF class_of_physical_object;
    member_of_kind         : OPTIONAL SET [1:?] OF kind_of_physical_object;
  ENTITY functional_object;
    member_of              : OPTIONAL SET [1:?] OF class_of_functional_object;
    intended_role          : SET [1:?] OF role;
    member_of_kind         : OPTIONAL SET [1:?] OF kind_of_functional_object;
END_ENTITY;
Clone this wiki locally