SCHEMA lifecycle_integration_schema;
(*
Introduction

This clause documents the schema supporting life-cycle integration. The
documentation is divided into a number of subclauses. This division into
subclauses is presentational in nature only. The subject areas described in each
subclause are not separate or separable schemas.

NOTE	A listing of the complete EXPRESS schema specified in this part of ISO
15926, without comments or other explanatory text, is available from the
Internet - see Annex C.

Schema definition

The following EXPRESS declaration begins the <lifecycle_integration_schema>.
*)

(*
<thing>
A <thing> is anything that is or may be thought about or perceived, including
material and non-material objects, ideas, and actions. 
Every <thing> is either a <possible_individual>, or an <abstract_object>.
NOTE 1	Every <thing> is identifiable within a system. System identifiers
created by other systems and received as part of a data exchange may be stored
for future reference as an identification, referring to the originating
organisation or system.
NOTE 2	Every example provided for other entity data types declared in this
schema is also an example of <thing>.
*)
  ENTITY thing
    ABSTRACT SUPERTYPE OF (ONEOF(possible_individual, abstract_object));
      id                       : STRING;
      record_copy_created      : OPTIONAL representation_of_Gregorian_date_and_UTC_time;
      record_created           : OPTIONAL representation_of_Gregorian_date_and_UTC_time;
      record_creator           : OPTIONAL possible_individual;
      record_logically_deleted : OPTIONAL representation_of_Gregorian_date_and_UTC_time;
      why_deleted              : OPTIONAL class_of_information_representation;
    UNIQUE
      UR1 : id;
  END_ENTITY;
(*
*Attribute definitions*
<id>
An identifier of the <thing> for the purposes of record management within a
system.

<record_copy_created>
The date and time when this copy of the record was created in the current
system. This attribute shall have a value only when the current system is not
the originating system.

<record_created>
The date and time on which this record was first created in its originating
system.

<record_creator>
The person, organisation or system that first created this record in the
originating system.

<record_logically_deleted>
The date and time that this record was logically deleted.

<why_deleted>
The reason why the record was logically deleted.

NOTE:	Logical deletion means that whilst the record is still available in the
system as a matter of historical record, it is no longer considered a valid
statement. That is to say it is considered that it was never true.
*)

(*
<possible_individual>
A <possible_individual> is a <thing> that exists in space and time. This
includes:
- things where any of the space time dimensions are vanishingly small, 
- those that are either all space for any time, or all time and any space, 
- the entirety of all space time 
- things that actually exist, or have existed, 
- things that are fictional or conjectured and possibly exist in the past,
present or future,
- temporal parts (states) of other individuals,
- things that have a specific position, but zero extent in one or more
dimensions, such as points, lines, and surfaces.
In this context existence is based upon being imaginable within some consistent
logic, including actual, hypothetical, planned, expected, or required
individuals.
EXAMPLE	The pump with serial number ABC123, Battersea Power Station, Sir Joseph
Whitworth, Shakespeare, and the starship "Enterprise" can be represented by
instances of <possible_individual>.
*)
  ENTITY possible_individual
    SUBTYPE OF(thing);
  END_ENTITY;

(*
<arranged_individual>
An <arranged_individual> is a <possible_individual> that has parts that play
distinct roles with respect to the whole. The qualities of an
<arranged_individual> are distinct from the qualities of its parts.
EXAMPLE 1	The vessel with serial number V-1234 is an <arranged_individual>.
EXAMPLE 2	The company Bloggs & Co. is an <arranged_individual>.
EXAMPLE 3	A laptop computer that consists of the main unit with its removable
CD-ROM and floppy disk drives and power supply cables is an
<arranged_individual>.
*)
  ENTITY arranged_individual
    SUBTYPE OF(possible_individual);
  END_ENTITY;

(*
<event>
An <event> is a <possible_individual> with zero extent in time. An <event> is
the temporal boundary of one or more <possible_individual>s, although there may
be no knowledge of these <possible_individual>s.
EXAMPLE	The connection of power to a pump is an event that marks the beginning
of a temporal part of that pump.
*)
  ENTITY event
    SUBTYPE OF(possible_individual);
  END_ENTITY;

(*
<point_in_time>
A <point_in_time> is an <event> that is the whole space extension with zero
extent in time.
NOTE 	In using this part of ISO15926, a <point_in_time> should be represented
by a <UTC_representation_of_time>.
EXAMPLE	The time known as UTC 1999-05-13T16:31:23.56 is a <point_in_time>.
*)
  ENTITY point_in_time
    SUBTYPE OF(event);
  END_ENTITY;

(*
<period_in_time>
A <period_in_time> is a <possible_individual> that is all space for part of
time - a temporal part of the universe.
EXAMPLE 1	July 2000 is an instance of <period_in_time>.
EXAMPLE 2	The period described by UTC 2000-11-21T06:00 to UTC 2000-11-21T11:53
is an instance of <period_in_time> compliant with ISO8601.
*)
  ENTITY period_in_time
    SUBTYPE OF(possible_individual);
  END_ENTITY;

(*
<physical_object>
A <physical_object> is a <possible_individual> that is a distribution of
matter, energy, or both. 
EXAMPLE 1	A piece of metal is a <physical_object>.
EXAMPLE 2	A tree is a <physical_object>
EXAMPLE 3	The thing identified by tag P101 is a <physical_object>.
EXAMPLE 4	A light beam is a <physical_object>.
EXAMPLE 5	A tank that is built and dismantled on site is both a
<materialized_physical_object> and  a <functional_physical_object>.
*)
  ENTITY physical_object
    SUBTYPE OF(possible_individual);
  END_ENTITY;

(*
<materialized_physical_object>
A <materialized_physical_object> is a <physical_object> that has matter and/or
energy continuity as its basis for identity. Matter or energy continuity
requires some matter or energy to be common to adjacent temporal parts of the
<materialized_physical_object>. Replacement of some components from time to time
does not create a new identity.
EXAMPLE	The shell and tube heat exchanger with manufacturer's serial number
ES/1234 can be represented by an instance of <materialized_physical_object>.
*)
  ENTITY materialized_physical_object
    SUBTYPE OF(physical_object);
  END_ENTITY;

(*
<functional_physical_object>
A <functional_physical_object> is a <physical_object> that has functional,
rather than material, continuity as its basis for identity. Adjacent temporal
parts of a <functional_physical_object> need not have common matter or energy,
provided the matter or energy of each temporal part fulfils the same function.
EXAMPLE	The heat exchanger system known as tag E-4507, which is part of a
distillate transfer system, can be represented by an instance of
<functional_physical_object>. Note that this is distinct from the "shell and
tube heat exchanger manufacture number ES/1234" that was installed as E-4507
when the plant was first built and later removed when worn out, to be replaced
by a new heat exchanger with different serial number. "Shell and tube heat
exchanger manufacture number ES/1234" and its differently numbered replacement
can be represented by instances of <materialized_physical_object>. When ES/1234
is installed as E-4507 there is a temporal part of ES/1234 that is also a
temporal part of E-4507.
*)
  ENTITY functional_physical_object
    SUBTYPE OF(physical_object);
  END_ENTITY;

(*
<stream>
A <stream> is a <physical_object> that is material or energy moving along a
path, where the path is the basis of identity and may be constrained. The stream
consists of the temporal parts of those things that are in the stream whilst
they are in it.
EXAMPLE	Flux is a 4D-constrained case of <stream> where the path crosses a
surface.
EXAMPLE	The naphtha flowing in a pipe between a crude distillation unit and a
platformer is a <stream>.
*)
  ENTITY stream
    SUBTYPE OF(physical_object);
  END_ENTITY;

(*
<spatial_location>
A <spatial_location> is a <physical_object> that has continuity of relative
position.
EXAMPLE	Geographic datum, license block, construction area, country, air
corridor, maritime traffic zone, hazard control zone, 4D points, lines, planes,
solids.
*)
  ENTITY spatial_location
    SUBTYPE OF(physical_object);
  END_ENTITY;

(*
<activity>
An <activity> is a <possible_individual> that brings about change by causing
the <event> that marks the <beginning>, or the <event> that marks the <ending>
of a <possible_individual>.
An activity consists of the temporal parts of those members of
<possible_individual> that participate in the activity. The participating
temporal parts will be classified by the <participating_role_and_domain> that
indicates the role of the temporal part in the <activity>.
EXAMPLE	Pumping a fluid with a mechanical pump can be represented by an
instance of <activity>.
*)
  ENTITY activity
    SUBTYPE OF(possible_individual);
  END_ENTITY;

(*
<actual_individual>
An <actual_individual> is a <possible_individual> that is a part of the
space-time continuum that we inhabit. It exists in the present, past, or future
of our universe, as opposed to some imagined universe.
NOTE	The things we plan can usually only be assumed to be part of some imagined
universe, until they come about.
EXAMPLE 1	The Eiffel Tower is an <actual_individual>.
EXAMPLE 2	The computer used to edit this part of ISO 15926 is an
<actual_individual>.
EXAMPLE 3	The fictional character, Sherlock Holmes, is a <possible_individual>
who is not an <actual_individual>.
EXAMPLE 4	The Earth in the year 2300 (assuming it still exists) is an
<actual_individual>.
*)
  ENTITY actual_individual
    SUBTYPE OF(possible_individual);
  END_ENTITY;

(*
<whole_life_individual>
A <whole_life_individual> is a <possible_individual> that is a member of a
<class_of_individual>, and is not a temporal part of any other
<possible_individual> that is also a member of the same <class_of_individual>. A
<whole_life_individual> includes its past and future. 
NOTE	A possible future temporal part of the <whole_life_individual> is a
<possible_individual> that is related to the <whole_life_individual> by a
<temporal_whole_part> relation.
EXAMPLE 1	A plastic cup (bounded by its creation and destruction <event>s) can
be represented by an instance of <whole_life_individual>. The cup whilst it
stands on this table is a temporal part of this <whole_life_individual>.
EXAMPLE 2	The universe for all time is a <whole_life_individual>.
*)
  ENTITY whole_life_individual
    SUBTYPE OF(possible_individual);
  END_ENTITY;

(*
<abstract_object>
An <abstract_object> is a <thing> that does not exist in space-time.
*)
  ENTITY abstract_object
    ABSTRACT SUPERTYPE
    SUBTYPE OF(thing);
  END_ENTITY;

(*
<class>
A <class> is a <thing> that is an understanding of the nature of things and
that divides things into those which are members of the class and those which
are not according to one or more criteria.

The identity of a <class> is ultimately defined by its members. No two classes
have the same membership. However, a distinction must be made between a <class>
having members, and those members being known, so within an information system
the members recorded may change over time, even though the true membership does
not change.

NOTE 1	The membership of a <class> is unchanging as a result of the
spatio-temporal paradigm upon which this schema is based. In another paradigm it
might be stated that a car is red at one time, and green at another time,
indicating that the class of red things and class of green things changed
members. However, using a spatio-temporal paradigm, a temporal part, state 1, of
the car is red, and another temporal part of the car, state 2, is green. In this
way the members of the classes red and green are unchanging. The same principle
applies to future temporal parts as to past temporal parts, it is just more
likely that the membership of these is not known.

A class may be a member of another class or itself.

NOTE 2  The set theory that applies to classes in this model is non-wellfounded
set theory [3]. This permits statements like "class is a member of class",
unlike traditional set theories such as Zermelo-Fraenkel set theory found in
standard texts [4].

There is a null <class> that has no members.

NOTE 3	The known members of a <class> are identified by <classification>.

EXAMPLE 1	Centrifugal pump is a <class>.

EXAMPLE 2	Mechanical equipment type is a <class>.

EXAMPLE 3	Temperature is a <class>.

EXAMPLE 4	Commercial fusion reactor is a <class>.

NOTE 4	Although there is only one <class> that has no members, there can be a
<class> that has no members in the actual world, but which does have members in
other possible worlds.

EXAMPLE 5	Centigrade scale is a <class>.

BIBLIOGRAPHY

[3]	ACZEL, Peter. Non-Well-Founded Sets, Center for the Study of
Language and Information, Stanford, California, 1988, ISBN 0937073229.
[4]	ITÔ, K. (editor). Encyclopedic Dictionary of Mathematics,
Mathematical Society of Japan, Edition 2, Cambridge, Massachusetts, MIT
Press, 1993, ISBN 0262590204.

*)
  ENTITY class
    SUPERTYPE OF (role_and_domain ANDOR cardinality ANDOR ONEOF(class_of_individual, class_of_abstract_object))
    SUBTYPE OF(abstract_object);
  END_ENTITY;

(*
<role_and_domain>
A <role_and_domain> is a <class> that specifies the domain and role  for an end
of a <class_of_relationship> or <class_of_multidimensional_object>.
NOTE	A <role_and_domain> is analogous to specifying an EXPRESS attribute or its
inverse.
EXAMPLE	"Husband and man" and "wife and woman" are examples of
<role_and_domain>.
*)
  ENTITY role_and_domain
    SUBTYPE OF(class);
  END_ENTITY;

(*
<role>
A <role> is a <role_and_domain> that indicates what some thing has to do with
an <activity>, <relationship>, or <multidimensional_object>.
EXAMPLE 1	Employee is a <role> that indicates what a temporal part of a person
has to do with an employment relation.
EXAMPLE 2	Pumper is a <role> that indicates what a temporal part of a pump has
to do with a pumping activity.
*)
  ENTITY role
    SUBTYPE OF(role_and_domain);
  END_ENTITY;

(*
<participating_role_and_domain>
A <participating_role_and_domain> is a <role_and_domain> that is also a
<class_of_individual> that indicates a participating role in an <activity>.
EXAMPLE	Performer and pumper are examples of <participating_role_and_domain>.
*)
  ENTITY participating_role_and_domain
    SUBTYPE OF(role_and_domain, class_of_individual);
  END_ENTITY;

(*
<class_of_individual>
A <class_of_individual> is a class whose members are instances of
<possible_individual>.
EXAMPLE	The class known as 'engineer', whose members are people qualified or
skilled in engineering principles and practices can be represented by an
instance of <class_of_individual>.
*)
  ENTITY class_of_individual
    SUPERTYPE OF (ONEOF(class_of_event, class_of_arranged_individual, property, status, class_of_period_in_time, individual_dimension) ANDOR participating_role_and_domain)
    SUBTYPE OF(class);
  END_ENTITY;

(*
<class_of_event>
A <class_of_event> is a <class_of_individual> whose members are members of
<event>.
EXAMPLE	Continuous and instantaneous are instances of <class_of_event>. A
continuous event is one such as a stream boundary flowing through a pipe.
*)
  ENTITY class_of_event
    SUBTYPE OF(class_of_individual);
  END_ENTITY;

(*
<class_of_point_in_time>
A <class_of_point_in_time> is a <class_of_event> whose members are members of
<point_in_time>. 
EXAMPLE	Midnight is a <class_of_point_in_time>
*)
  ENTITY class_of_point_in_time
    SUBTYPE OF(class_of_event);
  END_ENTITY;

(*
<class_of_arranged_individual>
A <class_of_arranged_individual> is a <class_of_individual> whose members are
an arrangement of components.
EXAMPLE	Robocop is a <class_of_arranged_individual> that has some parts that
are members of some <class_of_inanimate_physical_object> and parts that are
members of some <class_of_organism>.
NOTE 1	The ONEOF constraint on some of the subtypes does not prevent a
particular <possible_individual> from being, say, a member of a particular
<arranged_individual> classified by <class_of_biological_matter> and a member of
a particular <class_of_composite_material>. It is only the classes themselves
that are not members of more than one of the entity types.
NOTE 2	Specifications or descriptions of useful objects are often intersections
of several arrangement classes, allowing both shape and material aspects to be
constrained. In this part of ISO 15926, such intersections are members of
<class_of_arranged_individual>, <class_of_feature>,
<class_of_inanimate_physical_object>, <class_of_organization>,
<class_of_activity>, <class_of_organism>, or <class_of_information_object>.
*)
  ENTITY class_of_arranged_individual
    SUPERTYPE OF (ONEOF(class_of_atom, phase, class_of_biological_matter, class_of_functional_object, class_of_compound, class_of_molecule, class_of_composite_material, crystalline_structure, class_of_sub_atomic_particle, class_of_information_presentation, class_of_information_representation, class_of_particulate_material) ANDOR class_of_organization ANDOR class_of_activity ANDOR class_of_information_object ANDOR class_of_feature ANDOR ONEOF(class_of_organism, class_of_inanimate_physical_object))
    SUBTYPE OF(class_of_individual);
  END_ENTITY;

