plan

Plan

A possible_world that some party would like to bring about.

EXPRESS Specification

Schema

ENTITY plan
  SUBTYPE OF(possible_world);
END_ENTITY;

Inheritance Graph

ENTITY plan;
  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;
    temporal_part_of       : OPTIONAL SET [1:?] OF individual;
  ENTITY individual;
    member_of_kind         : OPTIONAL SET [1:?] OF kind_of_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;
    temporal_part_of       : OPTIONAL SET [1:?] OF individual;
  ENTITY period_of_time;
    temporal_part_of_      : OPTIONAL SET [1:?] OF possible_world;
    member_of              : OPTIONAL SET [1:?] OF class_of_period_of_time;
  ENTITY possible_world;
    member_of              : OPTIONAL SET [1:?] OF class_of_possible_world;
  ENTITY plan;
END_ENTITY;