# DO NOT EDIT MANUALLY!

# This is an automatically generated Topic Map converted from
# an EXPRESS specification
#
#    http://www.tc184-sc4.org/wg3ndocs/wg3n1328/lifecycle_integration_schema.html
#
# For conversion issues contact
#
#    rho@bond.edu.au
#
# For issues concerning the original content contact
#
#    matthew.west.com 
#    jan.sullivan.co.uk 
#    hans.teijgeler.nl.net

# NOTE: This is a rather naive translation ignoring all SUPERTYPE and all
#       component information in EXPRESS.


# 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>.

# IGNORING SUPERTYPE
thing
bn: Thing
bn @ lower : thing

# NOT YET TRANSFORMED
# 
#       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;
#   

# *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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : thing
xtm-psi-subclass   : possible_individual

possible_individual
bn: Possible Individual
bn @ lower : possible_individual

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : possible_individual
xtm-psi-subclass   : arranged_individual

arranged_individual
bn: Arranged Individual
bn @ lower : arranged_individual

# <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.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : possible_individual
xtm-psi-subclass   : event

event
bn: Event
bn @ lower : event

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : event
xtm-psi-subclass   : point_in_time

point_in_time
bn: Point In Time
bn @ lower : point_in_time

# <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.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : possible_individual
xtm-psi-subclass   : period_in_time

period_in_time
bn: Period In Time
bn @ lower : period_in_time

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : possible_individual
xtm-psi-subclass   : physical_object

physical_object
bn: Physical Object
bn @ lower : physical_object

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : physical_object
xtm-psi-subclass   : materialized_physical_object

materialized_physical_object
bn: Materialized Physical Object
bn @ lower : materialized_physical_object

# <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.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : physical_object
xtm-psi-subclass   : functional_physical_object

functional_physical_object
bn: Functional Physical Object
bn @ lower : functional_physical_object

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : physical_object
xtm-psi-subclass   : stream

stream
bn: Stream
bn @ lower : stream

# <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.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : physical_object
xtm-psi-subclass   : spatial_location

spatial_location
bn: Spatial Location
bn @ lower : spatial_location

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : possible_individual
xtm-psi-subclass   : activity

activity
bn: Activity
bn @ lower : activity

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : possible_individual
xtm-psi-subclass   : actual_individual

actual_individual
bn: Actual Individual
bn @ lower : actual_individual

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : possible_individual
xtm-psi-subclass   : whole_life_individual

whole_life_individual
bn: Whole Life Individual
bn @ lower : whole_life_individual

# <abstract_object>
# An <abstract_object> is a <thing> that does not exist in space-time.

# IGNORING SUPERTYPE
(xtm-psi-superclass-subclass)
xtm-psi-superclass : thing
xtm-psi-subclass   : abstract_object

abstract_object
bn: Abstract Object
bn @ lower : abstract_object

# <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.
# 

# IGNORING SUPERTYPE
(xtm-psi-superclass-subclass)
xtm-psi-superclass : abstract_object
xtm-psi-subclass   : class

class
bn: Class
bn @ lower : class

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class
xtm-psi-subclass   : role_and_domain

role_and_domain
bn: Role And Domain
bn @ lower : role_and_domain

# <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.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : role_and_domain
xtm-psi-subclass   : role

role
bn: Role
bn @ lower : role

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : role_and_domain
xtm-psi-subclass   : participating_role_and_domain

