class

Class

An abstract_object that has members and whose identity is defined by its membership.

Attributes

• member__of: A member_of relationship type where a class may be a member_of one or more class_of_class.
• has_superclass: A relationship type where each member_of the class is a member_of the superclass.

Subtypes

• class_of_abstract_object
• class_of_spatio_temporal_extent
• enumerated_class

EXPRESS Specification

Schema

ENTITY class
  SUPERTYPE OF (ONEOF(class_of_spatio_temporal_extent, class_of_abstract_object) ANDOR enumerated_class)
  SUBTYPE OF(abstract_object);
    member_of      : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass : OPTIONAL SET [1:?] OF class;
END_ENTITY;

Inheritance Graph

ENTITY class;
  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;
END_ENTITY;