(*
<class_of_atom>
A <class_of_atom> is a <class_of_arranged_individual> whose members are atoms.
EXAMPLE	All entries in the periodic table of elements can be represented by
instances of <class_of_atom>.
*)
  ENTITY class_of_atom
    SUBTYPE OF(class_of_arranged_individual);
  END_ENTITY;

(*
<phase>
A <phase> is a <class_of_arranged_individual> based on the nature of the
boundary behaviour of material resulting from its atomic and molecular bonding.
NOTE	<phase> excludes types of internal structure such as crystalline. 
EXAMPLE	The classes known as 'liquid' and 'solid' can be represented by
instances of <phase>.
*)
  ENTITY phase
    SUBTYPE OF(class_of_arranged_individual);
  END_ENTITY;

(*
<class_of_biological_matter>
A <class_of_biological_matter> is a <class_of_arranged_individual> whose
members are particular types of cell or aggregations of cells.
EXAMPLE	The classes known as 'blood', 'enzyme', and 'plasma' can be represented
by instances of <class_of_biological_matter>.
*)
  ENTITY class_of_biological_matter
    SUBTYPE OF(class_of_arranged_individual);
  END_ENTITY;

(*
<class_of_functional_object>
A <class_of_functional_object> is a <class_of_arranged_individual> that
indicates the function or purpose of an object.
EXAMPLE	Pump, valve, and car are examples of <class_of_functional_object>.
Particular models of pump, valve, car, etc are instances of
<class_of_inanimate_physical_object> that are specializations of these instances
of <class_of_functional_object>.
*)
  ENTITY class_of_functional_object
    SUBTYPE OF(class_of_arranged_individual);
  END_ENTITY;

(*
<class_of_compound>
A <class_of_compound> is a <class_of_arranged_individual> whose members consist
of arrangements of molecules of the same or different types, bound together by
intermolecular forces. This includes both mixtures and alloys.
EXAMPLE	Water, sulphuric acid, sand, limestone, and steel can be represented by
instances of <class_of_compound>.
*)
  ENTITY class_of_compound
    SUBTYPE OF(class_of_arranged_individual);
  END_ENTITY;

(*
<class_of_molecule>
A <class_of_molecule> is a <class_of_arranged_individual> whose members are
molecules.
EXAMPLE	H2O, H2SO4, and DNA can be represented by instances of
<class_of_molecule>.
*)
  ENTITY class_of_molecule
    SUBTYPE OF(class_of_arranged_individual);
  END_ENTITY;

(*
<class_of_composite_material>
A <class_of_composite_material> is a <class_of_arranged_individual> whose
members have a common arrangement of separable compounds.
EXAMPLE 1	Laminates such as plywood, fibreglass, and carbon fibre can be
represented by instances of <class_of_composite_material>.
EXAMPLE 2	Wood, muscle, and skin can be represented by instances of
<class_of_composite_material>.
*)
  ENTITY class_of_composite_material
    SUBTYPE OF(class_of_arranged_individual);
  END_ENTITY;

(*
<crystalline_structure>
A <crystalline_structure> is a <class_of_arranged_individual> that is a form in
which many simple elements and their natural compounds regularly aggregate by
the operation of natural affinity: it has a definite internal structure, with
the external form of a solid enclosed by a number of symmetrically arranged
plane faces, and varying in simplicity from the cube to much more complicated
geometric bodies.
EXAMPLE	Ferritic, martensitic, and austenitic are examples of
<crystalline_structure>.
*)
  ENTITY crystalline_structure
    SUBTYPE OF(class_of_arranged_individual);
  END_ENTITY;

(*
<class_of_sub_atomic_particle>
A <class_of_sub_atomic_particle> is a <class_of_arranged_individual> whose
members are constituent particles of atoms.
EXAMPLE	Proton, electron, meson, neutron, positron, muon, quark, and neutrino
can be represented by instances of <class_of_sub_atomic_particle>.
*)
  ENTITY class_of_sub_atomic_particle
    SUBTYPE OF(class_of_arranged_individual);
  END_ENTITY;

(*
<class_of_information_presentation>
A <class_of_information_presentation> is a <class_of_arranged_individual> that
distinguishes styles for presenting information. 
EXAMPLE	The character styles bold, italic, Times New Roman, and 16pt can be
represented as instances of <class_of_information_presentation>.
*)
  ENTITY class_of_information_presentation
    SUBTYPE OF(class_of_arranged_individual);
  END_ENTITY;

(*
<class_of_information_representation>
A <class_of_information_representation> is a  <class_of_arranged_individual>
that defines a pattern that represents information.
EXAMPLE	The texts formed with the pattern of characters 's' concatenated with
'u' concatenated with 'n' are members of the 'sun'
<class_of_information_representation>.
*)
  ENTITY class_of_information_representation
    SUPERTYPE OF (ONEOF(class_of_EXPRESS_information_representation, representation_of_Gregorian_date_and_UTC_time))
    SUBTYPE OF(class_of_arranged_individual);
  END_ENTITY;

(*
<class_of_EXPRESS_information_representation>
A <class_of_EXPRESS_information_representation> is a
<class_of_information_representation> that is defined by ISO 10303-11.
*)
  ENTITY class_of_EXPRESS_information_representation
    ABSTRACT SUPERTYPE OF (ONEOF(EXPRESS_string, EXPRESS_integer, EXPRESS_real, EXPRESS_logical, EXPRESS_Boolean, EXPRESS_binary))
    SUBTYPE OF(class_of_information_representation);
  END_ENTITY;

(*
<EXPRESS_string>
An <EXPRESS_string> is a <class_of_EXPRESS_information_representation> that
represents a string as defined in ISO 10303-11:1994, 8.1.6.
NOTE	The UNIQUE rule ensures that any value is only held once.
*)
  ENTITY EXPRESS_string
    SUBTYPE OF(class_of_EXPRESS_information_representation);
      content : STRING;
    UNIQUE
      rule_1 : content;
  END_ENTITY;
(*
*Attribute definitions*
<content>
The value of the <EXPRESS_string>
*)

(*
<EXPRESS_integer>
An <EXPRESS_integer> is a <class_of_EXPRESS_information_representation> that
represents an integer number as defined in ISO 10303-11:1994, 8.1.3.
NOTE	The UNIQUE rule ensures that any value is only held once.
*)
  ENTITY EXPRESS_integer
    SUBTYPE OF(class_of_EXPRESS_information_representation);
      content : INTEGER;
    UNIQUE
      rule_1 : content;
  END_ENTITY;
(*
*Attribute definitions*
<content>
The value of the <EXPRESS_integer>
*)

(*
<EXPRESS_real>
An <EXPRESS_real> is a <class_of_EXPRESS_information_representation> that
represents a real number as defined in ISO 10303-11:1994, 8.1.2.
NOTE	The UNIQUE rule ensures that any value is only held once.
*)
  ENTITY EXPRESS_real
    SUBTYPE OF(class_of_EXPRESS_information_representation);
      content : REAL;
    UNIQUE
      rule_1 : content;
  END_ENTITY;
(*
*Attribute definitions*
<content>
The value of the <EXPRESS_real>
*)

(*
<EXPRESS_logical>
An <EXPRESS_logical> is a <class_of_EXPRESS_information_representation> that
represents a logical value as defined in ISO 10303-11:1994, 8.1.4.
NOTE	The UNIQUE rule ensures that any value is only held once.
*)
  ENTITY EXPRESS_logical
    SUBTYPE OF(class_of_EXPRESS_information_representation);
      content : LOGICAL;
    UNIQUE
      rule_1 : content;
  END_ENTITY;
(*
*Attribute definitions*
<content>
The value of the <EXPRESS_logical>
*)

(*
<EXPRESS_Boolean>
An <EXPRESS_Boolean> is a <class_of_EXPRESS_information_representation> that
represents a Boolean value as defined in ISO 10303-11:1994, 8.1.5.
NOTE	The UNIQUE rule ensures that any value is only held once.
*)
  ENTITY EXPRESS_Boolean
    SUBTYPE OF(class_of_EXPRESS_information_representation);
      content : BOOLEAN;
    UNIQUE
      rule_1 : content;
  END_ENTITY;
(*
*Attribute definitions*
<content>
The value of the <EXPRESS_Boolean>
*)

(*
<EXPRESS_binary>
An <EXPRESS_binary> is a <class_of_EXPRESS_information_representation> that
represents a binary value as defined in ISO 10303-11:1994, 8.1.7.
NOTE	The UNIQUE rule ensures that any value is only held once.
*)
  ENTITY EXPRESS_binary
    SUBTYPE OF(class_of_EXPRESS_information_representation);
      content : BINARY;
    UNIQUE
      rule_1 : content;
  END_ENTITY;
(*
*Attribute definitions*
<content>
The value of the <EXPRESS_binary>
*)