(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_individual
xtm-psi-subclass   : participating_role_and_domain

participating_role_and_domain
bn: Participating Role And Domain
bn @ lower : participating_role_and_domain

# <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>.

# IGNORING SUPERTYPE
(xtm-psi-superclass-subclass)
xtm-psi-superclass : class
xtm-psi-subclass   : class_of_individual

class_of_individual
bn: Class Of Individual
bn @ lower : class_of_individual

# <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.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_individual
xtm-psi-subclass   : class_of_event

class_of_event
bn: Class Of Event
bn @ lower : class_of_event

# <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>


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_event
xtm-psi-subclass   : class_of_point_in_time

class_of_point_in_time
bn: Class Of Point In Time
bn @ lower : class_of_point_in_time

# <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>.

# IGNORING SUPERTYPE
(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_individual
xtm-psi-subclass   : class_of_arranged_individual

class_of_arranged_individual
bn: Class Of Arranged Individual
bn @ lower : class_of_arranged_individual

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_arranged_individual
xtm-psi-subclass   : class_of_atom

class_of_atom
bn: Class Of Atom
bn @ lower : class_of_atom

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_arranged_individual
xtm-psi-subclass   : phase

phase
bn: Phase
bn @ lower : phase

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_arranged_individual
xtm-psi-subclass   : class_of_biological_matter

class_of_biological_matter
bn: Class Of Biological Matter
bn @ lower : class_of_biological_matter

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_arranged_individual
xtm-psi-subclass   : class_of_functional_object

class_of_functional_object
bn: Class Of Functional Object
bn @ lower : class_of_functional_object

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_arranged_individual
xtm-psi-subclass   : class_of_compound

class_of_compound
bn: Class Of Compound
bn @ lower : class_of_compound

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_arranged_individual
xtm-psi-subclass   : class_of_molecule

class_of_molecule
bn: Class Of Molecule
bn @ lower : class_of_molecule

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_arranged_individual
xtm-psi-subclass   : class_of_composite_material

class_of_composite_material
bn: Class Of Composite Material
bn @ lower : class_of_composite_material

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_arranged_individual
xtm-psi-subclass   : crystalline_structure

crystalline_structure
bn: Crystalline Structure
bn @ lower : crystalline_structure

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_arranged_individual
xtm-psi-subclass   : class_of_sub_atomic_particle

class_of_sub_atomic_particle
bn: Class Of Sub Atomic Particle
bn @ lower : class_of_sub_atomic_particle

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_arranged_individual
xtm-psi-subclass   : class_of_information_presentation

class_of_information_presentation
bn: Class Of Information Presentation
bn @ lower : class_of_information_presentation

# <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>.

# IGNORING SUPERTYPE
(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_arranged_individual
xtm-psi-subclass   : class_of_information_representation

class_of_information_representation
bn: Class Of Information Representation
bn @ lower : class_of_information_representation

# <class_of_EXPRESS_information_representation>
# A <class_of_EXPRESS_information_representation> is a
# <class_of_information_representation> that is defined by ISO 10303-11.

# IGNORING SUPERTYPE
(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_information_representation
xtm-psi-subclass   : class_of_EXPRESS_information_representation

class_of_EXPRESS_information_representation
bn: Class Of EXPRESS Information Representation
bn @ lower : class_of_EXPRESS_information_representation

# <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.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_EXPRESS_information_representation
xtm-psi-subclass   : EXPRESS_string

EXPRESS_string
bn: EXPRESS String
bn @ lower : EXPRESS_string

# NOT YET TRANSFORMED
# 
#       content : STRING;
#     UNIQUE
#       rule_1 : content;
#   

# *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.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_EXPRESS_information_representation
xtm-psi-subclass   : EXPRESS_integer

EXPRESS_integer
bn: EXPRESS Integer
bn @ lower : EXPRESS_integer

# NOT YET TRANSFORMED
# 
#       content : INTEGER;
#     UNIQUE
#       rule_1 : content;
#   

# *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.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_EXPRESS_information_representation
xtm-psi-subclass   : EXPRESS_real

EXPRESS_real
bn: EXPRESS Real
bn @ lower : EXPRESS_real

# NOT YET TRANSFORMED
# 
#       content : REAL;
#     UNIQUE
#       rule_1 : content;
#   

# *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.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_EXPRESS_information_representation
xtm-psi-subclass   : EXPRESS_logical

EXPRESS_logical
bn: EXPRESS Logical
bn @ lower : EXPRESS_logical

# NOT YET TRANSFORMED
# 
#       content : LOGICAL;
#     UNIQUE
#       rule_1 : content;
#   

# *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.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_EXPRESS_information_representation
xtm-psi-subclass   : EXPRESS_Boolean

EXPRESS_Boolean
bn: EXPRESS Boolean
bn @ lower : EXPRESS_Boolean

# NOT YET TRANSFORMED
# 
#       content : BOOLEAN;
#     UNIQUE
#       rule_1 : content;
#   

# *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.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_EXPRESS_information_representation
xtm-psi-subclass   : EXPRESS_binary

EXPRESS_binary
bn: EXPRESS Binary
bn @ lower : EXPRESS_binary

# NOT YET TRANSFORMED
# 
#       content : BINARY;
#     UNIQUE
#       rule_1 : content;
#   

# *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.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_information_representation
xtm-psi-subclass   : representation_of_Gregorian_date_and_UTC_time

representation_of_Gregorian_date_and_UTC_time
bn: Representation Of Gregorian Date And UTC Time
bn @ lower : representation_of_Gregorian_date_and_UTC_time

# NOT YET TRANSFORMED
# 
#       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};
#   

# *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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_arranged_individual
xtm-psi-subclass   : class_of_particulate_material

class_of_particulate_material
bn: Class Of Particulate Material
bn @ lower : class_of_particulate_material

# <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>


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_arranged_individual
xtm-psi-subclass   : class_of_organization

class_of_organization
bn: Class Of Organization
bn @ lower : class_of_organization

# <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.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_arranged_individual
xtm-psi-subclass   : class_of_activity

class_of_activity
bn: Class Of Activity
bn @ lower : class_of_activity

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_arranged_individual
xtm-psi-subclass   : class_of_information_object

class_of_information_object
bn: Class Of Information Object
bn @ lower : class_of_information_object

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_arranged_individual
xtm-psi-subclass   : class_of_feature

class_of_feature
bn: Class Of Feature
bn @ lower : class_of_feature

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_arranged_individual
xtm-psi-subclass   : class_of_organism

class_of_organism
bn: Class Of Organism
bn @ lower : class_of_organism

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_organism
xtm-psi-subclass   : class_of_person

class_of_person
bn: Class Of Person
bn @ lower : class_of_person

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_arranged_individual
xtm-psi-subclass   : class_of_inanimate_physical_object

class_of_inanimate_physical_object
bn: Class Of Inanimate Physical Object
bn @ lower : class_of_inanimate_physical_object

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_individual
xtm-psi-subclass   : property

property
bn: Property
bn @ lower : property

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : property
xtm-psi-subclass   : shape

shape
bn: Shape
bn @ lower : shape

# <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].


(xtm-psi-superclass-subclass)
xtm-psi-superclass : property
xtm-psi-subclass   : multidimensional_property

(xtm-psi-superclass-subclass)
xtm-psi-superclass : multidimensional_object
xtm-psi-subclass   : multidimensional_property

multidimensional_property
bn: Multidimensional Property
bn @ lower : multidimensional_property

# <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.

# IGNORING SUPERTYPE
(xtm-psi-superclass-subclass)
xtm-psi-superclass : abstract_object
xtm-psi-subclass   : multidimensional_object

multidimensional_object
bn: Multidimensional Object
bn @ lower : multidimensional_object

# NOT YET TRANSFORMED
# 
#       elements : LIST [1:?] OF thing;
#       position : OPTIONAL LIST [1:?] OF INTEGER;
#   

# *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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : property_space
xtm-psi-subclass   : multidimensional_property_space

(xtm-psi-superclass-subclass)
xtm-psi-superclass : multidimensional_object
xtm-psi-subclass   : multidimensional_property_space

multidimensional_property_space
bn: Multidimensional Property Space
bn @ lower : multidimensional_property_space

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_property
xtm-psi-subclass   : property_space

property_space
bn: Property Space
bn @ lower : property_space

# <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>.

# IGNORING SUPERTYPE
(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_class_of_individual
xtm-psi-subclass   : class_of_property

class_of_property
bn: Class Of Property
bn @ lower : class_of_property

# <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.

# IGNORING SUPERTYPE
(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_class
xtm-psi-subclass   : class_of_class_of_individual

class_of_class_of_individual
bn: Class Of Class Of Individual
bn @ lower : class_of_class_of_individual

# <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>.

# IGNORING SUPERTYPE
(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_abstract_object
xtm-psi-subclass   : class_of_class

class_of_class
bn: Class Of Class
bn @ lower : class_of_class

# <class_of_abstract_object>
# A <class_of_abstract_object> is a <class> whose members classify members of
# <abstract_object>.

# IGNORING SUPERTYPE
(xtm-psi-superclass-subclass)
xtm-psi-superclass : class
xtm-psi-subclass   : class_of_abstract_object

class_of_abstract_object
bn: Class Of Abstract Object
bn @ lower : class_of_abstract_object

# <class_of_relationship>
# A <class_of_relationship> is a  <class_of _abstract_object> whose members are
# members of <relationship>.

# IGNORING SUPERTYPE
(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_abstract_object
xtm-psi-subclass   : class_of_relationship

class_of_relationship
bn: Class Of Relationship
bn @ lower : class_of_relationship

# NOT YET TRANSFORMED
# 
#       end_1_cardinality : OPTIONAL cardinality;
#       end_2_cardinality : OPTIONAL cardinality;
#   

# *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>.

# IGNORING SUPERTYPE
(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_relationship
xtm-psi-subclass   : class_of_composition_of_individual

class_of_composition_of_individual
bn: Class Of Composition Of Individual
bn @ lower : class_of_composition_of_individual

# NOT YET TRANSFORMED
# 
#       class_of_part  : class_of_individual;
#       class_of_whole : class_of_individual;
#   

# *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>.

# IGNORING SUPERTYPE
(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_composition_of_individual
xtm-psi-subclass   : class_of_arrangement_of_individual

class_of_arrangement_of_individual
bn: Class Of Arrangement Of Individual
bn @ lower : class_of_arrangement_of_individual

# NOT YET TRANSFORMED
# 
#       SELF\class_of_composition_of_individual.class_of_whole : class_of_arranged_individual;
#   

# *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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_arrangement_of_individual
xtm-psi-subclass   : class_of_feature_whole_part

class_of_feature_whole_part
bn: Class Of Feature Whole Part
bn @ lower : class_of_feature_whole_part

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_arrangement_of_individual
xtm-psi-subclass   : class_of_assembly_of_individual

class_of_assembly_of_individual
bn: Class Of Assembly Of Individual
bn @ lower : class_of_assembly_of_individual

# <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.

# IGNORING SUPERTYPE
(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_arrangement_of_individual
xtm-psi-subclass   : namespace

namespace
bn: Namespace
bn @ lower : namespace

# NOT YET TRANSFORMED
# 
#       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;
#   

# *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.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : namespace
xtm-psi-subclass   : right_namespace

right_namespace
bn: Right Namespace
bn @ lower : right_namespace

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : namespace
xtm-psi-subclass   : left_namespace

left_namespace
bn: Left Namespace
bn @ lower : left_namespace

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_composition_of_individual
xtm-psi-subclass   : class_of_temporal_whole_part

class_of_temporal_whole_part
bn: Class Of Temporal Whole Part
bn @ lower : class_of_temporal_whole_part

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_composition_of_individual
xtm-psi-subclass   : class_of_participation

class_of_participation
bn: Class Of Participation
bn @ lower : class_of_participation

# NOT YET TRANSFORMED
# 
#       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;
#   

# *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>.

# IGNORING SUPERTYPE
(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_relationship
xtm-psi-subclass   : class_of_connection_of_individual

class_of_connection_of_individual
bn: Class Of Connection Of Individual
bn @ lower : class_of_connection_of_individual

# NOT YET TRANSFORMED
# 
#       class_of_side_1 : class_of_individual;
#       class_of_side_2 : class_of_individual;
#   

# *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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_connection_of_individual
xtm-psi-subclass   : class_of_direct_connection

class_of_direct_connection
bn: Class Of Direct Connection
bn @ lower : class_of_direct_connection

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_connection_of_individual
xtm-psi-subclass   : class_of_indirect_connection

class_of_indirect_connection
bn: Class Of Indirect Connection
bn @ lower : class_of_indirect_connection

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_relationship
xtm-psi-subclass   : class_of_classification

class_of_classification
bn: Class Of Classification
bn @ lower : class_of_classification

# NOT YET TRANSFORMED
# 
#       class_of_classified : class;
#       class_of_classifier : class_of_class;
#   

# *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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_relationship
xtm-psi-subclass   : class_of_representation_translation

class_of_representation_translation
bn: Class Of Representation Translation
bn @ lower : class_of_representation_translation

# NOT YET TRANSFORMED
# 
#       class_of_first  : class_of_information_representation;
#       class_of_second : class_of_information_representation;
#   

# *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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_relationship
xtm-psi-subclass   : class_of_usage_of_representation

class_of_usage_of_representation
bn: Class Of Usage Of Representation
bn @ lower : class_of_usage_of_representation

# NOT YET TRANSFORMED
# 
#       class_of_used : class_of_representation_of_thing;
#       user          : possible_individual;
#   

# *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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_relationship
xtm-psi-subclass   : class_of_representation_of_thing

class_of_representation_of_thing
bn: Class Of Representation Of Thing
bn @ lower : class_of_representation_of_thing

# NOT YET TRANSFORMED
# 
#       pattern     : class_of_information_representation;
#       represented : thing;
#   

# *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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_representation_of_thing
xtm-psi-subclass   : class_of_identification

class_of_identification
bn: Class Of Identification
bn @ lower : class_of_identification

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_representation_of_thing
xtm-psi-subclass   : class_of_definition

class_of_definition
bn: Class Of Definition
bn @ lower : class_of_definition

# NOT YET TRANSFORMED
# 
#       SELF\class_of_representation_of_thing.represented : class;
#   

# *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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_representation_of_thing
xtm-psi-subclass   : class_of_description

class_of_description
bn: Class Of Description
bn @ lower : class_of_description

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_relationship
xtm-psi-subclass   : class_of_responsibility_for_representation

class_of_responsibility_for_representation
bn: Class Of Responsibility For Representation
bn @ lower : class_of_responsibility_for_representation

# NOT YET TRANSFORMED
# 
#       class_of_controlled : class_of_representation_of_thing;
#       controller          : possible_individual;
#   

# *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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_relationship
xtm-psi-subclass   : class_of_lifecycle_stage

class_of_lifecycle_stage
bn: Class Of Lifecycle Stage
bn @ lower : class_of_lifecycle_stage

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_relationship
xtm-psi-subclass   : class_of_assertion

class_of_assertion
bn: Class Of Assertion
bn @ lower : class_of_assertion

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_relationship
xtm-psi-subclass   : class_of_individual_used_in_connection

class_of_individual_used_in_connection
bn: Class Of Individual Used In Connection
bn @ lower : class_of_individual_used_in_connection

# NOT YET TRANSFORMED
# 
#       class_of_connection : class_of_connection_of_individual;
#       class_of_usage      : class_of_individual;
#   

# *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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_relationship
xtm-psi-subclass   : class_of_approval

class_of_approval
bn: Class Of Approval
bn @ lower : class_of_approval

# NOT YET TRANSFORMED
# 
#       class_of_approved : class_of_relationship;
#       class_of_approver : class_of_individual;
#   

# *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).


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_relationship
xtm-psi-subclass   : class_of_possible_role_and_domain

class_of_possible_role_and_domain
bn: Class Of Possible Role And Domain
bn @ lower : class_of_possible_role_and_domain

# NOT YET TRANSFORMED
# 
#       class_of_player : class_of_individual;
#       played          : role_and_domain;
#   

# *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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_relationship
xtm-psi-subclass   : class_of_involvement_by_reference

class_of_involvement_by_reference
bn: Class Of Involvement By Reference
bn @ lower : class_of_involvement_by_reference

# NOT YET TRANSFORMED
# 
#       class_of_involved : role_and_domain;
#       class_of_involver : class_of_activity;
#   

# *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.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_relationship
xtm-psi-subclass   : class_of_relationship_with_signature

(xtm-psi-superclass-subclass)
xtm-psi-superclass : relationship
xtm-psi-subclass   : class_of_relationship_with_signature

class_of_relationship_with_signature
bn: Class Of Relationship With Signature
bn @ lower : class_of_relationship_with_signature

# NOT YET TRANSFORMED
# 
#       class_of_end_1 : OPTIONAL role_and_domain;
#       class_of_end_2 : OPTIONAL role_and_domain;
#   

# *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>.

# IGNORING SUPERTYPE
(xtm-psi-superclass-subclass)
xtm-psi-superclass : abstract_object
xtm-psi-subclass   : relationship

relationship
bn: Relationship
bn @ lower : relationship

# <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>.

# IGNORING SUPERTYPE
(xtm-psi-superclass-subclass)
xtm-psi-superclass : relationship
xtm-psi-subclass   : composition_of_individual

composition_of_individual
bn: Composition Of Individual
bn @ lower : composition_of_individual

# NOT YET TRANSFORMED
# 
#       part  : possible_individual;
#       whole : possible_individual;
#   

# *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>.

# IGNORING SUPERTYPE
(xtm-psi-superclass-subclass)
xtm-psi-superclass : composition_of_individual
xtm-psi-subclass   : arrangement_of_individual

arrangement_of_individual
bn: Arrangement Of Individual
bn @ lower : arrangement_of_individual

# NOT YET TRANSFORMED
# 
#       SELF\composition_of_individual.whole : arranged_individual;
#   

# *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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : arrangement_of_individual
xtm-psi-subclass   : assembly_of_individual

assembly_of_individual
bn: Assembly Of Individual
bn @ lower : assembly_of_individual

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : arrangement_of_individual
xtm-psi-subclass   : feature_whole_part

feature_whole_part
bn: Feature Whole Part
bn @ lower : feature_whole_part

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : composition_of_individual
xtm-psi-subclass   : temporal_whole_part

temporal_whole_part
bn: Temporal Whole Part
bn @ lower : temporal_whole_part

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : composition_of_individual
xtm-psi-subclass   : participation

participation
bn: Participation
bn @ lower : participation

# NOT YET TRANSFORMED
# 
#       SELF\composition_of_individual.whole : activity;
#   

# *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>.

# IGNORING SUPERTYPE
(xtm-psi-superclass-subclass)
xtm-psi-superclass : composition_of_individual
xtm-psi-subclass   : temporal_bounding

temporal_bounding
bn: Temporal Bounding
bn @ lower : temporal_bounding

# NOT YET TRANSFORMED
# 
#       SELF\composition_of_individual.part : event;
#   

# *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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : temporal_bounding
xtm-psi-subclass   : ending

ending
bn: Ending
bn @ lower : ending

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : temporal_bounding
xtm-psi-subclass   : beginning

beginning
bn: Beginning
bn @ lower : beginning

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : relationship
xtm-psi-subclass   : cause_of_event

cause_of_event
bn: Cause Of Event
bn @ lower : cause_of_event

# NOT YET TRANSFORMED
# 
#       caused : event;
#       causer : activity;
#   

# *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.

# IGNORING SUPERTYPE
(xtm-psi-superclass-subclass)
xtm-psi-superclass : relationship
xtm-psi-subclass   : connection_of_individual

connection_of_individual
bn: Connection Of Individual
bn @ lower : connection_of_individual

# NOT YET TRANSFORMED
# 
#       side_1 : possible_individual;
#       side_2 : possible_individual;
#   

# *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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : connection_of_individual
xtm-psi-subclass   : direct_connection

direct_connection
bn: Direct Connection
bn @ lower : direct_connection

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : connection_of_individual
xtm-psi-subclass   : indirect_connection

indirect_connection
bn: Indirect Connection
bn @ lower : indirect_connection

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : relationship
xtm-psi-subclass   : lifecycle_stage

lifecycle_stage
bn: Lifecycle Stage
bn @ lower : lifecycle_stage

# NOT YET TRANSFORMED
# 
#       interest   : possible_individual;
#       interested : possible_individual;
#   

# *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.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : relationship
xtm-psi-subclass   : relative_location

relative_location
bn: Relative Location
bn @ lower : relative_location

# NOT YET TRANSFORMED
# 
#       located : possible_individual;
#       locator : possible_individual;
#   

# *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.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : relative_location
xtm-psi-subclass   : containment_of_individual

containment_of_individual
bn: Containment Of Individual
bn @ lower : containment_of_individual

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : relationship
xtm-psi-subclass   : individual_used_in_connection

individual_used_in_connection
bn: Individual Used In Connection
bn @ lower : individual_used_in_connection

# NOT YET TRANSFORMED
# 
#       connection : connection_of_individual;
#       usage      : possible_individual;
#   

# *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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : relationship
xtm-psi-subclass   : involvement_by_reference

involvement_by_reference
bn: Involvement By Reference
bn @ lower : involvement_by_reference

# NOT YET TRANSFORMED
# 
#       involved : thing;
#       involver : activity;
#   

# *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.

# IGNORING SUPERTYPE
(xtm-psi-superclass-subclass)
xtm-psi-superclass : relationship
xtm-psi-subclass   : specialization

specialization
bn: Specialization
bn @ lower : specialization

# NOT YET TRANSFORMED
# 
#       subclass   : class;
#       superclass : class;
#   

# *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.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : specialization
xtm-psi-subclass   : specialization_by_domain

specialization_by_domain
bn: Specialization By Domain
bn @ lower : specialization_by_domain

# NOT YET TRANSFORMED
# 
#       SELF\specialization.subclass : role_and_domain;
#   

# *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.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : specialization
xtm-psi-subclass   : specialization_by_role

specialization_by_role
bn: Specialization By Role
bn @ lower : specialization_by_role

# NOT YET TRANSFORMED
# 
#       SELF\specialization.subclass   : role_and_domain;
#       SELF\specialization.superclass : role;
#   

# *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.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : specialization
xtm-psi-subclass   : boundary_of_property_space

boundary_of_property_space
bn: Boundary Of Property Space
bn @ lower : boundary_of_property_space

# NOT YET TRANSFORMED
# 
#       SELF\specialization.subclass   : property_space;
#       SELF\specialization.superclass : property_space;
#   

# *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.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : specialization
xtm-psi-subclass   : specialization_of_individual_dimension_from_property

specialization_of_individual_dimension_from_property
bn: Specialization Of Individual Dimension From Property
bn @ lower : specialization_of_individual_dimension_from_property

# NOT YET TRANSFORMED
# 
#       SELF\specialization.subclass   : individual_dimension;
#       SELF\specialization.superclass : property;
#   

# *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.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_individual
xtm-psi-subclass   : individual_dimension

individual_dimension
bn: Individual Dimension
bn @ lower : individual_dimension

# <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.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : specialization
xtm-psi-subclass   : boundary_of_number_space

boundary_of_number_space
bn: Boundary Of Number Space
bn @ lower : boundary_of_number_space

# NOT YET TRANSFORMED
# 
#       SELF\specialization.subclass   : number_space;
#       SELF\specialization.superclass : number_space;
#   

# <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>.

# IGNORING SUPERTYPE
(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_number
xtm-psi-subclass   : number_space

number_space
bn: Number Space
bn @ lower : number_space

# <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>.

# IGNORING SUPERTYPE
(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_class
xtm-psi-subclass   : class_of_number

class_of_number
bn: Class Of Number
bn @ lower : class_of_number

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_number
xtm-psi-subclass   : enumerated_number_set

(xtm-psi-superclass-subclass)
xtm-psi-superclass : enumerated_set_of_class
xtm-psi-subclass   : enumerated_number_set

enumerated_number_set
bn: Enumerated Number Set
bn @ lower : enumerated_number_set

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_class
xtm-psi-subclass   : enumerated_set_of_class

enumerated_set_of_class
bn: Enumerated Set Of Class
bn @ lower : enumerated_set_of_class

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_property
xtm-psi-subclass   : enumerated_property_set

(xtm-psi-superclass-subclass)
xtm-psi-superclass : enumerated_set_of_class
xtm-psi-subclass   : enumerated_property_set

enumerated_property_set
bn: Enumerated Property Set
bn @ lower : enumerated_property_set

# <number_range>
# A <number_range> is a one dimensional <number_space>.
# EXAMPLE	The number space -273.1 to +infinity is a <number_range>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : number_space
xtm-psi-subclass   : number_range

number_range
bn: Number Range
bn @ lower : number_range

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : number_space
xtm-psi-subclass   : multidimensional_number_space

(xtm-psi-superclass-subclass)
xtm-psi-superclass : multidimensional_object
xtm-psi-subclass   : multidimensional_number_space

multidimensional_number_space
bn: Multidimensional Number Space
bn @ lower : multidimensional_number_space

# <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.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : relationship
xtm-psi-subclass   : other_relationship

other_relationship
bn: Other Relationship
bn @ lower : other_relationship

# NOT YET TRANSFORMED
# 
#       end_1 : thing;
#       end_2 : thing;
#   

# *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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : relationship
xtm-psi-subclass   : classification

classification
bn: Classification
bn @ lower : classification

# NOT YET TRANSFORMED
# 
#       classified : thing;
#       classifier : class;
#   

# *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.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : classification
xtm-psi-subclass   : lower_bound_of_property_range

lower_bound_of_property_range
bn: Lower Bound Of Property Range
bn @ lower : lower_bound_of_property_range

# NOT YET TRANSFORMED
# 
#       SELF\classification.classified : property;
#       SELF\classification.classifier : property_range;
#   

# *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.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : property_space
xtm-psi-subclass   : property_range

property_range
bn: Property Range
bn @ lower : property_range

# <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.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : classification
xtm-psi-subclass   : upper_bound_of_property_range

upper_bound_of_property_range
bn: Upper Bound Of Property Range
bn @ lower : upper_bound_of_property_range

# NOT YET TRANSFORMED
# 
#       SELF\classification.classified : property;
#       SELF\classification.classifier : property_range;
#   

# *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].


(xtm-psi-superclass-subclass)
xtm-psi-superclass : classification
xtm-psi-subclass   : lower_bound_of_number_range

lower_bound_of_number_range
bn: Lower Bound Of Number Range
bn @ lower : lower_bound_of_number_range

# NOT YET TRANSFORMED
# 
#       SELF\classification.classified : arithmetic_number;
#       SELF\classification.classifier : number_range;
#   

# *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.

# IGNORING SUPERTYPE
(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_class
xtm-psi-subclass   : arithmetic_number

arithmetic_number
bn: Arithmetic Number
bn @ lower : arithmetic_number

# <real_number>
# A <real_number> is an <arithmetic_number> that is a real number.
# EXAMPLE	3.2146 is a representation of a real number.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : arithmetic_number
xtm-psi-subclass   : real_number

real_number
bn: Real Number
bn @ lower : real_number

# <integer_number>
# An <integer_number> is an <arithmetic_number> that is an integer number.
# EXAMPLE	1, 2, and 10 are representations of integer numbers.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : arithmetic_number
xtm-psi-subclass   : integer_number

integer_number
bn: Integer Number
bn @ lower : integer_number

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : arithmetic_number
xtm-psi-subclass   : multidimensional_number

(xtm-psi-superclass-subclass)
xtm-psi-superclass : multidimensional_object
xtm-psi-subclass   : multidimensional_number

multidimensional_number
bn: Multidimensional Number
bn @ lower : multidimensional_number

# <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].


(xtm-psi-superclass-subclass)
xtm-psi-superclass : classification
xtm-psi-subclass   : upper_bound_of_number_range

upper_bound_of_number_range
bn: Upper Bound Of Number Range
bn @ lower : upper_bound_of_number_range

# NOT YET TRANSFORMED
# 
#       SELF\classification.classified : arithmetic_number;
#       SELF\classification.classifier : number_range;
#   

# *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.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : relationship
xtm-psi-subclass   : intended_role_and_domain

intended_role_and_domain
bn: Intended Role And Domain
bn @ lower : intended_role_and_domain

# NOT YET TRANSFORMED
# 
#       played : role_and_domain;
#       player : possible_individual;
#   

# *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.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : relationship
xtm-psi-subclass   : possible_role_and_domain

possible_role_and_domain
bn: Possible Role And Domain
bn @ lower : possible_role_and_domain

# NOT YET TRANSFORMED
# 
#       played : role_and_domain;
#       player : possible_individual;
#   

# *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.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : relationship
xtm-psi-subclass   : representation_of_thing

representation_of_thing
bn: Representation Of Thing
bn @ lower : representation_of_thing

# NOT YET TRANSFORMED
# 
#       represented : thing;
#       sign        : possible_individual;
#   

# *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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : representation_of_thing
xtm-psi-subclass   : definition

definition
bn: Definition
bn @ lower : definition

# NOT YET TRANSFORMED
# 
#       SELF\representation_of_thing.represented : class;
#   

# *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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : representation_of_thing
xtm-psi-subclass   : identification

identification
bn: Identification
bn @ lower : identification

# <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.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : representation_of_thing
xtm-psi-subclass   : description

description
bn: Description
bn @ lower : description

# <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.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : relationship
xtm-psi-subclass   : usage_of_representation

usage_of_representation
bn: Usage Of Representation
bn @ lower : usage_of_representation

# NOT YET TRANSFORMED
# 
#       used : representation_of_thing;
#       user : possible_individual;
#   

# *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.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : relationship
xtm-psi-subclass   : responsibility_for_representation

responsibility_for_representation
bn: Responsibility For Representation
bn @ lower : responsibility_for_representation

# NOT YET TRANSFORMED
# 
#       controlled : representation_of_thing;
#       controller : possible_individual;
#   

# *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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : relationship
xtm-psi-subclass   : approval

approval
bn: Approval
bn @ lower : approval

# NOT YET TRANSFORMED
# 
#       approved : relationship;
#       approver : possible_individual;
#   

# *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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : relationship
xtm-psi-subclass   : comparison_of_property

comparison_of_property
bn: Comparison Of Property
bn @ lower : comparison_of_property

# NOT YET TRANSFORMED
# 
#       greater_element : property;
#       lesser_element  : property;
#   

# *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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : relationship
xtm-psi-subclass   : functional_mapping

functional_mapping
bn: Functional Mapping
bn @ lower : functional_mapping

# NOT YET TRANSFORMED
# 
#       input  : thing;
#       result : thing;
#   

# *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}.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : functional_mapping
xtm-psi-subclass   : difference_of_set_of_class

difference_of_set_of_class
bn: Difference Of Set Of Class
bn @ lower : difference_of_set_of_class

# NOT YET TRANSFORMED
# 
#       SELF\functional_mapping.input  : enumerated_set_of_class;
#       SELF\functional_mapping.result : class;
#   

# *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}.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : functional_mapping
xtm-psi-subclass   : union_of_set_of_class

union_of_set_of_class
bn: Union Of Set Of Class
bn @ lower : union_of_set_of_class

# NOT YET TRANSFORMED
# 
#       SELF\functional_mapping.input  : enumerated_set_of_class;
#       SELF\functional_mapping.result : class;
#   

# *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}.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : functional_mapping
xtm-psi-subclass   : intersection_of_set_of_class

intersection_of_set_of_class
bn: Intersection Of Set Of Class
bn @ lower : intersection_of_set_of_class

# NOT YET TRANSFORMED
# 
#       SELF\functional_mapping.input  : enumerated_set_of_class;
#       SELF\functional_mapping.result : class;
#   

# *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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : functional_mapping
xtm-psi-subclass   : property_quantification

property_quantification
bn: Property Quantification
bn @ lower : property_quantification

# NOT YET TRANSFORMED
# 
#       SELF\functional_mapping.input  : property;
#       SELF\functional_mapping.result : arithmetic_number;
#   

# *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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : relationship
xtm-psi-subclass   : recognition

recognition
bn: Recognition
bn @ lower : recognition

# NOT YET TRANSFORMED
# 
#       recognized  : thing;
#       recognizing : activity;
#   

# *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.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : relationship
xtm-psi-subclass   : indirect_property

indirect_property
bn: Indirect Property
bn @ lower : indirect_property

# NOT YET TRANSFORMED
# 
#       possessor : possible_individual;
#       property  : property;
#   

# *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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : relationship
xtm-psi-subclass   : temporal_sequence

temporal_sequence
bn: Temporal Sequence
bn @ lower : temporal_sequence

# NOT YET TRANSFORMED
# 
#       predecessor : possible_individual;
#       successor   : possible_individual;
#   

# *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.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_class_of_relationship
xtm-psi-subclass   : class_of_class_of_relationship_with_signature

(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_relationship_with_signature
xtm-psi-subclass   : class_of_class_of_relationship_with_signature

class_of_class_of_relationship_with_signature
bn: Class Of Class Of Relationship With Signature
bn @ lower : class_of_class_of_relationship_with_signature

# <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.

# IGNORING SUPERTYPE
(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_class
xtm-psi-subclass   : class_of_class_of_relationship

class_of_class_of_relationship
bn: Class Of Class Of Relationship
bn @ lower : class_of_class_of_relationship

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_class_of_relationship
xtm-psi-subclass   : class_of_class_of_usage_of_representation

class_of_class_of_usage_of_representation
bn: Class Of Class Of Usage Of Representation
bn @ lower : class_of_class_of_usage_of_representation

# NOT YET TRANSFORMED
# 
#       class_of_class_of_used : class_of_class_of_representation;
#       user                   : possible_individual;
#   

# *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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_class_of_relationship
xtm-psi-subclass   : class_of_class_of_representation

class_of_class_of_representation
bn: Class Of Class Of Representation
bn @ lower : class_of_class_of_representation

# NOT YET TRANSFORMED
# 
#       class_of_pattern     : class_of_class_of_information_representation;
#       class_of_represented : class;
#   

# *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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_class_of_representation
xtm-psi-subclass   : class_of_class_of_identification

class_of_class_of_identification
bn: Class Of Class Of Identification
bn @ lower : class_of_class_of_identification

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_class_of_representation
xtm-psi-subclass   : class_of_class_of_definition

class_of_class_of_definition
bn: Class Of Class Of Definition
bn @ lower : class_of_class_of_definition

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_class_of_representation
xtm-psi-subclass   : class_of_class_of_description

class_of_class_of_description
bn: Class Of Class Of Description
bn @ lower : class_of_class_of_description

# <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.

# IGNORING SUPERTYPE
(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_class_of_individual
xtm-psi-subclass   : class_of_class_of_information_representation

class_of_class_of_information_representation
bn: Class Of Class Of Information Representation
bn @ lower : class_of_class_of_information_representation

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_class_of_information_representation
xtm-psi-subclass   : representation_form

representation_form
bn: Representation Form
bn @ lower : representation_form

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_class_of_information_representation
xtm-psi-subclass   : language

language
bn: Language
bn @ lower : language

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_class_of_information_representation
xtm-psi-subclass   : document_definition

document_definition
bn: Document Definition
bn @ lower : document_definition

# <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>.


(xtm-psi-superclass-subclass)
xtm-psi-superclass : class_of_class_of_relationship
xtm-psi-subclass   : class_of_class_of_responsibility_for_representation

class_of_class_of_responsibility_for_representation
bn: Class Of Class Of Responsibility For Representation
bn @ lower : class_of_class_of_responsibility_for_representation

# NOT YET TRANSFORMED
# 
#       class_of_class_of_controlled : class_of_class_of_representation;
#       controller                   : possible_individual;
#   

# *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>.


(xtm-psi-superclass-subclass)
xtm-psi-supercl