Skip to content

kind_of_person

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

Kind of Person

A class_of_person that is also a kind_of_party whose members are all of the same kind.

EXPRESS Specification

Diagram 23

Schema

ENTITY kind_of_person
  SUBTYPE OF(kind_of_party, class_of_person);
END_ENTITY;
Inheritance Graph 

ENTITY kind_of_person;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_physical_object;
  ENTITY class_of_state_of_ordinary_physical_object;
  ENTITY class_of_state_of_system;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_physical_object;
  ENTITY class_of_state_of_ordinary_physical_object;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_individual;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_physical_object;
  ENTITY class_of_physical_object;
  ENTITY class_of_ordinary_physical_object;
  ENTITY class_of_system;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_physical_object;
  ENTITY class_of_state_of_ordinary_physical_object;
  ENTITY class_of_state_of_system;
  ENTITY class_of_state_of_party;
  ENTITY class_of_party;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_physical_object;
  ENTITY class_of_state_of_ordinary_physical_object;
  ENTITY class_of_state_of_system;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_physical_object;
  ENTITY class_of_state_of_ordinary_physical_object;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_individual;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_physical_object;
  ENTITY class_of_physical_object;
  ENTITY class_of_ordinary_physical_object;
  ENTITY class_of_system;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_physical_object;
  ENTITY class_of_state_of_ordinary_physical_object;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_individual;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_physical_object;
  ENTITY class_of_physical_object;
  ENTITY class_of_ordinary_physical_object;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_individual;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_physical_object;
  ENTITY class_of_physical_object;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_individual;
  ENTITY kind_of_individual;
  ENTITY kind_of_physical_object;
  ENTITY kind_of_ordinary_physical_object;
  ENTITY kind_of_system;
    has_component_by_class : SET [1:?] OF kind_of_system_component;
  ENTITY kind_of_party;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_physical_object;
  ENTITY class_of_state_of_biological_object;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_physical_object;
  ENTITY class_of_state_of_ordinary_physical_object;
  ENTITY class_of_state_of_ordinary_biological_object;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_physical_object;
  ENTITY class_of_state_of_ordinary_physical_object;
  ENTITY class_of_state_of_system;
  ENTITY class_of_state_of_biological_system;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_physical_object;
  ENTITY class_of_state_of_biological_object;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_individual;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_physical_object;
  ENTITY class_of_physical_object;
  ENTITY class_of_biological_object;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_physical_object;
  ENTITY class_of_state_of_biological_object;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_physical_object;
  ENTITY class_of_state_of_ordinary_physical_object;
  ENTITY class_of_state_of_ordinary_biological_object;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_physical_object;
  ENTITY class_of_state_of_ordinary_physical_object;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_individual;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_physical_object;
  ENTITY class_of_physical_object;
  ENTITY class_of_ordinary_physical_object;
  ENTITY class_of_ordinary_biological_object;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_physical_object;
  ENTITY class_of_state_of_ordinary_physical_object;
  ENTITY class_of_state_of_system;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_physical_object;
  ENTITY class_of_state_of_ordinary_physical_object;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_individual;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_physical_object;
  ENTITY class_of_physical_object;
  ENTITY class_of_ordinary_physical_object;
  ENTITY class_of_system;
  ENTITY class_of_biological_system;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_physical_object;
  ENTITY class_of_state_of_biological_object;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_physical_object;
  ENTITY class_of_state_of_ordinary_physical_object;
  ENTITY class_of_state_of_ordinary_biological_object;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_physical_object;
  ENTITY class_of_state_of_ordinary_physical_object;
  ENTITY class_of_state_of_system;
  ENTITY class_of_state_of_biological_system;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_physical_object;
  ENTITY class_of_state_of_ordinary_physical_object;
  ENTITY class_of_state_of_system;
  ENTITY class_of_state_of_party;
  ENTITY class_of_state_of_person;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_physical_object;
  ENTITY class_of_state_of_ordinary_physical_object;
  ENTITY class_of_state_of_system;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_physical_object;
  ENTITY class_of_state_of_ordinary_physical_object;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_individual;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_physical_object;
  ENTITY class_of_physical_object;
  ENTITY class_of_ordinary_physical_object;
  ENTITY class_of_system;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_physical_object;
  ENTITY class_of_state_of_ordinary_physical_object;
  ENTITY class_of_state_of_system;
  ENTITY class_of_state_of_party;
  ENTITY class_of_party;
  ENTITY class_of_person;
  ENTITY kind_of_person;
END_ENTITY;
Clone this wiki locally