(*
<representation_of_Gregorian_date_and_UTC_time>
A <representation_of_Gregorian_date_and_UTC_time> is a
<class_of_information_representation> whose members are representations of time
using the UTC system of time identification as specified in ISO 8601:2000
together with the Gregorian system for representing dates.
All times shall be represented using UTC representation of time. Dates shall
follow the Gregorian calendar.
NOTE	Coordinated Universal Time (UTC) is the basis for legal time worldwide and
follows TAI (see below) exactly except for an integral number of seconds,
presently 32. These leap seconds are inserted on the advice of the International
Earth Rotation Service (IERS) (http://hpiers.obspm.fr) to ensure that, on
average over the years, the Sun is overhead within 0.9 seconds of 12:00:00 UTC
on the meridian of Greenwich. UTC is thus the modern successor of Greenwich Mean
Time, GMT, which was used when the unit of time was the mean solar day.
International Atomic Time (TAI) is calculated by the BIPM from the readings of
more than 200 atomic clocks located in metrology institutes and observatories in
more than 30 countries around the world. TAI is made available every month in
the BIPM Circular T (ftp://62.161.69.5/pub/tai/publication). It is estimated
that TAI does not lose or gain with respect to an imaginary perfect clock by
more than about one tenth of a microsecond (0.0000001 second) per year.
*)
  ENTITY representation_of_Gregorian_date_and_UTC_time
    SUBTYPE OF(class_of_information_representation);
      year   : INTEGER;
      month  : OPTIONAL INTEGER;
      day    : OPTIONAL INTEGER;
      hour   : OPTIONAL INTEGER;
      minute : OPTIONAL INTEGER;
      second : OPTIONAL REAL;
    WHERE
      valid_month  : {1<= month <= 12};
      valid_day    : {1<= day <= 31};
      valid_hour   : {0<= hour <= 23};
      valid_minute : {0<= minute <= 59};
      valid_second : {0.0 <= second < 61.0};
  END_ENTITY;
(*
*Attribute definitions*
<year>
The year as defined in the Gregorian calendar. The year shall be completely
and explicitly specified using as many digits as necessary to unambiguously
convey the century and year
within the century. Truncated year numbers shall not be used.

<month>
The position of the specified month in a year as defined in ISO 8601:2000,
5.2.1; the value shall be between 1 and 12 inclusive.

<day>
The value of day as defined in ISO 8601:2000, 5.2.1; the value shall be between
1 and 31 inclusive.

<hour>
the hour element of a specified time on a 24 hour clock; the value shall be an
integer between 0 and 23 inclusive. Midnight shall be represented by the value
zero.

NOTE	Although ISO 8601 allows two representations for midnight, 0000 and 2400,
this part of ISO 15926 restricts the representation to 0000.


<minute>
the minute element of a specified time; the value shall be between 0 and 59
inclusive.

<second>
the second element of a specified time; the value shall be from 0.0 and up to
but not including 61.0.

NOTE	A value of 61.0 allows for leap seconds. The mean solar time is determined
by the rotation of the earth. Leap seconds are added or subtracted as required,
usually in the middle or at the end of a year, and ensure that the legal time
does not differ from the non-uniform mean solar time by more than one second, in
spite of the variations of the earth's rotation.

*Formal Propositions*
<valid_month>
month shall be between 1 and 12 inclusive

<valid_day>
day shall be between 1 and 31 inclusive

<valid_hour>
hour shall be between 0 and 23 inclusive

<valid_minute>
minute shall be between 0 and 59 inclusive

<valid_second>
second shall be from 0.0 and up to but not including 61.0
*)

(*
<class_of_particulate_material>
A <class_of_particulate_material> is a <class_of_arranged_individual> whose
members are arranged amounts of super-molecular sized objects of the same or
different types.
EXAMPLE	Pile of sand, sand and cement mix, bag of bolts, catalyst fill for a
reactor are examples of <class_of_particulate_material>.
*)
  ENTITY class_of_particulate_material
    SUBTYPE OF(class_of_arranged_individual);
  END_ENTITY;

(*
<class_of_organization>
A <class_of_organization> is a <class_of_arranged_individual> whose members are
instances of <physical_object> that are composed of temporal parts of people and
other assets, and are organised with a particular purpose.
EXAMPLE	Company, government, and project team can be represented by instances
of <class_of_organization>
*)
  ENTITY class_of_organization
    SUBTYPE OF(class_of_arranged_individual);
  END_ENTITY;

(*
<class_of_activity>
A <class_of_activity> is a <class_of_arranged_individual> whose members are
instances of <activity>.
EXAMPLE	Drilling, distilling, and approving can be represented by instances of
<class_of_activity>.
NOTE	Behaviour is a term used to describe a <class_of_activity> either where
there are preconditions and the <class_of_activity> is a response to those
preconditions, e.g. reaction to touching a hot surface, or where the way an
activity occurs is described by some property or function, e.g. fluid flow being
described by the viscosity of the fluid.
*)
  ENTITY class_of_activity
    SUBTYPE OF(class_of_arranged_individual);
  END_ENTITY;

(*
<class_of_information_object>
A <class_of_information_object> is a <class_of_arranged_individual> whose
members are members of zero or more <class_of_information_representation> and of
zero or more <class_of_information_presentation>.
NOTE	Usually, it is a physical_object (like a paper document) that is
classified as a <class_of_information_object>.
EXAMPLE	Newspaper is a <class_of_information_object>.
*)
  ENTITY class_of_information_object
    SUBTYPE OF(class_of_arranged_individual);
  END_ENTITY;

(*
<class_of_feature>
A <class_of_feature> is a <class_of_arranged_individual> whose members are
contiguous, non-separable parts of some <possible_individual> and have an
incompletely defined boundary.
EXAMPLE	The classes known as 'mountain', 'groove', 'rim', 'nozzle', 'nose', and
'raised face' can all be represented as instances of <class_of_feature>.
*)
  ENTITY class_of_feature
    SUBTYPE OF(class_of_arranged_individual);
  END_ENTITY;

(*
<class_of_organism>
A <class_of_organism> is a <class_of_arranged_individual> whose members are
living organisms. 
EXAMPLE	Human being, sheep, earthworm, oak tree, and bacteria are instances of
<class_of_organism>.
*)
  ENTITY class_of_organism
    SUBTYPE OF(class_of_arranged_individual);
  END_ENTITY;

(*
<class_of_person>
A <class_of_person> is a <class_of_organism> whose members are people.
EXAMPLE	Engineer, plant manager, student, male, female, senior citizen, adult,
girl, and boy can be represented by instances of <class_of_person>. Engineer,
plant manager, and student are also instances of <class_of_functional_object>.
*)
  ENTITY class_of_person
    SUBTYPE OF(class_of_organism);
  END_ENTITY;

(*
<class_of_inanimate_physical_object>
A <class_of_inanimate_physical_object> is a  <class_of_arranged_individual>
whose members are not living.
EXAMPLE	The class known as 'oil' can be represented by an instance of
<class_of_inanimate_physical_object>.
*)
  ENTITY class_of_inanimate_physical_object
    SUBTYPE OF(class_of_arranged_individual);
  END_ENTITY;

(*
<property>
A <property> is a <class_of_individual> that is a member of a continuum of a
<class_of_property>. The <property> may be quantified by mapping to a number on
a scale.
NOTE 1	A member of a <property> is a <possible_individual> that has the same
degree or magnitude of the quality or characteristic represented by the
<property> as other members.
NOTE 2	The types of characteristic or quality, such as temperature or density,
are instances of <class_of_property>.
NOTE 3	Duplicate properties (e.g. that map to the same number on the same
scale) should not be created within the same data store.
EXAMPLE	A particular degree of hotness can be represented as an instance of
<property>.
*)
  ENTITY property
    SUBTYPE OF(class_of_individual);
  END_ENTITY;

(*
<shape>
A <shape> is a <property> that depends on constant relations of position and
proportionate distance among all the points composing its outline or its
external surface.
EXAMPLE 1	20mm diameter circle and 10-20mm diameter circles are examples of
<shape>.
EXAMPLE 2	Irregular forms such as the outer envelope of a model of pump can be
represented by instances of <shape>.
*)
  ENTITY shape
    SUBTYPE OF(property);
  END_ENTITY;

(*
<multidimensional_property>
A <multidimensional_property> is a <property> that is also a
<multidimensional_object>.
EXAMPLE	A pump flow head characteristic is a multidimensional object. It
consists of a continuum of Q, H property pairs, where Q is the flow rate and H
is the flowing head difference. Each pair of properties Qa and Ha, where Qa is a
particular flow rate and Ha a particular head, is a multidimensional property
[Qa, Ha].
*)
  ENTITY multidimensional_property
    SUBTYPE OF(property, multidimensional_object);
  END_ENTITY;

(*
<multidimensional_object>
A <multidimensional_object> is an <abstract_object> that is an ordered list of
<thing>. The significance of the <multidimensional_object> is determined by
being a member of a  <class_of_multidimensional_object> that indicates the role
played by each of its elements.
NOTE	The <multidimensional_object> [A,B,C] is different from [B,C,A].
EXAMPLE	[32, 1.8, 20] is a <multidimensional_object> that may be specified to
be the input parameters for the function y=a+bx to convert 20 Celsius to
Fahrenheit.
*)
  ENTITY multidimensional_object
    SUPERTYPE OF (ONEOF(multidimensional_property_space, multidimensional_number, multidimensional_property, multidimensional_number_space, multidimensional_scale))
    SUBTYPE OF(abstract_object);
      elements : LIST [1:?] OF thing;
      position : OPTIONAL LIST [1:?] OF INTEGER;
  END_ENTITY;
(*
*Attribute definitions*
<elements>
The list of <thing> that constitute the <multidimensional_object>. The role of
each <thing> is determined by a classifying <class_of_multidimensional_object>.

<position>
The position of the element relative to the list of roles in the classifying
<class_of_multidimensional_object>.

The elements shall be listed in ascending order.

When this attribute is missing, then all elements are present as defined in the
<class_of_multidimensional_object>.

NOTE	This attribute is required when some elements are missing. The list data
type does not allow empty elements in the list. This attribute, when present,
supplies the mapping information. 

*)

(*
<multidimensional_property_space>
A <multidimensional_property_space> is a <property_space> and a
<multidimensional_object> whose members are properties each of which maps to
more than one number. Each property will consist of elements of the same
property dimensions.
EXAMPLE	A pump performance curve of flowrate and differential head is a
<multidimensional_property_space>.
*)
  ENTITY multidimensional_property_space
    SUBTYPE OF(property_space, multidimensional_object);
  END_ENTITY;

(*
<property_space>
A <property_space> is a <class_of_property> whose members are a coherent
continuum of <property>.
EXAMPLE 1	The set of temperature properties, known as temperature, is a
<property_space>.
EXAMPLE 2	The members of the pressure and flow rate <class_of_property> that
fall on a particular pump curve is a <property_space>.
*)
  ENTITY property_space
    SUBTYPE OF(class_of_property);
  END_ENTITY;

(*
<class_of_property>
A <class_of_property> is a <class_of_class_of_individual> whose members are
instances of <property>. 
EXAMPLE	'Temperature' is an example of <class_of_property>.
*)
  ENTITY class_of_property
    SUPERTYPE OF (ONEOF(property_space, enumerated_property_set))
    SUBTYPE OF(class_of_class_of_individual);
  END_ENTITY;

(*
<class_of_class_of_individual>
A <class_of_class_of_individual> is a <class_of_class> whose members are
instances of <class_of_individual>.
EXAMPLE	"Premium Product" is a <class_of_class_of_individual> that has
<class_of_individual> "mogas" as a member.
*)
  ENTITY class_of_class_of_individual
    SUPERTYPE OF (ONEOF(class_of_class_of_information_representation, class_of_property, class_of_status, shape_dimension))
    SUBTYPE OF(class_of_class);
  END_ENTITY;

(*
<class_of_class>
A <class_of_class> is a <class> whose members are instances of <class>.
NOTE	When it is necessary to classify a <class_of_class>, another
<class_of_class> can be used. This is because a <class_of_class> is a <class>.
*)
  ENTITY class_of_class
    SUPERTYPE OF (ONEOF(class_of_class_of_individual, class_of_number, class_of_class_of_relationship, arithmetic_number, class_of_property_space, class_of_shape_dimension) ANDOR enumerated_set_of_class)
    SUBTYPE OF(class_of_abstract_object);
  END_ENTITY;

(*
<class_of_abstract_object>
A <class_of_abstract_object> is a <class> whose members classify members of
<abstract_object>.
*)
  ENTITY class_of_abstract_object
    ABSTRACT SUPERTYPE
    SUBTYPE OF(class);
  END_ENTITY;

(*
<class_of_relationship>
A <class_of_relationship> is a  <class_of _abstract_object> whose members are
members of <relationship>.
*)
  ENTITY class_of_relationship
    SUPERTYPE OF (ONEOF(class_of_composition_of_individual, class_of_connection_of_individual, class_of_classification, class_of_representation_translation, class_of_usage_of_representation, class_of_responsibility_for_representation, class_of_lifecycle_stage, class_of_assertion, class_of_individual_used_in_connection, class_of_approval, class_of_possible_role_and_domain, class_of_involvement_by_reference, class_of_relationship_with_signature, class_of_specialization, class_of_intended_role_and_domain, class_of_approval_by_status, class_of_representation_of_thing, class_of_relative_location, class_of_functional_mapping, class_of_recognition, class_of_indirect_property, class_of_cause_of_beginning_of_class_of_individual, dimension_of_individual, property_for_shape_dimension, class_of_temporal_sequence, class_of_cause_of_ending_of_class_of_individual) ANDOR ONEOF(class_of_relationship_with_related_end_1, class_of_relationship_with_related_end_2))
    SUBTYPE OF(class_of_abstract_object);
      end_1_cardinality : OPTIONAL cardinality;
      end_2_cardinality : OPTIONAL cardinality;
  END_ENTITY;
(*
*Attribute definitions*
<end_1_cardinality>
The maximum and minimum cardinality for the first attribute of the
<class_of_relationship>.
If no cardinality is specified, then there is no constraint on the cardinality.

<end_2_cardinality>
The maximum and minimum cardinality for the second attribute in the
<class_of_relationship>.
If no cardinality is specified then there is no constraint on the cardinality.
*)

(*
<class_of_composition_of_individual>
A <class_of_composition_of_individual> is a <class_of_relationship> whose
members are members of <composition_of_individual>.
EXAMPLE	That piles of sand may have grains of sand as parts is an example of
<class_of_composition_of_individual>.
*)
  ENTITY class_of_composition_of_individual
    SUPERTYPE OF (ONEOF(class_of_arrangement_of_individual, class_of_temporal_whole_part, class_of_participation))
    SUBTYPE OF(class_of_relationship);
      class_of_part  : class_of_individual;
      class_of_whole : class_of_individual;
  END_ENTITY;
(*
*Attribute definitions*
<class_of_part>
The <class_of_individual> that is the class_of_part in the
<class_of_composition_of_individual>.

<class_of_whole>
The <class_of_individual> that is the class_of_whole in the
<class_of_composition_of_individual>.
*)

(*
<class_of_arrangement_of_individual>
A <class_of_arrangement_of_individual> is a
<class_of_composition_of_individual> whose members are instances of
<arrangement_of_individual>.
EXAMPLE	The fact that water is made up of H2O molecules is an instance of
<class_of_arrangement_of_individual>.
*)
  ENTITY class_of_arrangement_of_individual
    SUPERTYPE OF (ONEOF(class_of_feature_whole_part, class_of_assembly_of_individual, namespace))
    SUBTYPE OF(class_of_composition_of_individual);
      SELF\class_of_composition_of_individual.class_of_whole : class_of_arranged_individual;
  END_ENTITY;
(*
*Attribute definitions*
<class_of_whole>
The <class_of_arranged_individual> that is the class_of_whole in the
<class_of_arrangement_of_individual>.
*)

(*
<class_of_feature_whole_part>
A <class_of_feature_whole_part> is a <class_of_arrangement_of_individual> whose
members are instances of <feature_whole_part>.
EXAMPLE	Thermowells have stems, and tables have tops are examples of
<class_of_feature_whole_part>.
*)
  ENTITY class_of_feature_whole_part
    SUBTYPE OF(class_of_arrangement_of_individual);
  END_ENTITY;

(*
<class_of_assembly_of_individual>
A <class_of_assembly_of_individual> is a <class_of_arrangement_of_individual>
whose members are instances of <assembly_of_individual>.
EXAMPLE	 That impellers are parts of centrifugal pumps is a
<class_of_assembly_of_individual>.
*)
  ENTITY class_of_assembly_of_individual
    SUBTYPE OF(class_of_arrangement_of_individual);
  END_ENTITY;

(*
<namespace>
A <namespace> is a <class_of_arrangement_of_individual> where the
class_of_whole and class_of_part are members of
<class_of_information_representation> and the part is the most significant part
of the whole that is the namespace.
EXAMPLE	The STRING WC1: is the namespace in the identifier WC1:1234.
*)
  ENTITY namespace
    ABSTRACT SUPERTYPE OF (ONEOF(right_namespace, left_namespace))
    SUBTYPE OF(class_of_arrangement_of_individual);
      SELF\class_of_composition_of_individual.class_of_part  : class_of_information_representation;
      SELF\class_of_arrangement_of_individual.class_of_whole : class_of_information_representation;
  END_ENTITY;
(*
*Attribute definitions*
<class_of_part>
The <class_of_information_representation> that is the namespace.

<class_of_whole>
The <class_of_information_representation> that has the class_of_part as a
namespace.
*)

(*
<right_namespace>
A <right_namespace> is a <namespace> that indicates that the <class_of_part> is
the right most part of the <class_of_whole>.
EXAMPLE	When ZH is the namespace in 5367ZH, this is indicated by a
<right_namespace> relationship between them.
*)
  ENTITY right_namespace
    SUBTYPE OF(namespace);
  END_ENTITY;

(*
<left_namespace>
A <left_namespace> is a <namespace> where the <class_of_part> is the left part
of the <class_of_whole>.
EXAMPLE	Where WC1: is the <namespace> in WC1:1234, it is a <left_namespace>.
*)
  ENTITY left_namespace
    SUBTYPE OF(namespace);
  END_ENTITY;

(*
<class_of_temporal_whole_part>
A <class_of_temporal_whole_part> is a <class_of_composition_of_individual>
whose members are members of <temporal_whole_part>.
EXAMPLE	The class that indicates that Crude Distillation Units may have a
maximum naphtha mode can be represented by an instance of
<class_of_temporal_whole_part>.
*)
  ENTITY class_of_temporal_whole_part
    SUBTYPE OF(class_of_composition_of_individual);
  END_ENTITY;

(*
<class_of_participation>
A <class_of_participation> is a <class_of_composition_of_individual> that
indicates a member of an instance of <participating_role_and_domain>
participates in a member of an instance of <class_of_activity>.
EXAMPLE	"Conductor of a musical performance" is an example of
<class_of_participation>.
*)
  ENTITY class_of_participation
    SUBTYPE OF(class_of_composition_of_individual);
      SELF\class_of_composition_of_individual.class_of_part  : participating_role_and_domain;
      SELF\class_of_composition_of_individual.class_of_whole : class_of_activity;
  END_ENTITY;
(*
*Attribute definitions*
<class_of_part>
The <participating_role_and_domain> that has the <class_of_participation>.

<class_of_whole>
The <class_of_activity> that has the <class_of_participation>.
*)

(*
<class_of_connection_of_individual>
A <class_of_connection_of_individual> is a <class_of_relationship> whose
members are members of <connection_of_individual>. It indicates that a member of
the class_of_side_1 <class_of_individual> can be connected to a member of the
class_of_side_2 <class_of_individual>.
NOTE 1	The class_of_side_1 and class_of_side_2 indicate the
<class_of_individual> that is the side_1 and side_2 respectively in a
<connection_of_individual> that is a member of this
<class_of_connection_of_individual>.
NOTE 2	Flexible, rigid, and welded cannot be represented as instances of
<class_of_connection_of_individual>, these are classes of the materials
connected or used in the connection.
EXAMPLE	Electrical connection between wires is a
<class_of_connection_of_individual>.
*)
  ENTITY class_of_connection_of_individual
    ABSTRACT SUPERTYPE OF (ONEOF(class_of_direct_connection, class_of_indirect_connection))
    SUBTYPE OF(class_of_relationship);
      class_of_side_1 : class_of_individual;
      class_of_side_2 : class_of_individual;
  END_ENTITY;
(*
*Attribute definitions*
<class_of_side_1>
The <class_of_individual> whose members play the role of side_1 in the members
of the <class_of_connection_of_individual>.

<class_of_side_2>
The <class_of_individual> whose members play the role of side_2 in the members
of the <class_of_connection_of_individual>
*)

(*
<class_of_direct_connection>
A <class_of_direct_connection> is a <class_of_connection_of_individual> whose
members are members of <direct_connection>.
EXAMPLE	Three-pin electrical plug into three-pin socket is an example of
<class_of_direct_connection>.
*)
  ENTITY class_of_direct_connection
    SUBTYPE OF(class_of_connection_of_individual);
  END_ENTITY;

(*
<class_of_indirect_connection>
A <class_of_indirect_connection> is a <class_of_connection_of_individual> whose
members are members of <indirect_connection>.
EXAMPLE	Drip pipe indirectly connected to drain funnel is an example of
<class_of_indirect_connection>.
*)
  ENTITY class_of_indirect_connection
    SUBTYPE OF(class_of_connection_of_individual);
  END_ENTITY;

(*
<class_of_classification>
A <class_of_classification> is a <class_of_relationship> whose members are
members of <classification>. A <class_of_classification> indicates that a member
of the class_of_classified <class> is classified by one or more members of the
class_of_classifier <class_of_class>.
EXAMPLE	The link between <class> centrifugal pump and the <class_of_property>
RPM, indicating that a centrifugal pump is a member of at least one RPM class,
can be represented by an instance of <class_of_classification>.
*)
  ENTITY class_of_classification
    SUBTYPE OF(class_of_relationship);
      class_of_classified : class;
      class_of_classifier : class_of_class;
  END_ENTITY;
(*
*Attribute definitions*
<class_of_classified>
The <class> that is the class_of_classified in the <class_of_classification>.

<class_of_classifier>
The <class_of_class> that is the class_of_classifier in the
<class_of_classification>.
*)

(*
<class_of_representation_translation>
A <class_of_representation_translation> is a <class_of_relationship> that
indicates the translation of two instances of
<class_of_information_representation>.
EXAMPLE	The link that indicates that the representations 'F' and '15' are
equivalent (concept of fifteen in hexadecimal and octal respectively) can be
represented by an instance of <class_of_representation_translation>.
*)
  ENTITY class_of_representation_translation
    SUBTYPE OF(class_of_relationship);
      class_of_first  : class_of_information_representation;
      class_of_second : class_of_information_representation;
  END_ENTITY;
(*
*Attribute definitions*
<class_of_first>
the first instance of <class_of_information_representation> in the translation

<class_of_second>
the second instance of <class_of_information_representation> in the translation.
*)

(*
<class_of_usage_of_representation>
A <class_of_usage_of_representation> is a <class_of_relationship> whose members
indicate that a <possible_individual> (usually an organization) reads or
otherwise uses members of the pattern as a representation of the represented
thing.
EXAMPLE	The link between the identification of pump #1234 and contractor ABC
Ltd, that indicates that ABC Ltd uses this identification can be represented by
a class of <class_of_usage_of_representation>.
*)
  ENTITY class_of_usage_of_representation
    SUBTYPE OF(class_of_relationship);
      class_of_used : class_of_representation_of_thing;
      user          : possible_individual;
  END_ENTITY;
(*
*Attribute definitions*
<class_of_used>
The <class_of_representation_of_thing> that is used by the referenced
<possible_individual>.

<user>
The <possible_individual> that uses the referenced
<class_of_representation_of_thing>
*)

(*
<class_of_representation_of_thing>
A <class_of_representation_of_thing> is a <class_of_relationship> that
indicates that all members of the pattern <class_of_information_representation>
represent the <thing>.
EXAMPLE	The <class_of_relationship> that indicates that occurrences of the
pattern denoted by 'London' represent the concept of the capital of the United
Kingdom can be represented by an instance of
<class_of_information_representation>.
*)
  ENTITY class_of_representation_of_thing
    SUBTYPE OF(class_of_relationship);
      pattern     : class_of_information_representation;
      represented : thing;
  END_ENTITY;
(*
*Attribute definitions*
<pattern>
the <class_of_information_representation> whose members represent the
referenced <thing>

<represented>
The <thing> that is represented by the members of the referenced
<class_of_information_representation>.
*)

(*
<class_of_identification>
A <class_of_identification> is a <class_of_representation_of_thing> that
indicates that the pattern is used to refer to the represented thing.
EXAMPLE	The link between the pattern 'AC-1234' and a particular pump,
indicating that members of 'AC-1234' are used to refer to the pump, can be
represented by an instance of <class_of_identification>.
*)
  ENTITY class_of_identification
    SUBTYPE OF(class_of_representation_of_thing);
  END_ENTITY;

(*
<class_of_definition>
A <class_of_definition> is a <class_of_representation_of_thing> that indicates
the pattern is a definition of the represented <class>.
EXAMPLE	The link between the pattern 'something that moves liquid' and the
<class> that goes by the name 'pump' in English can be represented by an
instance of <class_of_definition>.
*)
  ENTITY class_of_definition
    SUBTYPE OF(class_of_representation_of_thing);
      SELF\class_of_representation_of_thing.represented : class;
  END_ENTITY;
(*
*Attribute definitions*
<represented>
The <class> that is defined by the members of the referenced
<class_of_information_representation>.
*)

(*
<class_of_description>
A <class_of_description> is a <class_of_representation_of_thing> that indicates
the pattern is a description of the represented thing.
EXAMPLE	The link between the pattern 'this is an old bilge pump' and a
particular pump can be represented by an instance of <class_of_description>.
*)
  ENTITY class_of_description
    SUBTYPE OF(class_of_representation_of_thing);
  END_ENTITY;

(*
<class_of_responsibility_for_representation>
A <class_of_responsibility_for_representation> is a <class_of_relationship>
whose members indicate that a <possible_individual> (usually an organization)
deems that members of the pattern can be used as representations of the
represented thing.
EXAMPLE	The link between the identification of pump #1234 and the XYZ
Corporation, that indicates that the XYZ Corporation controls this
identification, can be represented by an instance of 
<class_of_responsibility_for_representation>.
*)
  ENTITY class_of_responsibility_for_representation
    SUBTYPE OF(class_of_relationship);
      class_of_controlled : class_of_representation_of_thing;
      controller          : possible_individual;
  END_ENTITY;
(*
*Attribute definitions*
<class_of_controlled>
The <class_of_representation_of_thing> that is controlled by the referenced
<possible_individual>.

<controller>
The <possible_individual> that controls the referenced
<class_of_representation_of_thing>.
*)

(*
<class_of_lifecycle_stage>
A <class_of_lifecycle_stage> is a <class_of_relationship> whose members are
members of <lifecycle_stage>.
EXAMPLE	Planned, required, expected, and proposed can be represented by
instances of <class_of_lifecycle_stage>.
*)
  ENTITY class_of_lifecycle_stage
    SUBTYPE OF(class_of_relationship);
  END_ENTITY;

(*
<class_of_assertion>
A <class_of_assertion> is a <class_of_relationship> that describes the
assertive nature of the member relations.
EXAMPLE	Asserting, denying, and probabilistic can be represented by instances
of <class_of_assertion>.
*)
  ENTITY class_of_assertion
    SUBTYPE OF(class_of_relationship);
  END_ENTITY;

(*
<class_of_individual_used_in_connection>
A <class_of_individual_used_in_connection> is a <class_of_relationship> whose
members are members of <individual_used_in_connection>. It indicates that a
member of the <class_of_individual> is used in a
<class_of_connection_of_individual>.
EXAMPLE	The link between the <class_of_connection_of_individual> that indicates
that B12 type beams are connected to pipe hangers, and the <class_of_individual>
"20mm Diameter bolt", that indicates that four 20mm diameter bolts are used in
the connection of a pipe hanger to a type B12 beam can be represented by an
instance of 
<class_of_individual_involved_in_connection>.
*)
  ENTITY class_of_individual_used_in_connection
    SUBTYPE OF(class_of_relationship);
      class_of_connection : class_of_connection_of_individual;
      class_of_usage      : class_of_individual;
  END_ENTITY;
(*
*Attribute definitions*
<class_of_connection>
The <class_of_connection_of_individual> whose members are the connections in
the members of the <class_of_individual_involved_in_connection>.

<class_of_usage>
The <class_of_individual> whose members are used in the members of the
<class_of_individual_used_in_connection>.
*)

(*
<class_of_approval>
A <class_of_approval> is a <class_of_relationship> whose members are members of
<approval> that indicates that members of the <class_of_individual> are
approvers in an <approval> for the members of the <class> that are approved.
EXAMPLE	That site managers approve design specifications for construction (a
<class_of_involvement_by_reference>) is an example of <class_of_approval>.
*)
  ENTITY class_of_approval
    SUBTYPE OF(class_of_relationship);
      class_of_approved : class_of_relationship;
      class_of_approver : class_of_individual;
  END_ENTITY;
(*
*Attribute definitions*
<class_of_approved>
The <class_of_relationship> whose members are approved by the members of the
class_of_approver.

<class_of_approver>
The <class_of_individual> whose members are the approvers of the
<class_of_relationship> approved.
*)

(*
<class_of_possible_role_and_domain>
A <class_of_possible_role_and_domain> is a <class of relationship> that
indicates the <role_and_domain> that can be played by a member of the
<class_of_individual>, in some <activity>.
EXAMPLE	Pumps can play the <role> of anchor (although they are not intended to
do so).
*)
  ENTITY class_of_possible_role_and_domain
    SUBTYPE OF(class_of_relationship);
      class_of_player : class_of_individual;
      played          : role_and_domain;
  END_ENTITY;
(*
*Attribute definitions*
<class_of_player>
The <class_of_individual> whose members can play the referenced
<role_and_domain>.

<played>
The <role_and_domain> that can be played by members of the referenced
<class_of_individual>
*)

(*
<class_of_involvement_by_reference>
A <class_of_involvement_by_reference> is a <class_of_relationship> whose
members are instances of <involvement_by_reference>.
EXAMPLE	Discussion of historical activities is an example of
<class_of_involvement_by_reference>.
*)
  ENTITY class_of_involvement_by_reference
    SUBTYPE OF(class_of_relationship);
      class_of_involved : role_and_domain;
      class_of_involver : class_of_activity;
  END_ENTITY;
(*
*Attribute definitions*
<class_of_involved>
The <role_and_domain> that has the <class_of_involvement_by_reference>.

<class_of_involver>
The <class_of_activity> that has the <class_of_involvement_by_reference>.
*)

(*
<class_of_relationship_with_signature>
A <class_of_relationship_with_signature> is a <class_of_relationship> that may
have a <role_and_domain> specified for each end.
NOTE	A <class_of_relationship_with_signature> is analogous to a simple EXPRESS
attribute and its inverse. More complex objects can be modelled with
<multidimensional_object> and <class_of_multidimensional_object>.
EXAMPLE	Married is a <class_of_relationship> where class_of_end_1 is the
<role_and_domain> husband, and class_of_end_2 the <role_and_domain> wife.
*)
  ENTITY class_of_relationship_with_signature
    SUBTYPE OF(class_of_relationship, relationship);
      class_of_end_1 : OPTIONAL role_and_domain;
      class_of_end_2 : OPTIONAL role_and_domain;
  END_ENTITY;
(*
*Attribute definitions*
<class_of_end_1>
the specification of the end_1 attribute of the members of the
<class_of_relationship>.

<class_of_end_2>
the specification of the end_2 attribute of the members of the
<class_of_relationship>.
*)

(*
<relationship>
A <relationship> is an <abstract_object> that indicates something that one
thing has to do with another.
NOTE	Only classes of binary relationship are supported. More complex objects
can be supported using <multidimensional_object> and
<class_of_multidimensional_object>.
*)
  ENTITY relationship
    ABSTRACT SUPERTYPE OF (ONEOF(composition_of_individual, cause_of_event, connection_of_individual, lifecycle_stage, relative_location, individual_used_in_connection, involvement_by_reference, specialization, other_relationship, classification, class_of_relationship_with_signature, intended_role_and_domain, possible_role_and_domain, representation_of_thing, usage_of_representation, responsibility_for_representation, approval, comparison_of_property, functional_mapping, recognition, indirect_property, temporal_sequence))
    SUBTYPE OF(abstract_object);
  END_ENTITY;

(*
<composition_of_individual>
A <composition_of_individual> is a <relationship> that indicates that the part
<possible_individual> is a part of the whole <possible_individual>. A simple
composition is indicated, unless a subtype is instantiated too.
<composition_of_individual> is transitive. 
NOTE	Simple composition means that for example no arrangement of parts is
necessarily implied or of concern. Where there is an arrangement of parts, this
is indicated by an <arrangement_of_individual>, which, by being a subtype,
implies also a simple composition.
EXAMPLE	A grain of sand being part of a pile of sand is an example of
<composition_of_individual>.
*)
  ENTITY composition_of_individual
    SUPERTYPE OF (ONEOF(arrangement_of_individual, temporal_whole_part, participation, temporal_bounding))
    SUBTYPE OF(relationship);
      part  : possible_individual;
      whole : possible_individual;
  END_ENTITY;
(*
*Attribute definitions*
<part>
the <possible_individual> that is part of the whole <possible_individual>.

<whole>
the <possible_individual> that is the whole in the <composition_of_individual>.
*)

(*
<arrangement_of_individual>
An <arrangement_of_individual> is a <composition_of_individual> that indicates
that the part is a part of an <arranged_individual>. The temporal extent of the
part is that of the whole.
An <arrangement_of_individual> may be an <assembly_of_individual>. 
NOTE 1	The term "arranged" implies that parts have particular roles with
respect to the whole.
NOTE 2	The natures of the relations to other parts of the whole are not
specified by the arrangement relation. Relationships like
<connection_of_individual> and <relative_location> would indicate this.
EXAMPLE 1	The relationship that indicates that a particular aircraft is flying
as part of a formation can be represented by an instance of
<arrangement_of_individual>.
EXAMPLE 2	The relationship that indicates that a particular bin in a warehouse
is part of the warehouse layout can be represented by an instance of
<arrangement_of_individual>.
*)
  ENTITY arrangement_of_individual
    SUPERTYPE OF (ONEOF(assembly_of_individual, feature_whole_part))
    SUBTYPE OF(composition_of_individual);
      SELF\composition_of_individual.whole : arranged_individual;
  END_ENTITY;
(*
*Attribute definitions*
<whole>
The <arranged_individual> that is the whole in the <arrangement_of_individual>.
*)

(*
<assembly_of_individual>
An <assembly_of_individual> is an <arrangement_of_individual> that indicates
that the part is connected directly or indirectly to other parts of the whole.
The parts and wholes are super-molecular objects.
NOTE	Composition of molecules and smaller is represented through instances of
class_of_arrangement_of_individual.
EXAMPLE	The relation that indicates that a temporal part of an impeller is a
part of an assembled pump can be represented by an instance of
<assembly_of_individual>.
*)
  ENTITY assembly_of_individual
    SUBTYPE OF(arrangement_of_individual);
  END_ENTITY;

(*
<feature_whole_part>
A <feature_whole_part> is an <arrangement_of_individual> that indicates that
the part is a non-separable, contiguous part of the whole.
NOTE	This includes wholes that cannot be non-destructively disassembled and
reassembled such as the cast inlet flange of a pump.
EXAMPLE	The relation that indicates that a flange face is part of a flange can
be represented by an instance of <feature_whole_part>.
*)
  ENTITY feature_whole_part
    SUBTYPE OF(arrangement_of_individual);
  END_ENTITY;

(*
<temporal_whole_part>
A <temporal_whole_part> is a <composition_of_individual> that indicates that
one <possible_individual> is a temporal part of another <possible_individual>.
The spatial extent of the temporal part is that of the temporal whole for the
period of the existence of the temporal part.
Relationships that apply to the whole <possible_individual> also apply to the
temporal parts of the <possible_individual>, except when the relationships
relate to the temporal nature of the whole. So if a <possible_individual> is
connected so are all its temporal parts, but being a <whole_life_individual> is
not inherited by its temporal parts.
NOTE	Since <temporal_whole_part> is transitive (inherited from its supertype) a
hierarchy of temporal parts is possible, with a <whole_life_individual> at the
top.
EXAMPLE 1	The relation that indicates that an operating period of a pump is a
temporal part of the pump can be represented by an instance of
<temporal_whole_part>.
EXAMPLE 2	The relationship that indicates that the time period known as March
1999 is part of the period known as 1st Quarter 1999 can be represented by an
instance of <temporal_whole_part>.
*)
  ENTITY temporal_whole_part
    SUBTYPE OF(composition_of_individual);
  END_ENTITY;

(*
<participation>
A <participation> is a <composition_of_individual> that indicates that a
<possible_individual> is a participant in an <activity>.
NOTE	The <possible_individual> that is the part in the <participation> is may
be a temporal part of a <whole_life_individual> that is classified by the
<role_and_domain> that indicates the role it plays in the <activity>.
EXAMPLE	The relationship between the temporal part of P1234 that performs the
discharge of the Motor Vessel Murex on 2nd December 2002, and the activity that
is that discharge of that vessel is a <participation>.
*)
  ENTITY participation
    SUBTYPE OF(composition_of_individual);
      SELF\composition_of_individual.whole : activity;
  END_ENTITY;
(*
*Attribute definitions*
<whole>
The <activity> that is the whole in the <participation>.
*)

(*
<temporal_bounding>
A <temporal_bounding> is an <assembly_of_individual> that indicates that the
part <event> is a temporal boundary of the whole <possible_individual>.
*)
  ENTITY temporal_bounding
    ABSTRACT SUPERTYPE OF (ONEOF(ending, beginning))
    SUBTYPE OF(composition_of_individual);
      SELF\composition_of_individual.part : event;
  END_ENTITY;
(*
*Attribute definitions*
<part>
The <event> that is the part in the <temporal_bounding>.
*)

(*
<ending>
An <ending> is a <temporal_bounding> that marks the end of a
<possible_individual>.
EXAMPLE 1	The relation that indicates that the <point_in_time> known as 0000hrs
1st July 1999 GMT is the end of the <period_in_time> known as June 1999 GMT can
be represented by an instance of <ending>.
EXAMPLE 2	The relation that indicates that the <event> 'loading complete' marks
the end of the <possible_individual> 'loading plant operating period 1' (a
temporal part of the loading plant) is an instance of <ending>.
*)
  ENTITY ending
    SUBTYPE OF(temporal_bounding);
  END_ENTITY;

(*
<beginning>
A <beginning> is a <temporal_bounding> that marks the temporal start of a
<possible_individual>.
EXAMPLE 1	The relation that indicates that the <point_in_time> known as 0000hrs
1st July 1999 UTC is the beginning of the <period_in_time> known as July 1999
UTC can be represented by an instance of <beginning>.
EXAMPLE 2	The relation that indicates that the <event> 'loading complete' marks
the start of the <possible_individual> 'loading plant idle' can be represented
by an instance of <beginning>.
*)
  ENTITY beginning
    SUBTYPE OF(temporal_bounding);
  END_ENTITY;

(*
<cause_of_event>
A <cause_of_event> is a <relationship> that indicates that the caused <event>
is caused by the causer <activity>.
EXAMPLE	The relation that indicates that the tanker loading activity caused the
<event> described as 'tank liquid level full' can be represented by an instance
of <cause_of_event>.
*)
  ENTITY cause_of_event
    SUBTYPE OF(relationship);
      caused : event;
      causer : activity;
  END_ENTITY;
(*
*Attribute definitions*
<caused>
The <event> that is caused in the <cause_of_event>.

<causer>
The <activity> that is the causer in the <cause_of_event>.
*)

(*
<connection_of_individual>
A <connection_of_individual> is a <relationship> that indicates that matter,
energy, or both can be transferred between the members of <possible_individual>
that are connected, either directly or indirectly.
NOTE	There is no significance to the ordering of the two related instances of
<possible_individual>. The names side_1 and side_2 serve only to distinguish the
attributes.
*)
  ENTITY connection_of_individual
    SUPERTYPE OF (ONEOF(direct_connection, indirect_connection))
    SUBTYPE OF(relationship);
      side_1 : possible_individual;
      side_2 : possible_individual;
  END_ENTITY;
(*
*Attribute definitions*
<side_1>
The first <possible_individual> that is involved in the
<connection_of_individual>.

<side_2>
The second <possible_individual> that is involved in the
<connection_of_individual>.
*)

(*
<direct_connection>
A <direct_connection> is a <connection_of_individual> that indicates that the
side_1 and side_2 are directly connected via a common spatial boundary.
EXAMPLE	The relation that indicates that the plug terminating a serial
communications cable is connected to the socket on a piece of computer equipment
can be represented by an instance of of <direct_connection>.
*)
  ENTITY direct_connection
    SUBTYPE OF(connection_of_individual);
  END_ENTITY;

(*
<indirect_connection>
An <indirect_connection> is a <connection_of_individual> that indicates that
side_1 and side_2 are connected via other individuals.
EXAMPLE	The relation that indicates that there is a railway connection between
the cities of London and Paris can be represented by an instance of
<indirect_connection>.
*)
  ENTITY indirect_connection
    SUBTYPE OF(connection_of_individual);
  END_ENTITY;

(*
<lifecycle_stage>
A <lifecycle_stage> is a <relationship> that indicates the interest that a
<possible_individual> has in some <possible_individual>. 
EXAMPLE	The relation that links a possible building to a temporal part of the
XYZ Corp. can be represented by an instance of <lifecycle_stage>. The nature of
that <lifecycle_stage> (e.g. 'planned') can be expressed by classifying with the
applicable <class_of_lifecycle_stage>.
*)
  ENTITY lifecycle_stage
    SUBTYPE OF(relationship);
      interest   : possible_individual;
      interested : possible_individual;
  END_ENTITY;
(*
*Attribute definitions*
<interest>
The <possible_individual> that is of interest to the referenced
<possible_individual>.

<interested>
The <possible_individual> that has an interest in the referenced
<possible_individual>
*)

(*
<relative_location>
A <relative_location> is a <relationship> that indicates that the position of
one <possible_individual> is relative to another.
NOTE	The <classification> of the <relative_location> indicates the nature of
the <relative_location>, e.g. above, below, beside.
EXAMPLE	A being the located relative to B being the locator in a
<relative_location> that is classified by the <class_of_relative_location>
above, indicates that A is above B.
*)
  ENTITY relative_location
    SUBTYPE OF(relationship);
      located : possible_individual;
      locator : possible_individual;
  END_ENTITY;
(*
*Attribute definitions*
<located>
The <possible_individual> that is located.

<locator>
The <possible_individual> that is the reference location for the located
<possible_individual>.
*)

(*
<containment_of_individual>
A <containment_of_individual> is a <relative_location> where the located
<possible_individual> is contained by the locator <possible_individual> but is
not part of it.
EXAMPLE	The contents of a vessel being inside the vessel can be represented by
an instance of <containment_of_individual>.
NOTE	Containment is distinct from composition; in composition the whole
consists of all of its part, with containment, what is contained is not a part
of the container.
*)
  ENTITY containment_of_individual
    SUBTYPE OF(relative_location);
  END_ENTITY;

(*
<individual_used_in_connection>
An <individual_used_in_connection> is a <relationship> that indicates that a
<possible_individual> is used in a <connection_of_individual>.
EXAMPLE	The <relationship> between the connection of the flanged ends of two
pipes and a temporal part of the bolts, nuts, washers and gasket set that
indicates that the bolt and gasket set participates in the connection can be
represented by an instance of <individual_used_in_connection>.
*)
  ENTITY individual_used_in_connection
    SUBTYPE OF(relationship);
      connection : connection_of_individual;
      usage      : possible_individual;
  END_ENTITY;
(*
*Attribute definitions*
<connection>
The <connection_of_individual> in which the referenced <possible_individual>
participates.

<usage>
The <possible_individual> that participates in the referenced
<connection_of_individual>.
*)

(*
<involvement_by_reference>
An <involvement_by_reference> is a <relationship> that indicates that a <thing>
is referred to in an <activity>.
NOTE	This entity type is for involvements that are not direct <participation>
of a <possible_individual>, such as involvement of a class, or of a historical
or future temporal part of a <possible_individual>.
EXAMPLE	A conversation that refers to the Roman Empire is an <activity> that
relates to the Roman Empire by an <involvement_by_reference>.
*)
  ENTITY involvement_by_reference
    SUBTYPE OF(relationship);
      involved : thing;
      involver : activity;
  END_ENTITY;
(*
*Attribute definitions*
<involved>
The <thing> that is involved in the referenced <activity>.

<involver>
The <activity> in which the referenced <thing> is involved.
*)

(*
<specialization>
A <specialization> is a <relationship> that indicates that all members of the
subclass are members of the superclass.
<specialization> is transitive. 
NOTE	If A is a <specialization> of B and B is a <specialization> of C, then A
is necessarily a <specialization> of C.
EXAMPLE	Centrifugal pump is a <specialization> of pump.
*)
  ENTITY specialization
    SUPERTYPE OF (ONEOF(specialization_by_domain, specialization_by_role, boundary_of_property_space, specialization_of_individual_dimension_from_property, boundary_of_number_space))
    SUBTYPE OF(relationship);
      subclass   : class;
      superclass : class;
  END_ENTITY;
(*
*Attribute definitions*
<subclass>
The <class> that is a specialization of the superclass <class>.

<superclass>
The <class> that is a generalization of the subclass <class>.
*)

(*
<specialization_by_domain>
A <specialization_by_domain> is a <specialization> that indicates that the
member of the <role_and_domain> is a <specialization> of the domain <class>.
EXAMPLE	Manufacturing company is a specialization of the company domain.
*)
  ENTITY specialization_by_domain
    SUBTYPE OF(specialization);
      SELF\specialization.subclass : role_and_domain;
  END_ENTITY;
(*
*Attribute definitions*
<subclass>
The <role_and_domain> that is the subclass of the <class>.
*)

(*
<specialization_by_role>
A <specialization_by_role> is a <specialization> that indicates that the
<role_and_domain> is of the <role> indicated by the superclass.
EXAMPLE	Manufacturing company is a specialization by role of manufacturer.
*)
  ENTITY specialization_by_role
    SUBTYPE OF(specialization);
      SELF\specialization.subclass   : role_and_domain;
      SELF\specialization.superclass : role;
  END_ENTITY;
(*
*Attribute definitions*
<subclass>
The <role_and_domain> that is the subclass in the <specialization_by_role>.

<superclass>
The <role> that is the superclass in the <specialization_by_role>.
*)

(*
<boundary_of_property_space>
A <boundary_of_property_space> is a <specialization> that indicates the members
of the subclass form a boundary of the superclass.
EXAMPLE	The <property_space> that corresponds to the maximum speed head flow
curve is a boundary of the <property_space> that corresponds to the pump
operating envelope.
*)
  ENTITY boundary_of_property_space
    SUBTYPE OF(specialization);
      SELF\specialization.subclass   : property_space;
      SELF\specialization.superclass : property_space;
  END_ENTITY;
(*
*Attribute definitions*
<subclass>
The <property_space> whose members form the boundary of the <property_space>
referenced by the superclass attribute.

<superclass>
The <property_space> that is bounded by the members of the <property_space>
referenced by the subclass attribute.
*)

(*
<specialization_of_individual_dimension_from_property>
A <specialization_of_individual_dimension_from_property> is a <specialization>
that indicates the members of the dimension are members of the property.
EXAMPLE	A diameter of 10m is a length of 10m.
*)
  ENTITY specialization_of_individual_dimension_from_property
    SUBTYPE OF(specialization);
      SELF\specialization.subclass   : individual_dimension;
      SELF\specialization.superclass : property;
  END_ENTITY;
(*
*Attribute definitions*
<subclass>
The <individual_dimension> that is the specialization.

<superclass>
The <property> that is the generalization.
*)

(*
<individual_dimension>
An <individual_dimension> is a <class_of_individual> whose members characterize
a particular <possible_individual>.
EXAMPLE	The set of lines that are each a diameter of a particular circle.
*)
  ENTITY individual_dimension
    SUBTYPE OF(class_of_individual);
  END_ENTITY;

(*
<boundary_of_number_space>
A <boundary_of_number_space> is a <specialization> that indicates that a
<number_space> is a boundary to another <number_space>.
EXAMPLE	The side of a cube in R3 is a <number_space> that is a plane in R3 and
that is a boundary to the <number_space> that is a cube in R3.
*)
  ENTITY boundary_of_number_space
    SUBTYPE OF(specialization);
      SELF\specialization.subclass   : number_space;
      SELF\specialization.superclass : number_space;
  END_ENTITY;

(*
<number_space>
A <number_space> is a <class_of_number> that is a continuum.
EXAMPLE	The integers from 1 to 5 and the reals from 0.000 to 1.000 are examples
of <number_space>.
*)
  ENTITY number_space
    SUPERTYPE OF (ONEOF(number_range, multidimensional_number_space))
    SUBTYPE OF(class_of_number);
  END_ENTITY;

(*
<class_of_number>
A <class_of_number> is a <class_of_class> whose members are members of
<arithmetic_number>.
EXAMPLE	The class of prime numbers can be represented by an instance
<class_of_number>.
*)
  ENTITY class_of_number
    SUPERTYPE OF (ONEOF(number_space, enumerated_number_set))
    SUBTYPE OF(class_of_class);
  END_ENTITY;

(*
<enumerated_number_set>
An <enumerated_number_set> is a <class_of_number> and an
<enumerated_set_of_class>.
EXAMPLE	The set of integer numbers {3,4,5} can be represented by an instance of
<enumerated_number_set>.
*)
  ENTITY enumerated_number_set
    SUBTYPE OF(class_of_number, enumerated_set_of_class);
  END_ENTITY;

(*
<enumerated_set_of_class>
An <enumerated_set_of_class> is a <class_of_class> that is an enumerated set of
the instances of <class>. Enumerated means that the full set of members is
specified.
EXAMPLE	{Plastic, 1.2kg, frame} is an <enumerated_set_of_class>. More generally
{{A,B,C},{B,C,D},{C,D,E}} is an <enumerated_set_of_class>. Also "electrical
engineering classes for ERDL V1.1" is an <enumerated_set_of_class>.
*)
  ENTITY enumerated_set_of_class
    SUBTYPE OF(class_of_class);
  END_ENTITY;

(*
<enumerated_property_set>
An <enumerated_property_set> is a <class_of_property> and an
<enumerated_set_of_class> whose members are an enumerated set of properties of
the same <single_property_dimension> or <multidimensional_property_space>.
EXAMPLE	{115 Volt, 240 Volt} is an example of an <enumerated_property_set>.
*)
  ENTITY enumerated_property_set
    SUBTYPE OF(class_of_property, enumerated_set_of_class);
  END_ENTITY;

(*
<number_range>
A <number_range> is a one dimensional <number_space>.
EXAMPLE	The number space -273.1 to +infinity is a <number_range>.
*)
  ENTITY number_range
    SUBTYPE OF(number_space);
  END_ENTITY;

(*
<multidimensional_number_space>
A <multidimensional_number_space> is a <number_space> and a
<multidimensional_object>.
EXAMPLE	R3, the space defined as being all the triples of real numbers (e.g.
<1.0, 2.1, 5.4>), is a <multidimensional_number_space>.
*)
  ENTITY multidimensional_number_space
    SUBTYPE OF(number_space, multidimensional_object);
  END_ENTITY;

(*
<other_relationship>
An <other_relationship> is a <relationship> that is not a member of any of the
other explicit subtypes of <relationship>.
The meaning of an <other_relationship> is specified by a <classification> by an
instance of <class_of_relationship_with_signature>.
EXAMPLE	The <relationship> that indicates that a car is manufactured by Ford
can be represented by an instance of <other_relationship>.
The <role_and_domain> that classifies the end_1 and end_2 attributes is given
by the class_of_end_1 and class_of_end_2 attributes respectively for the
<class_of_relationship_with_signature> that classifies the <other_relationship>.
Where the <class_of_relationship_with_signature> is also a
<class_of_relationship_with_related_end_1> or a
<class_of_relationship_with_related_end_2> then the end_1 or end_2 respectively
of the <other_relationship> shall take the value specified by the related
attribute.
*)
  ENTITY other_relationship
    SUBTYPE OF(relationship);
      end_1 : thing;
      end_2 : thing;
  END_ENTITY;
(*
*Attribute definitions*
<end_1>
the first of two instances of <thing> that are related.

<end_2>
the second of two instances of <thing> that are related.
*)

(*
<classification>
A <classification> is type of <relationship> that indicates that the classified
<thing> is a member of the classifier <class>.
<classification> is not transitive. 
NOTE	A subtype of <relationship> is transitive if when A is related to B, and B
is related to C in the same way, then A is necessarily related to C in that way.
<specialization> and <composition> are examples of transitive subtypes of
<relationship>. However, because <classification> is not transitive does not
mean that A cannot be related to C in the same way, only that it does not
necessarily follow from A being related to B and B being related to C.
EXAMPLE 1	The <relationship> that indicates that London is a member of the
class known as 'capital city' is a <classification>.
EXAMPLE 2	The <relationship> that indicates that 'pump' is a member of the
class 'equipment type' is a <classification>.
*)
  ENTITY classification
    SUBTYPE OF(relationship);
      classified : thing;
      classifier : class;
  END_ENTITY;
(*
*Attribute definitions*
<classified>
The <thing> that is a member of the classifier <class>.

<classifier>
The <class> of which the classified <thing> is a member.
*)

(*
<lower_bound_of_property_range>
A <lower_bound_of_property_range> is a <class_of_classification> that indicates
that a <property> is the lower bound of a <property_range>.
EXAMPLE	-10 Celsius is the lower bound of the range -10 to +20 Celsius.
*)
  ENTITY lower_bound_of_property_range
    SUBTYPE OF(classification);
      SELF\classification.classified : property;
      SELF\classification.classifier : property_range;
  END_ENTITY;
(*
*Attribute definitions*
<classified>
The <property> that as classified is the lower bound in the
<lower_bound_of_property_range>.

<classifier>
The <property_range> that is bounded as classifier in the
<lower_bound_of_property_range>.
*)

(*
<property_range>
A <property_range> is a <property_space> that is a continuous subset of a
<single_property_dimension>.
EXAMPLE	-10C to +20C is a <property_range> of temperature.
*)
  ENTITY property_range
    SUBTYPE OF(property_space);
  END_ENTITY;

(*
<upper_bound_of_property_range>
An <upper_bound_of_property_range> is a <class_of_classification> that
indicates that the <property> is the upper bound of the <property_range>.
EXAMPLE	+20 Celsius is the upper bound of the range -10 to +20 Celsius.
*)
  ENTITY upper_bound_of_property_range
    SUBTYPE OF(classification);
      SELF\classification.classified : property;
      SELF\classification.classifier : property_range;
  END_ENTITY;
(*
*Attribute definitions*
<classified>
The <property> that as the classified in the upper bound in the
<upper_bound_of_property_range>.

<classifier>
The <property_range> that as the classifier has an upper bound specified in the
<upper_bound_of_property_range>.
*)

(*
<lower_bound_of_number_range>
A <lower_bound_of_number_range> is a <relationship> that indicates an
<arithmetic_number> is the lowest value in a <number_range>.
EXAMPLE	3.1 is the lower bound of the range [3.1 to 5.3].
*)
  ENTITY lower_bound_of_number_range
    SUBTYPE OF(classification);
      SELF\classification.classified : arithmetic_number;
      SELF\classification.classifier : number_range;
  END_ENTITY;
(*
*Attribute definitions*
<classified>
The <arithmetic_number> that as classified is the lower bound to the
<number_range>.

<classifier>
The <number_range> that as classifier is bounded by the <arithmetic_number>.
*)

(*
<arithmetic_number>
An <arithmetic_number> is a <class_of_class> whose member classes have the same
sign and count or magnitude. An <arithmetic_number> is the number itself, not
any representation of the number.
NOTE 	<integer_number> is not a subtype of <real_number>. The members of
<integer_number> are part of a different continuum from the members of
<real_number>, but are isomorphic to a subset of it.
EXAMPLE 1	The number 2 and the number 2.0 can be represented by instances of
<arithmetic_number>.
EXAMPLE 2	Fifteen, the number itself not the English word "fifteen", is an
<arithmetic_number>. It could be represented by an <EXPRESS_integer> or an
<EXPRESS_real> but could also be represented by  "XV", or a binary, or a
hexadecimal representation.
*)
  ENTITY arithmetic_number
    SUPERTYPE OF (ONEOF(real_number, integer_number, multidimensional_number))
    SUBTYPE OF(class_of_class);
  END_ENTITY;

(*
<real_number>
A <real_number> is an <arithmetic_number> that is a real number.
EXAMPLE	3.2146 is a representation of a real number.
*)
  ENTITY real_number
    SUBTYPE OF(arithmetic_number);
  END_ENTITY;

(*
<integer_number>
An <integer_number> is an <arithmetic_number> that is an integer number.
EXAMPLE	1, 2, and 10 are representations of integer numbers.
*)
  ENTITY integer_number
    SUBTYPE OF(arithmetic_number);
  END_ENTITY;

(*
<multidimensional_number>
A <multidimensional_number> is an <arithmetic_number> that is also a
<multidimensional_object>.
EXAMPLE	[3.2, 5.4, 55.6] is a <multidimensional_number>.
*)
  ENTITY multidimensional_number
    SUBTYPE OF(arithmetic_number, multidimensional_object);
  END_ENTITY;

(*
<upper_bound_of_number_range>
An <upper_bound_of_number_range> is a <relationship> that indicates an
<arithmetic_number> is the largest value in a <number_range>.
EXAMPLE	5.3 is the upper bound of the range [3.1 to 5.3].
*)
  ENTITY upper_bound_of_number_range
    SUBTYPE OF(classification);
      SELF\classification.classified : arithmetic_number;
      SELF\classification.classifier : number_range;
  END_ENTITY;
(*
*Attribute definitions*
<classified>
The <arithmetic_number> that as classified is the upper bound to the
<number_range>.

<classifier>
The <number_range> that as classifier is bounded in the
<upper_bound_of_number_range>.
*)

(*
<intended_role_and_domain>
An <intended_role_and_domain> is a <relationship> that indicates the
<role_and_domain> some temporal part of the <possible_individual> is intended to
take with respect to some <activity>.
EXAMPLE	Some <possible_individual> that is classified as a pump is intended to
play the <role_and_domain> of a performer in some pumping activity.
*)
  ENTITY intended_role_and_domain
    SUBTYPE OF(relationship);
      played : role_and_domain;
      player : possible_individual;
  END_ENTITY;
(*
*Attribute definitions*
<played>
The <role_and_domain> that is intended to be played by the referenced
<possible_individual>.

<player>
The <possible_individual> that is intended to play the referenced
<role_and_domain>
*)

(*
<possible_role_and_domain>
A <possible_role_and_domain> is a <relationship> that indicates that a player
<possible_individual> can possibly play the played <role_and_domain>.
EXAMPLE	Acting as an anchor is a possible role for pump 1234.
*)
  ENTITY possible_role_and_domain
    SUBTYPE OF(relationship);
      played : role_and_domain;
      player : possible_individual;
  END_ENTITY;
(*
*Attribute definitions*
<played>
The <role_and_domain> that the <possible_individual> can play.

<player>
The <possible_individual> that can play the <role_and_domain>.
*)

(*
<representation_of_thing>
A <representation_of_thing> is a <relationship> that indicates that a
<possible_individual> is a sign for a <thing>.
EXAMPLE	The relationship between a nameplate with its serial number and other
data, and a particular pressure vessel (<materialized_physical_object>) is an
example of <representation_of_thing> that is an <identification>.
NOTE	In general it will be <class_of_representation_of_thing> that will be of
interest, rather than each <representation_of_thing>. However,
<representation_of_thing> will be of interest when individual copies of
documents are managed and controlled.
*)
  ENTITY representation_of_thing
    SUBTYPE OF(relationship);
      represented : thing;
      sign        : possible_individual;
  END_ENTITY;
(*
*Attribute definitions*
<represented>
the <thing> that is represented in the <representation_of_thing>.

<sign>
the <possible_individual> that is the sign in the <representation_of_thing>.
*)

(*
<definition>
A <definition> is a <representation_of_thing> that indicates that the <class>
is defined by the sign <possible_individual>.
EXAMPLE	The <relationship> between this copy of the preceding sentence and the
heading before that is a <definition>.
*)
  ENTITY definition
    SUBTYPE OF(representation_of_thing);
      SELF\representation_of_thing.represented : class;
  END_ENTITY;
(*
*Attribute definitions*
<represented>
the <class> that is defined in the <definition>.
*)

(*
<identification>
An <identification> is a <representation_of_thing> that indicates that the
<possible_individual> is an identifier for the <thing> identified.
EXAMPLE 1	The relationship between the text "P101" on a printed copy of a pump
data sheet and the applicable <functional_physical_object> is an example of
<identification>.
EXAMPLE 2	The relationship between a name tag and an employee wearing it is an
example of <identification>.
*)
  ENTITY identification
    SUBTYPE OF(representation_of_thing);
  END_ENTITY;

(*
<description>
A <description> is a <representation_of_thing> that indicates that the
<possible_individual> describes the <thing>.
EXAMPLE	A copy of the Piping and Instrumentation Diagram for Crude Distillation
Unit 1 at refinery X has a <description> relationship with the plant.
*)
  ENTITY description
    SUBTYPE OF(representation_of_thing);
  END_ENTITY;

(*
<usage_of_representation>
A <usage_of_representation> is a <relationship> that indicates that the
<representation_of_thing> is used by the <possible_individual>. Usage does not
imply responsibility.
EXAMPLE	The sign "P101" is used by the XYZ company to represent a particular
pump in a design.
*)
  ENTITY usage_of_representation
    SUBTYPE OF(relationship);
      used : representation_of_thing;
      user : possible_individual;
  END_ENTITY;
(*
*Attribute definitions*
<used>
the <representation_of_thing> that is used by some user or user group.

<user>
the <possible_individual> that is the user or user group that uses the
<representation_of_thing>.
*)

(*
<responsibility_for_representation>
A <responsibility_for_representation> is a <relationship> that indicates that
the controller <possible_individual> administers the controlled
<representation_of_thing>.
EXAMPLE	The responsibility for the administration of this standard lies with
ISO.
*)
  ENTITY responsibility_for_representation
    SUBTYPE OF(relationship);
      controlled : representation_of_thing;
      controller : possible_individual;
  END_ENTITY;
(*
*Attribute definitions*
<controlled>
the <representation_of_thing> controlled in the
<responsibility_for_representation>.

<controller>
the <possible_individual> that is the controller in the
<responsibility_for_representation>.
*)

(*
<approval>
An <approval> is a <relationship> that indicates that a <relationship> has been
approved by a <possible_individual> that is an approver.
NOTE	Care should be taken as to what is approved. Sometimes it will not be say
a pump that is approved, but the participation of the pump in a particular
<activity>, or member of some <class_of_activity>.
EXAMPLE	The <involvement_by_reference> of a plant design with a construction
activity, being approved by the site manager, is an example of an <approval>.
*)
  ENTITY approval
    SUBTYPE OF(relationship);
      approved : relationship;
      approver : possible_individual;
  END_ENTITY;
(*
*Attribute definitions*
<approved>
The <relationship> that is approved in the <approval>.

<approver>
The <possible_individual> that is the approver in the <approval>.
*)

(*
<comparison_of_property>
A <comparison_of_property> is a <relationship> that indicates the magnitude of
one <property> is greater than that of another.
EXAMPLE	That the temperature in a room is less than that in a furnace can be
indicated by an instance of <comparison_of_property>.
*)
  ENTITY comparison_of_property
    SUBTYPE OF(relationship);
      greater_element : property;
      lesser_element  : property;
  END_ENTITY;
(*
*Attribute definitions*
<greater_element>
The <property> that is the greater element in a <comparison_of_property>.

<lesser_element>
The <property> that is the lesser element in the <comparison_of_property>.
*)

(*
<functional_mapping>
A <functional_mapping> is a <relationship> that indicates that the input gave
the result as determined by the classifying <class_of_functional_mapping>.
EXAMPLE The mapping of [5, 3] to 2, classified by the minus function is an
example of <functional_mapping>.
*)
  ENTITY functional_mapping
    SUBTYPE OF(relationship);
      input  : thing;
      result : thing;
  END_ENTITY;
(*
*Attribute definitions*
<input>
The input to the mapping.

<result>
The result of the application of the function to the input.
*)

(*
<difference_of_set_of_class>
A <difference_of_set_of_class> is a <functional_mapping> that indicates that
the membership of the result <class> is the difference between the membership of
the union of the classes that are members of the <enumerated_set_of_class> and
their intersection.
NOTE	When the <enumerated_set_of_class> consists of a <class> and another
<class> that is a subclass of the first class, then the difference is the
complement of the subclass.
EXAMPLE	The difference of the <enumerated_set_of_class>
{{A,B,C},{B,C,D},{C,D,E}} is {A,B,D,E}.
*)
  ENTITY difference_of_set_of_class
    SUBTYPE OF(functional_mapping);
      SELF\functional_mapping.input  : enumerated_set_of_class;
      SELF\functional_mapping.result : class;
  END_ENTITY;
(*
*Attribute definitions*
<input>
The <enumerated_set_of_class> that is the domain of the difference function.

<result>
The <class> that is the range of the difference function.
*)

(*
<union_of_set_of_class>
A <union_of_set_of_class> is a <functional_mapping> that indicates that the
membership of the result <class> is the union of the members of the
<enumerated_set_of_class> classes.
EXAMPLE The union of the <enumerated_set_of_class> {{A,B,C},{B,C,D},{C,D,E}} is
{A,B,C,D,E}.
*)
  ENTITY union_of_set_of_class
    SUBTYPE OF(functional_mapping);
      SELF\functional_mapping.input  : enumerated_set_of_class;
      SELF\functional_mapping.result : class;
  END_ENTITY;
(*
*Attribute definitions*
<input>
The <enumerated_set_of_class> that is the domain of the union function.

<result>
The <class> that is the range of the union function.
*)

(*
<intersection_of_set_of_class>
An <intersection_of_set_of_class> is a <functional_mapping> that indicates that
the result <class> consists of those members of the members of the classes
<enumerated_set_of_class> that are common to each class.
EXAMPLE	The intersection of the <enumerated_set_of_class>
{{A,B,C},{B,C,D},{C,D,E}} is {C}.
*)
  ENTITY intersection_of_set_of_class
    SUBTYPE OF(functional_mapping);
      SELF\functional_mapping.input  : enumerated_set_of_class;
      SELF\functional_mapping.result : class;
  END_ENTITY;
(*
*Attribute definitions*
<input>
The <enumerated_set_of_class> whose members are intersected.

<result>
The <class> that represents the intersection of the members of the
<enumerated_set_of_class>.
*)

(*
<property_quantification>
A <property_quantification> is a <functional_mapping> whose members map a
<property> to an <arithmetic_number>.
EXAMPLE	The link that maps a particular mass to the number 4.2 can be
represented by an instance of <property_quantification>.
NOTE 1	The actual representation of the number is done by linking the
<arithmetic_number> to a <class_of_EXPRESS_information_representation> via a
<class_of_representation_of_thing>.
NOTE 2	The unit or scale of the quantification is given by classifying the
<property_quantification> by a <scale>.
*)
  ENTITY property_quantification
    SUBTYPE OF(functional_mapping);
      SELF\functional_mapping.input  : property;
      SELF\functional_mapping.result : arithmetic_number;
  END_ENTITY;
(*
*Attribute definitions*
<input>
The <property> that is quantified by the referenced <arithmetic_number>

<result>
The <arithmetic_number> that quantifies the referenced <property>
*)

(*
<recognition>
A <recognition> is a <relationship> that indicates that a <thing> is recognized
through an <activity>.
EXAMPLE	Measurement activity #358 recognized that the room was a member of the
20 Celsius <property>.
*)
  ENTITY recognition
    SUBTYPE OF(relationship);
      recognized  : thing;
      recognizing : activity;
  END_ENTITY;
(*
*Attribute definitions*
<recognized>
The <thing> that is recognized by the <activity>.

<recognizing>
The <activity> that results in the recognition.
*)

(*
<indirect_property>
An <indirect_property> is a <relationship> between a <property> and a
<possible_individual>. The nature of the <indirect_property> is defined by its
<classification> by a <class_of_indirect_property>.
A property is indirect when it does not directly apply to the
<possible_individual> it applies to, but is derived from some process.
NOTE	A property is indirect because it does not directly apply. There can only
be one temperature that a thing has (at a time), so a Maximum Allowable Working
Temperature is not its temperature, but an indirect property derived from doing
some tests or calculations to determine its value (as opposed to it being a
current measurement). This is what makes it indirect.
EXAMPLE	A Maximum Allowable Working Pressure of 50 BarA for V101 is specified
by an <indirect_property> between the pressure of 50 BarA and V101, classified
by the <class_of_indirect_property> Maximum Allowable Working Pressure.
*)
  ENTITY indirect_property
    SUBTYPE OF(relationship);
      possessor : possible_individual;
      property  : property;
  END_ENTITY;
(*
*Attribute definitions*
<possessor>
The <possible_individual> that possesses the <indirect_property>.

<property>
The <property> that is indirectly possessed by the <possible_individual>.
*)

(*
<temporal_sequence>
A <temporal_sequence> is a <relationship> that indicates that one
<possible_individual> precedes another in a temporal sense.
EXAMPLE 1	The <relationship> that indicates that the <possible_individual> that
is the construction phase of a plant precedes the <possible_individual> that is
the commissioning phase of a plant can be represented by an instance of
<temporal_sequence>.
EXAMPLE 2	The <relationship> that indicates that the <period_in_time> known as
the industrial revolution preceded the <period_in_time> known as the information
revolution can be represented by an instance of <temporal_sequence>.
*)
  ENTITY temporal_sequence
    SUBTYPE OF(relationship);
      predecessor : possible_individual;
      successor   : possible_individual;
  END_ENTITY;
(*
*Attribute definitions*
<predecessor>
The <possible_individual> that is the predecessor in the <sequence>.

<successor>
The <possible_individual> that is the successor in a <sequence>.
*)

(*
<class_of_class_of_relationship_with_signature>
An <class_of_class_of_relationship_with_signature> is a
<class_of_class_of_relationship> and <class_of_relationship_with_signature>.
The purpose of <class_of_class_of_relationship_with_signature> is to allow
other types of classes of relationship, not explicitly defined as entity data
types in this part of ISO 15926, to be defined as reference data.
EXAMPLE	Transitive, with the roles from and to indicating the direction of
transitivity, is a <class_of_class_of_relationship_with_signature>. A
<class_of_relationship> is transitive if when A relates to B and B relates to C
then A relates to C, all in the same way.
*)
  ENTITY class_of_class_of_relationship_with_signature
    SUBTYPE OF(class_of_class_of_relationship, class_of_relationship_with_signature);
  END_ENTITY;

(*
<class_of_class_of_relationship>
A <class_of_class_of_relationship> is a <class_of_class> whose members are
instances of <class_of_relationship>.
EXAMPLE	Reflexive is an example of <class_of_class_of_relationship>. A
reflexive <class_of_relationship> is one that may have the same <thing> playing
both roles, such as connection, where something may be connected to itself.
*)
  ENTITY class_of_class_of_relationship
    SUPERTYPE OF (ONEOF(class_of_class_of_usage_of_representation, class_of_class_of_responsibility_for_representation, class_of_class_of_representation_translation, class_of_class_of_relationship_with_signature, class_of_class_of_representation, class_of_dimension_for_shape, class_of_class_of_composition, property_space_for_class_of_shape_dimension, class_of_scale, class_of_namespace, dimension_of_shape))
    SUBTYPE OF(class_of_class);
  END_ENTITY;

(*
<class_of_class_of_usage_of_representation>
A <class_of_class_of_usage_of_representation> is a
<class_of_class_of_relationship> whose members are members of
<class_of_usage_of_representation> linking the user to a set of
representations.
EXAMPLE	The link between a user company and the identification set between Weir
pumps and Weir serial numbers indicating that the user company uses the Weir
identifiers can be represented by an instance of
<class_of_class_of_usage_of_representation>.
*)
  ENTITY class_of_class_of_usage_of_representation
    SUBTYPE OF(class_of_class_of_relationship);
      class_of_class_of_used : class_of_class_of_representation;
      user                   : possible_individual;
  END_ENTITY;
(*
*Attribute definitions*
<class_of_class_of_used>
The <class_of_class_of_representation> that is used by the referenced
<possible_individual>.

<user>
The <possible_individual> that uses the referenced
<class_of_class_of_representation>.
*)

(*
<class_of_class_of_representation>
A <class_of_class_of_representation> is a <class_of_class_of_relationship>
whose members are instances of <class_of_representation_of_thing>.
EXAMPLE	The link that indicates that members of the class 'document' can be
represented by patterns of the class 'XML' is a
<class_of_class_of_representation>.
*)
  ENTITY class_of_class_of_representation
    SUBTYPE OF(class_of_class_of_relationship);
      class_of_pattern     : class_of_class_of_information_representation;
      class_of_represented : class;
  END_ENTITY;
(*
*Attribute definitions*
<class_of_pattern>
The <class_of_class_of_information_representation> whose members can represent
members of the referenced <class>.

<class_of_represented>
The <class> whose members can be represented by members of the referenced
<class_of_class_of_information_representation>.
*)

(*
<class_of_class_of_identification>
A <class_of_class_of_identification> is a <class_of_class_of_representation>
whose members are members of <class_of_identification>.
EXAMPLE	The link between the <class> 'family of manufactured parts' and the
<representation_form> 'ISO 13584 Basic Semantic Unit', that indicates that part
families can be identified using ISO 13584, can be represented by an instance of
<class_of_class_of_identification>.
*)
  ENTITY class_of_class_of_identification
    SUBTYPE OF(class_of_class_of_representation);
  END_ENTITY;

(*
<class_of_class_of_definition>
A <class_of_class_of_definition> is a <class_of_class_of_representation> whose
members are members of <class_of_definition>.
EXAMPLE	Normative, is a <class_of_class_of_definition>.
*)
  ENTITY class_of_class_of_definition
    SUBTYPE OF(class_of_class_of_representation);
  END_ENTITY;

(*
<class_of_class_of_description>
A <class_of_class_of_description> is a <class_of_class_of_representation> whose
members are members of <class_of_description>.
EXAMPLE	Service description is a <class_of_class_of_description>.
*)
  ENTITY class_of_class_of_description
    SUBTYPE OF(class_of_class_of_representation);
  END_ENTITY;

(*
<class_of_class_of_information_representation>
A <class_of_class_of_information_representation> is a
<class_of_class_of_individual> that classifies information representation
classes.
EXAMPLE	Integer Octal is a <class_of_class_of_representation> whose members are
all the information representation classes that correspond to Octal formatted
integers.
*)
  ENTITY class_of_class_of_information_representation
    SUPERTYPE OF (ONEOF(representation_form, language, document_definition))
    SUBTYPE OF(class_of_class_of_individual);
  END_ENTITY;

(*
<representation_form>
A <representation_form> is a  <class_of_class_of_information_representation>
that distinguishes the form of representation.
EXAMPLE	Hexadecimal, text, script, symbol, picture, diagram, semaphore, Morse
code, music score, MIDI file format, and XML can each be represented by
instances of <representation_form>.
*)
  ENTITY representation_form
    SUBTYPE OF(class_of_class_of_information_representation);
  END_ENTITY;

(*
<language>
A <language> is a <class_of_class_of_information_representation> whose members
are all the information representations made in the language.
EXAMPLE	English, French, C++ and Java can be represented by instances of
<language>.
*)
  ENTITY language
    SUBTYPE OF(class_of_class_of_information_representation);
  END_ENTITY;

(*
<document_definition>
A <document_definition> is a <class_of_class_of_information_representation>
that defines the content and/or structure of documents.
EXAMPLE	XYZ Corp. Material Safety Data Sheet is a <document_definition>.
*)
  ENTITY document_definition
    SUBTYPE OF(class_of_class_of_information_representation);
  END_ENTITY;

(*
<class_of_class_of_responsibility_for_representation>
A <class_of_class_of_responsibility_for_representation> is a
<class_of_class_of_relationship> whose members are members of
<class_of_responsibility_for_representation> linking the controller to a set of
representations.
EXAMPLE	The link between Weir and the identification set between Weir pumps and
Weir serial numbers indicating that the  identifications are defined by Weir can
be represented by an instance of <class_of_class_of_usage_of_representation>.
*)
  ENTITY class_of_class_of_responsibility_for_representation
    SUBTYPE OF(class_of_class_of_relationship);
      class_of_class_of_controlled : class_of_class_of_representation;
      controller                   : possible_individual;
  END_ENTITY;
(*
*Attribute definitions*
<class_of_class_of_controlled>
The <class_of_class_of_representation> that is controlled by the referenced
<possible_individual>.

<controller>
The <possible_individual> that controls the referenced
<class_of_class_of_representation>.
*)

(*
<class_of_class_of_representation_translation>
A <class_of_class_of_representation_translation> is a
<class_of_class_of_relationship> whose members are members of
<class_of_representation_translation>.
EXAMPLE	The class ASCII whose members include all translation classes between
members of the ASCII Binary and ASCII Text representation classes is a
<class_of_class_of_representation_translation>.
*)
  ENTITY class_of_class_of_representation_translation
    SUBTYPE OF(class_of_class_of_relationship);
      class_of_first  : class_of_class_of_information_representation;
      class_of_second : class_of_class_of_information_representation;
  END_ENTITY;
(*
*Attribute definitions*
<class_of_first>
The first <class_of_class_of_information_representation> for which a
translation is defined

<class_of_second>
The second <class_of_class_of_information_representation> for which a
translation is defined
*)

(*
<class_of_dimension_for_shape>
A <class_of_dimension_for_shape> is a <class_of_class_of_relationship> that
indicates that members of the class_of_shape have a dimension that is a member
of the class_of_dimension.
EXAMPLE	Specifying that members of the "class of circle" have members of "class
of diameter" is an instance of <class_of_dimension_for_shape>.
*)
  ENTITY class_of_dimension_for_shape
    SUBTYPE OF(class_of_class_of_relationship);
      class_of_dimension : class_of_shape_dimension;
      class_of_shape     : class_of_shape;
  END_ENTITY;
(*
*Attribute definitions*
<class_of_dimension>
The <class_of_shape_dimension> in the <class_of_dimension_for_shape>.

<class_of_shape>
The <class_of_shape> in the <class_of_dimension_for_shape>.
*)

(*
<class_of_shape_dimension>
A <class_of_shape_dimension> is a <class_of_class> that is a dimension of a
<class_of_shape>.
EXAMPLE	Diameter, height, and width (in general rather than a particular one)
are examples of <class_of_shape_dimension>.
*)
  ENTITY class_of_shape_dimension
    SUBTYPE OF(class_of_class);
  END_ENTITY;

(*
<class_of_shape>
A <class_of_shape> is a <property_space> that has instances of <shape> as its
members.
EXAMPLE	Regular geometric forms such as line, circle, square, cylinder, sphere,
and cone can be represented by instances of <class_of_shape>.
*)
  ENTITY class_of_shape
    SUBTYPE OF(property_space);
  END_ENTITY;

(*
<class_of_class_of_composition>
A <class_of_class_of_composition> is a <class_of_class_of_relationship> whose
members are instances of <class_of_composition>. It indicates that a member of a
member of the class_of_class_of_part is a part of a member of an instance of the
class_of_class_of_whole.
EXAMPLE	Toxicity description is a class_of_class_of_part of a material data
sheet, where the description "has carcinogenic components" is a class_of_part on
the Mogas Material Safety Data Sheet, and copy #5 of the Mogas Material Safety
Data Sheet has "has carcinogenic components" as a part.
*)
  ENTITY class_of_class_of_composition
    SUBTYPE OF(class_of_class_of_relationship);
      class_of_class_of_part  : class_of_class_of_individual;
      class_of_class_of_whole : class_of_class_of_individual;
  END_ENTITY;
(*
*Attribute definitions*
<class_of_class_of_part>
The <class_of_class_of_individual> that is the class_of_class_of_part in the
<class_of_class_of_composition>.

<class_of_class_of_whole>
The <class_of_class_of_individual> that is the class_of_class_of_whole in the
<class_of_class_of_composition>.
*)

(*
<property_space_for_class_of_shape_dimension>
A <property_space_for_class_of_shape_dimension> is a
<class_of_class_of_relationship> that indicates the <property_space> that a
<class_of_shape_dimension> is from.
EXAMPLE	Diameter is a length dimension.
*)
  ENTITY property_space_for_class_of_shape_dimension
    SUBTYPE OF(class_of_class_of_relationship);
      class_of_shape_dimension : class_of_shape_dimension;
      property_space           : property_space;
  END_ENTITY;
(*
*Attribute definitions*
<class_of_shape_dimension>
The <class_of_shape_dimension> whose members have a <property> in the
referenced <property_space>.

<property_space>
The <property_space> that the <class_of_shape_dimension> is from.
*)

(*
<class_of_scale>
A <class_of_scale> is a <class_of_class_of_relationship> whose members are
instances of <scale>.
EXAMPLE	SI Unit.
*)
  ENTITY class_of_scale
    SUBTYPE OF(class_of_class_of_relationship);
  END_ENTITY;

(*
<class_of_namespace>
A <class_of_namespace> is a <class_of_class_of_relationship> that indicates
that a <class_of_information_representation> is the class_of_part used as a
namespace for each member of a <class_of_class_of_information_representation>
that is the class_of_class_of_whole.
EXAMPLE	WC1: is used as the name space for a set of water company identifiers.
*)
  ENTITY class_of_namespace
    SUPERTYPE OF (ONEOF(class_of_left_namespace, class_of_right_namespace))
    SUBTYPE OF(class_of_class_of_relationship);
      class_of_class_of_whole : class_of_class_of_information_representation;
      class_of_part           : class_of_information_representation;
  END_ENTITY;
(*
*Attribute definitions*
<class_of_class_of_whole>
The <class_of_class_of_information_representation> whose members have the
namespace.

<class_of_part>
The <class_of_information_representation> that is the namespace.
*)

(*
<class_of_left_namespace>
A <class_of_left_namespace> is a <class_of_namespace> that indicates that the
class_of_part is the left namespace for the members of the
class_of_class_of_whole.
EXAMPLE	WC1: is the left namespace for customer site identifiers for Water
Company 1.
*)
  ENTITY class_of_left_namespace
    SUBTYPE OF(class_of_namespace);
  END_ENTITY;

(*
<class_of_right_namespace>
A <class_of_right_namespace> is a <class_of_namespace> where the class_of_part
is the namespace for the members of the class_of_class_of_whole.
*)
  ENTITY class_of_right_namespace
    SUBTYPE OF(class_of_namespace);
  END_ENTITY;

(*
<dimension_of_shape>
A <dimension_of_shape> is a <class_of_class_of_relationship> that indicates
that members of the <shape_dimension> are dimensions of the <shape> members.
EXAMPLE	The sets of 10m lines that are diameters of 10m circles is an example
of <dimension_of_shape>.
*)
  ENTITY dimension_of_shape
    SUBTYPE OF(class_of_class_of_relationship);
      dimension : shape_dimension;
      shape     : shape;
  END_ENTITY;
(*
*Attribute definitions*
<dimension>
The <shape_dimension> of the <shape>.

<shape>
The <shape> that possesses the <shape_dimension>.
*)

(*
<shape_dimension>
A <shape_dimension> is a <class_of_class_of_individual> that is a set of
<individual_dimension> that define an aspect of a shape.
EXAMPLE	Diameter of 5m, height of 3mm, and width of 10cm are members of
<shape_dimension>.
*)
  ENTITY shape_dimension
    SUBTYPE OF(class_of_class_of_individual);
  END_ENTITY;

(*
<class_of_specialization>
A <class_of_specialization> is a <class_of_relationship> whose members are
instances of <specialization>. It indicates that a member of the
class_of_subclass is a subclass of a member of the class_of_superclass.
EXAMPLE	The <class_of_specialization> that indicates that members of the class
"family of ASME bolts", e.g. 3 inch, 2 inch bolts, are specializations of
members of the <enumerated_property_set> "set of bolt lengths", e.g. 3 inch, 2
inch.
*)
  ENTITY class_of_specialization
    SUBTYPE OF(class_of_relationship);
      class_of_subclass   : class_of_class;
      class_of_superclass : class_of_class;
  END_ENTITY;
(*
*Attribute definitions*
<class_of_subclass>
The <class_of_class> whose members are the subclass in the members of the
<class_of_specialization>.

<class_of_superclass>
The <class_of_class> whose members are the superclass in the members of the
<class_of_specialization>.
*)

(*
<class_of_intended_role_and_domain>
A <class_of_intended_role_and_domain> is a <class_of_relationship> that
indicates that a member of the <class_of_individual> is intended to act as a
member of the <role_and_domain>.
EXAMPLE	Pumps are intended to play the <role_and_domain> of performer in some
pumping activity.
*)
  ENTITY class_of_intended_role_and_domain
    SUBTYPE OF(class_of_relationship);
      class_of_player : class_of_individual;
      played          : role_and_domain;
  END_ENTITY;
(*
*Attribute definitions*
<class_of_player>
The <class_of_individual> whose members may play the intended <role_and_domain>.

<played>
The <role_and_domain> that is intended to be played by members of the
<class_of_individual>.
*)

(*
<class_of_approval_by_status>
A <class_of_approval_by_status> is a <class_of_relationship> that indicates a
status of the approval that is independent of what is being approved by whom.
EXAMPLE	approved, approved with comments, disapproved with comments are
examples of <class_of_approval_by_status>.
*)
  ENTITY class_of_approval_by_status
    SUBTYPE OF(class_of_relationship);
  END_ENTITY;

(*
<class_of_relative_location>
A <class_of_relative_location> is a <class_of_relationship> whose members are
instances of <relative_location>.
EXAMPLE	Beside, above, and below are examples of <class_of_relative_location>.
*)
  ENTITY class_of_relative_location
    SUBTYPE OF(class_of_relationship);
      class_of_located : class_of_individual;
      class_of_locator : class_of_individual;
  END_ENTITY;
(*
*Attribute definitions*
<class_of_located>
The <class_of_individual> whose members are located by members of the
class_of_locator <class_of_individual>.

<class_of_locator>
The <class_of_individual> whose members act as locator for the members of the
class_of_located <class_of_individual>.
*)

(*
<class_of_containment_of_individual>
A <class_of_containment_of_individual> is a <class_of_relative_location> whose
members are instances of <containment_of_individual>. It indicates that a member
of the class_of_locator <class_of_individual> can contain a member of the
class_of_located <class_of_individual>.
EXAMPLE	That 'de-icing fluid' can be contained by a '1500ml screw-top plastic
bottle' is a <class_of_containment_of_individual>.
*)
  ENTITY class_of_containment_of_individual
    SUBTYPE OF(class_of_relative_location);
  END_ENTITY;

(*
<class_of_functional_mapping>
A <class_of_functional_mapping> is a <class_of_relationship> that is a many to
one mapping. A <class_of_functional_mapping> is a function.
NOTE 1	This entity type would naturally have the name of function, but this is
an EXPRESS reserved word.
NOTE 2	The significance of a function being a many to one mapping is that the
same answer is always obtained. So, for example, 5 - 3 always gives 2. Note that
the minus function on two other arguments can also give 2.
NOTE 3	When there are several arguments to a function, then these are presented
in a <multidimensional_object>.
EXAMPLE	Minus is an example of <class_of_functional_mapping>.
*)
  ENTITY class_of_functional_mapping
    SUBTYPE OF(class_of_relationship);
      codomain : class;
      domain   : class;
  END_ENTITY;
(*
*Attribute definitions*
<codomain>
The result of applying the function to the domain.

<domain>
The set of things to which the function is applied.
*)

(*
<class_of_isomorphic_functional_mapping>
A <class_of_isomorphic_functional_mapping> is a <class_of_functional_mapping>
that is isomorphic.
EXAMPLE	The natural logarithm function is a
<class_of_isomorphic_functional_mapping>.
*)
  ENTITY class_of_isomorphic_functional_mapping
    SUPERTYPE OF (ONEOF(scale, class_of_scale_conversion))
    SUBTYPE OF(class_of_functional_mapping);
  END_ENTITY;

(*
<scale>
A <scale> is a <class_of_isomorphic_functional_mapping> whose members are
members of <property_quantification>. It indicates the <number_space> a
<property_space> maps to for the <scale> in question.
EXAMPLE	The link that is known as the Celsius scale between the
<class_of_number> [-273, inf] and the <class_of_property> temperature can be
represented by an instance of <scale>.
*)
  ENTITY scale
    SUBTYPE OF(class_of_isomorphic_functional_mapping);
      SELF\class_of_functional_mapping.codomain : number_space;
      SELF\class_of_functional_mapping.domain   : property_space;
  END_ENTITY;
(*
*Attribute definitions*
<codomain>
The <number_space> whose members can quantify the members of the referenced
<property_space>.

<domain>
The <class_of_property> whose members can be quantified by members of the
referenced <class_of_number>.
*)

(*
<multidimensional_scale>
A <multidimensional_scale> is a <scale> that is also a
<multidimensional_object>.
EXAMPLE	A [Celsius, seconds] scale is a <multidimensional_scale> on which
temperature variation over time can be plotted.
*)
  ENTITY multidimensional_scale
    SUBTYPE OF(scale, multidimensional_object);
  END_ENTITY;

(*
<coordinate_system>
A <coordinate_system> is a <multidimensional_scale> for locating and relating a
<possible_individual> in an n-dimensional space in which arbitrary geometric
transformations are valid.
EXAMPLE	The XYZ site coordinate system, is an example of a coordinate system.
*)
  ENTITY coordinate_system
    SUBTYPE OF(multidimensional_scale);
  END_ENTITY;

(*
<class_of_scale_conversion>
A <class_of_scale_conversion> is a <class_of_isomorphic_functional_mapping>
that defines a conversion between two different scales of units used for the
quantification of properties.
EXAMPLE	The Fahrenheit scale for temperature and the Celsius scale for
temperature can each be represented by instances of <scale>. The conversion
between these scales can be represented by an instance of
<class_of_scale_conversion>.
*)
  ENTITY class_of_scale_conversion
    SUBTYPE OF(class_of_isomorphic_functional_mapping);
      SELF\class_of_functional_mapping.codomain : scale;
      SELF\class_of_functional_mapping.domain   : scale;
  END_ENTITY;
(*
*Attribute definitions*
<codomain>
The second <scale> for which the conversion is asserted.

<domain>
The first <scale> for which the conversion is asserted.
*)

(*
<class_of_recognition>
A <class_of_recognition> is a <class_of_relationship> that indicates that a
member of a <class_of_activity> may result in the recognition of a member of a
<class>.
EXAMPLE A measurement activity may result in the recognition of the
<classification> of a <possible_individual> by a <property>.
*)
  ENTITY class_of_recognition
    SUBTYPE OF(class_of_relationship);
      class_of_recognized  : class;
      class_of_recognizing : class_of_activity;
  END_ENTITY;
(*
*Attribute definitions*
<class_of_recognized>
The <class> whose members are recognized by members of the <class_of_activity>.

<class_of_recognizing>
The <class_of_activity> whose members perform the recognition of the <class>.
*)

(*
<class_of_indirect_property>
A <class_of_indirect_property> is a <class_of_relationship> that indicates that
a member of the <class_of_individual> can possess a member of the
<class_of_property> as an <indirect_property> of this type.
EXAMPLE	Maximum Allowable Working Pressure is a <class_of_indirect_property>
that is indicated by a pressure, and can be possessed by a pressure vessel.
*)
  ENTITY class_of_indirect_property
    SUBTYPE OF(class_of_relationship);
      class_of_possessor : class_of_individual;
      property_space     : property_space;
  END_ENTITY;
(*
*Attribute definitions*
<class_of_possessor>
The <class_of_individual> whose instances may possess a member of the
<property_space>.

<property_space>
The <property_space> a member of which may be possessed by a member of the
<class_of_individual>.
*)

(*
<class_of_cause_of_beginning_of_class_of_individual>
A <class_of_cause_of_beginning_of_class_of_individual> is a
<class_of_relationship> that indicates that a member of a <class_of_activity>
causes the beginning of a member of a <class_of_individual>.
EXAMPLE	A car manufacturing activity causes the beginning of a car.
*)
  ENTITY class_of_cause_of_beginning_of_class_of_individual
    SUBTYPE OF(class_of_relationship);
      class_of_begun  : class_of_individual;
      class_of_causer : class_of_activity;
  END_ENTITY;
(*
*Attribute definitions*
<class_of_begun>
The <class_of_individual> a member of which is created by a member of the
<class_of_activity>.

<class_of_causer>
The <class_of_activity> whose members cause a member of the
<class_of_individual> to begin.
*)

(*
<dimension_of_individual>
A <dimension_of_individual> is a <class_of_relationship> that indicates that
each member of the set of lines that are the <individual_dimension> are a
dimension of the <possible_individual>.
EXAMPLE	The set of all lines that pass through the centre of a particular
circle and end at the circumference of that circle, are a dimension (diameter)
of that circle. The particular dimension is indicated by the
<dimension_of_shape> that classifies the <dimension_of_individual>.
*)
  ENTITY dimension_of_individual
    SUBTYPE OF(class_of_relationship);
      individual           : possible_individual;
      individual_dimension : individual_dimension;
  END_ENTITY;
(*
*Attribute definitions*
<individual>
The <possible_individual> that is assigned an <individual_dimension> in the
<dimension_of_individual>.

<individual_dimension>
The <individual_dimension> for the <possible_individual> in the
<dimension_of_individual>.
*)

(*
<property_for_shape_dimension>
A <property_for_shape_dimension> is a <class_of_class_of_relationship> that
indicates that the members of the <shape_dimension> are of the <property>.
EXAMPLE	10m diameter is a 10m length.
*)
  ENTITY property_for_shape_dimension
    SUBTYPE OF(class_of_relationship);
      property        : property;
      shape_dimension : shape_dimension;
  END_ENTITY;
(*
*Attribute definitions*
<property>
the <property> for the <property_for_shape_dimension>.

<shape_dimension>
the <shape_dimension> whose members are specializations of the <property> in
the <property_for_shape_dimension>.
*)

(*
<class_of_temporal_sequence>
A <class_of_temporal_sequence> is a <class_of_relationship> where the sequence
is of a temporal nature.
EXAMPLE 1	The link that indicates that members of July follow members of June
can be represented by an instance of <class_of_sequence>.
EXAMPLE 2	The link that indicates that emptying activities for a tank precede
cleaning activities can be represented by an instance of <class_of_sequence>.
*)
  ENTITY class_of_temporal_sequence
    SUBTYPE OF(class_of_relationship);
      class_of_predecessor : class_of_individual;
      class_of_successor   : class_of_individual;
  END_ENTITY;
(*
*Attribute definitions*
<class_of_predecessor>
The <class_of_individual> whose members are the predecessors in the members of
<class_of_sequence>.

<class_of_successor>
The <class_of_individual> whose members are the successors in the members of
<class_of_sequence>.
*)

(*
<class_of_cause_of_ending_of_class_of_individual>
A <class_of_cause_of_ending_of_class_of_individual> is a
<class_of_relationship> that indicates that a member of the <class_of_activity>
causes the ending of a member of the <class_of_individual>.
EXAMPLE	A car crushing activity causes the end of the life of a car.
*)
  ENTITY class_of_cause_of_ending_of_class_of_individual
    SUBTYPE OF(class_of_relationship);
      class_of_causer : class_of_activity;
      class_of_ended  : class_of_individual;
  END_ENTITY;
(*
*Attribute definitions*
<class_of_causer>
The <class_of_activity> that a member of which causes the end of life of a
member of the <class_of_individual>.

<class_of_ended>
The <class_of_individual> a member of which is ended by a member of the
<class_of_activity>.
*)

(*
<class_of_relationship_with_related_end_1>
A <class_of_relationship_with_related_end_1> is a <class_of_relationship> where
a particular <thing> is related in the <class_of_relationship>, rather than the
members of a <class>. The related <thing> plays the <role_and_domain> indicated
by the class_of_end_1 attribute.
EXAMPLE	Products manufactured by Bloggs & Co is a <class_of_relationship> that
points to Bloggs & Co as the related <thing>.
*)
  ENTITY class_of_relationship_with_related_end_1
    SUBTYPE OF(class_of_relationship);
      related : thing;
  END_ENTITY;
(*
*Attribute definitions*
<related>
The particular <thing> that is related, and not some member of the <class> it
may refer to.
*)

(*
<class_of_relationship_with_related_end_2>
A <class_of_relationship_with_related_end_2> is a <class_of_relationship> where
a particular <thing> is related in the <class_of_relationship>, rather than the
members of a <class>. The related <thing> plays the <role_and_domain> indicated
by the class_of_end_2 attribute.
EXAMPLE	Possession of welding skills by John Doe is an example of
<class_of_relationship_with_related_end_2>, where John Doe is the related thing.
*)
  ENTITY class_of_relationship_with_related_end_2
    SUBTYPE OF(class_of_relationship);
      related : thing;
  END_ENTITY;
(*
*Attribute definitions*
<related>
The particular <thing> that is related, and not some member of the <class> it
may refer to.
*)

(*
<cardinality>
A <cardinality> is a <class> that is the maximum and/or minimum number of times
a thing can play a particular role in a <class_of_relationship> or
<class_of_multidimensional_object>.
EXAMPLE	A minimum of 1 and a maximum of 1 means that there is exactly one
<relationship> or <multidimensional_object> of this type for each object.
*)
  ENTITY cardinality
    SUBTYPE OF(class);
      maximum_cardinality : OPTIONAL INTEGER;
      minimum_cardinality : OPTIONAL INTEGER;
  END_ENTITY;
(*
*Attribute definitions*
<maximum_cardinality>
The maximum number of times a member of the domain can participate in the role
specified.
If no maximum_cardinality is specified, then there is no maximum constraint.

NOTE 1	Common values for maximum_cardinality are 1 and many. Many is the result
of specifying no value.

<minimum_cardinality>
The minimum_cardinality is the minimum number of times a member of the domain
class may participate in the role specified.
If no minimum_cardinality is specified the value shall be taken as zero.
NOTE 2	Common values for the minimum_cardinality are zero and one.
*)

(*
<class_of_multidimensional_object>
A <class_of_multidimensional_object> is a <class> whose members are instances
of <multidimensional_object>. The role played by each position in the classified
<multidimensional_object> is specified at the same position in the <roles>
attribute. Constant values that apply to any position in <roles> are specified
in the same position in the <parameters> attribute. The cardinalities for the
roles attribute are specified by the same position in the cardinalities
attribute.
EXAMPLE	The definition of the input to a function y = a + bx to convert Celsius
to Fahrenheit with roles [a, b, x] defining the input <multidimensional_object>,
and parameters [32,1.8] with parameter_position list [1,2] is an example of a
<class_of_multidimensional_object>.
*)
  ENTITY class_of_multidimensional_object
    SUBTYPE OF(class_of_abstract_object);
      cardinalities      : OPTIONAL LIST [1:?] OF cardinality;
      optional_element   : LIST [1:?] OF BOOLEAN;
      parameters         : OPTIONAL LIST [1:?] OF thing;
      parameter_position : OPTIONAL LIST [1:?] OF INTEGER;
      roles              : LIST [1:?] OF role_and_domain;
  END_ENTITY;
(*
*Attribute definitions*
<cardinalities>
The list of cardinalities that apply to the roles.

If no cardinality is specified, then there are no constraints on the
cardinality. If cardinality is specified, then it must be specified for all
roles.

<optional_element>
Indicates if the element in this list position in a <multidimensional_object>
that is a member of this <class_of_multidimensional_object> is optional (or
mandatory). The value TRUE means it is optional, the value FALSE means it is
mandatory.

<parameters>
The list of parameters associated with the roles.

<parameter_position>
The list of positions relative to the roles for the list of parameters.

NOTE	This attribute is necessary because the EXPRESS LIST datatype does not
allow empty positions. The list of positions provides the mapping to the role
positions.

<roles>
The roles associated with the classified <multidimensional_object>.
*)

(*
<class_of_property_space>
A <class_of_property_space> is a <class_of_class> whose members are members of
<property_space>.
EXAMPLE 1	Property curves, property areas, and property volumes of various
dimensionality and degrees of freedom are members of <class_of_property_space>.
EXAMPLE 2	Pump performance curve is an example of <class_of_property_space>.
*)
  ENTITY class_of_property_space
    SUBTYPE OF(class_of_class);
  END_ENTITY;

(*
<class_of_status>
A <class_of_status> is a <class_of_class_of_individual> whose members are a
<status>.
EXAMPLE	An example of <class_of_status> is approval, with members: not
assessed, approved, rejected.
*)
  ENTITY class_of_status
    SUBTYPE OF(class_of_class_of_individual);
  END_ENTITY;

(*
<single_property_dimension>
A <single_property_dimension> is a <property_space> that is a single and
complete continuum of properties each of which maps to a single number.
EXAMPLE	Temperature, pressure, viscosity, and length are examples of
<single_property_dimension>.
*)
  ENTITY single_property_dimension
    SUBTYPE OF(property_space);
  END_ENTITY;

(*
<status>
A <status> is a <class_of_individual> that is a characteristic or quality that
is described by discrete, unordered values.
EXAMPLE	The classes known as 'open', 'painted', 'approved', 'old', 'new',
'worn', 'hazardous', 'safe', 'dangerous', 'happy', 'sad', and 'rusty' can all be
represented as instances of <status>.
NOTE	Degrees of openness or paintedness are represented as instances of
<property> and not instances of <status>.
*)
  ENTITY status
    SUBTYPE OF(class_of_individual);
  END_ENTITY;

(*
<class_of_period_in_time>
A <class_of_period_in_time> is a <class_of_individual> whose members are
instances of <period_in_time>.
EXAMPLE	Monday and June are examples of <class_of_period_in_time>.
*)
  ENTITY class_of_period_in_time
    SUBTYPE OF(class_of_individual);
  END_ENTITY;

END_SCHEMA;