DataModel
type: Ontology
comment: EXPRESS model of ISO 15926-2 mapped to OWL
version info: April 2007

AbstractObject
type: Class
definition: An AbstractObject is a Thing that does not exist in space-time.
subclass of: Thing
intersection of: Class
intersection of: Relationship
intersection of: MultidimensionalObject
disjoint with: PossibleIndividual

Class
definition: 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.
subclass of: AbstractObject
intersection of: Cardinality
intersection of: RoleAndDomain
intersection of: Class
  union of: ClassOfAbstractObject
  union of: ClassOfIndividual
note: 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.
note: A class may be a member of another class or itself.
note: The set theory that applies to classes in this model is non-wellfounded set theory (see: ACZEL, Peter. Non-Well-Founded Sets, Center for the Study of Language and Information, Stanford, California, 1988, ISBN 0937073229. This permits statements like "class is a member of class", unlike traditional set theories such as Zermelo-Fraenkel set theory found in standard texts (see: ITҬ K. (editor). Encyclopedic Dictionary of Mathematics, Mathematical Society of Japan, Edition 2, Cambridge, Massachusetts, MIT Press, 1993, ISBN 0262590204)
note: There is a null Class that has no members. 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.
note: The known members of a Class are identified by Classification.
example: Centrifugal pump is a Class.
example: Mechanical equipment type is a Class.
example: Temperature is a Class.
example: Commercial fusion reactor is a Class, with no members at present.
example: The Centigrade scale is a Class.

Relationship
type: Class
definition: A Relationship is an AbstractObject that indicates something that one Thing has to do with another.
subclass of: AbstractObject
union of: Approval
union of: CauseOfEvent
union of: ClassOfRelationshipWithSignature
union of: ComparisonOfProperty
union of: CompositionOfIndividual
union of: ConnectionOfIndividual
union of: FunctionalMapping
union of: IndirectProperty
union of: IndividualUsedInConnection
union of: IntendedRoleAndDomain
union of: InvolvementByReference
union of: LifecycleStage
union of: OtherRelationship
union of: PossibleRoleAndDomain
union of: Recognition
union of: RelativeLocation
union of: RepresentationOfThing
union of: ResponsibilityForRepresentation
union of: TemporalSequence
union of: UsageOfRepresentation
note: Only classes of binary relationship are supported. More complex objects can be supported using MultidimensionalObject and ClassOfMultidimensionalObject. ISO 15926-7 Templates are such complex objects.
note: An rdf:Property comes close, but has one direction. The two attributes of a relationship are mapped to rdf:Property, with the subclass of Relationship as rdf:domain, and the rdf:range constrained using the built-in OWL properties owl:onProperty and owl:allValuesFrom or hasValue.

MultidimensionalObject
type: Class
definition: A MultidimensionalObject is an AbstractObject that is an ordered list of Thing. The significance of the MultidimensionalObject is determined by being a member of a ClassOfMultidimensionalObject that indicates the role played by each of its elements.
subclass of: AbstractObject
union of: MultidimensionalNumber
union of: MultidimensionalNumberSpace
union of: MultidimensionalProperty
union of: MultidimensionalPropertySpace
union of: MultidimensionalScale
subclass of: Restriction
  on property: elements
  all values from: Thing
subclass of: Restriction
  on property: position
note: The MultidimensionalObject [A,B,C] is different from [B,C,A].
example: '[32, 1.8, 20]' is a MultidimensionalObject that may be specified to be the input parameters for the function y=a+bx to convert 20 Celsius to Fahrenheit.

Activity
type: Class
definition: An Activity is a PossibleIndividual that brings about change by causing the Event that marks the Beginning, or the Event that marks the Ending of a PossibleIndividual . An Activity consists of the temporal parts of those members of PossibleIndividual that participate in the Activity. The participating temporal parts will be classified by the ParticipatingRoleAndDomain that indicates the role of the temporal part in the Activity.
subclass of: PossibleIndividual
example: Pumping a fluid with a mechanical pump can be represented by an instance of Activity .

ActualIndividual
type: Class
definition: An ActualIndividual is a PossibleIndividual 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.
subclass of: PossibleIndividual
note: The things we plan can usually only be assumed to be part of some imagined universe, until they come about.
example: The Eiffel Tower is an ActualIndividual.
example: The fictional character, Sherlock Holmes, is a PossibleIndividual who is not an ActualIndividual .
example: The Earth in the year 2300 (assuming it still exists) is an ActualIndividual.

Approval
type: Class
definition: An Approval is a Relationship that indicates that a Relationship has been approved by a PossibleIndividual that is an approver.
subclass of: Relationship
disjoint with: CauseOfEvent
disjoint with: Classification
disjoint with: ClassOfRelationshipWithSignature
disjoint with: ComparisonOfProperty
disjoint with: CompositionOfIndividual
disjoint with: ConnectionOfIndividual
disjoint with: FunctionalMapping
disjoint with: IndirectProperty
disjoint with: IndividualUsedInConnection
disjoint with: IntendedRoleAndDomain
disjoint with: InvolvementByReference
disjoint with: LifecycleStage
disjoint with: OtherRelationship
disjoint with: PossibleRoleAndDomain
disjoint with: Recognition
disjoint with: RelativeLocation
disjoint with: RepresentationOfThing
disjoint with: ResponsibilityForRepresentation
disjoint with: TemporalSequence
disjoint with: UsageOfRepresentation
subclass of: Restriction
  on property: approved
  all values from: Relationship
subclass of: Restriction
  on property: approver
  all values from: PossibleIndividual
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 ClassOfActivity .
example: The InvolvementByReference of a plant design with a construction activity, being approved by the site manager, is an example of an Approval.

ArithmeticNumber
type: Class
definition: An ArithmeticNumber is a ClassOfClass whose member classes have the same sign and count or magnitude. An ArithmeticNumber is the number itself, not any representation of the number.
subclass of: ClassOfClass
union of: IntegerNumber
union of: MultidimensionalNumber
union of: RealNumber
disjoint with: ClassOfClassOfIndividual
disjoint with: ClassOfClassOfRelationship
disjoint with: ClassOfNumber
disjoint with: ClassOfPropertySpace
disjoint with: ClassOfShapeDimension
example: The number 2 and the number 2.0 can be represented by instances of ArithmeticNumber .
example: Fifteen, the number itself not the English word "fifteen", is an ArithmeticNumber. It could be represented by an ExpressInteger or an ExpressReal but could also be represented by "XV", or a binary, or a hexadecimal representation.

IntegerNumber
type: Class
definition: An IntegerNumber is an ArithmeticNumber that is an integer number.
subclass of: ArithmeticNumber
disjoint with: MultidimensionalNumber
disjoint with: RealNumber
note: IntegerNumber is not a subtype of RealNumber. The members of IntegerNumber are part of a different continuum from the members of RealNumber, but are isomorphic to a subset of it.
example: '1', '2', and '10' are instances of IntegerNumber.

MultidimensionalNumber
type: Class
definition: A MultidimensionalNumber is an ArithmeticNumber that is also a MultidimensionalObject.
subclass of: ArithmeticNumber
subclass of: MultidimensionalObject
disjoint with: MultidimensionalNumberSpace
disjoint with: MultidimensionalProperty
disjoint with: MultidimensionalPropertySpace
disjoint with: MultidimensionalScale
disjoint with: RealNumber
example: '[3.2, 5.4, 55.6]' is a MultidimensionalNumber.

RealNumber
type: Class
definition: A RealNumber is an ArithmeticNumber that is a real number.
subclass of: ArithmeticNumber
example: '3.2146' is a representation of a RealNumber.

ArrangedIndividual
type: Class
definition: An ArrangedIndividual is a PossibleIndividual that has parts that play distinct roles with respect to the whole. The qualities of an ArrangedIndividual are distinct from the qualities of its parts.
subclass of: PossibleIndividual
example: The vessel with serial number V-1234 is an ArrangedIndividual .
example: The company Bloggs Co. is an ArrangedIndividual .
example: John Doe is an ArrangedIndividual .

ArrangementOfIndividual
type: Class
definition: An ArrangementOfIndividual is a CompositionOfIndividual that indicates that the part is a part of an ArrangedIndividual. The temporal extent of the part is that of the whole. An ArrangementOfIndividual may be an AssemblyOfIndividual.
subclass of: CompositionOfIndividual
union of: AssemblyOfIndividual
union of: FeatureWholePart
disjoint with: Participation
disjoint with: TemporalBounding
disjoint with: TemporalWholePart
subclass of: Restriction
  on property: whole
  all values from: ArrangedIndividual
note: The term "arranged" implies that parts have particular roles with respect to the whole.
note: The natures of the relations to other parts of the whole are not specified by the arrangement relation. Relationships like ConnectionOfIndividual and RelativeLocation would indicate this.
example: The relationship that indicates that a particular aircraft is flying as part of a formation can be represented by an instance of ArrangementOfIndividual.
example: The relationship that indicates that a particular bin in a warehouse is part of the warehouse layout can be represented by an instance of ArrangementOfIndividual.

AssemblyOfIndividual
type: Class
definition: An AssemblyOfIndividual is an ArrangementOfIndividual that indicates that the part is connected directly or indirectly to other parts of the whole. The parts and wholes are supermolecular objects.
subclass of: ArrangementOfIndividual
disjoint with: FeatureWholePart
note: Composition of molecules and smaller is represented through instances of ClassOfArrangementOfIndividual.
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 AssemblyOfIndividual.

FeatureWholePart
type: Class
definition: A FeatureWholePart is an ArrangementOfIndividual that indicates that the part is a non-separable, contiguous part of the whole.
subclass of: ArrangementOfIndividual
note: This includes wholes that cannot be non-destructively disassembled and reassembled such as the 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 FeatureWholePart.

Beginning
type: Class
definition: A Beginning is a TemporalBounding that marks the temporal start of a PossibleIndividual.
subclass of: TemporalBounding
disjoint with: Ending
example: The relation that indicates that the PointInTime known as 0000hrs 1st July 1999 UTC is the beginning of the PeriodInTime known as July 1999 00:00UTC can be represented by an instance of Beginning.
example: The relation that indicates that the Event 'loading complete' marks the start of the PossibleIndividual 'loading plant idle' can be represented by an instance of Beginning.

BoundaryOfNumberSpace
type: Class
definition: A BoundaryOfNumberSpace is a Specialization that indicates that a NumberSpace is a boundary to another NumberSpace.
subclass of: Relationship
editorial note: The original superclass "Specialization" cannot be used in RDF+OWL since that is represented by rdfs:subClassOf.
subclass of: Restriction
  on property: bounding
  all values from: NumberSpace
subclass of: Restriction
  on property: bounded
  all values from: NumberSpace
example: The side of a cube in R3 is a NumberSpace that is a plane in R3 and that is a boundary to the NumberSpace that is a cube in R3.

BoundaryOfPropertySpace
type: Class
definition: A BoundaryOfPropertySpace is a Specialization that indicates the members of the subclass form a boundary of the superclass.
subclass of: Relationship
editorial note: The original superclass "Specialization" cannot be used in RDF+OWL since that is represented by rdfs:subClassOf.
subclass of: Restriction
  on property: bounding
  all values from: PropertySpace
subclass of: Restriction
  on property: bounded
  all values from: PropertySpace
note: For reasons of mapping to OWL where Specialization is represented by rdfs:subClassOf, the expressivity of this relationship would be lost; for that reason we have mapped it to the supertype of Specialization, i.e. Relationship.
example: The PropertySpace that corresponds to the maximum speed head flow curve is a boundary of the PropertySpace that corresponds to the pump operating envelope.

Cardinality
type: Class
definition: A Cardinality is a Class that is the maximum and/or minimum number of times a thing can play a particular role in a ClassOfRelationship or ClassOfMultidimensionalObject.
editorial note: Do not use in RDF+OWL. Use owl:cardinality, owl:minCardinality, or owl:maxCardinality instead.
subclass of: Class
subclass of: Restriction
  on property: maximumCardinality
subclass of: Restriction
  on property: minimumCardinality
example: A minimum of 1 and a maximum of 1 means that there is exactly one Relationship MultidimensionalObject of this type for each object.

CauseOfEvent
type: Class
definition: A CauseOfEvent is a Relationship that indicates that the caused Event is caused by the causer Activity.
subclass of: Relationship
disjoint with: Classification
disjoint with: ClassOfRelationshipWithSignature
disjoint with: ComparisonOfProperty
disjoint with: CompositionOfIndividual
disjoint with: ConnectionOfIndividual
disjoint with: FunctionalMapping
disjoint with: IndirectProperty
disjoint with: IndividualUsedInConnection
disjoint with: IntendedRoleAndDomain
disjoint with: InvolvementByReference
disjoint with: LifecycleStage
disjoint with: OtherRelationship
disjoint with: PossibleRoleAndDomain
disjoint with: Recognition
disjoint with: RelativeLocation
disjoint with: RepresentationOfThing
disjoint with: ResponsibilityForRepresentation
disjoint with: TemporalSequence
disjoint with: UsageOfRepresentation
subclass of: Restriction
  on property: caused
  all values from: Event
subclass of: Restriction
  on property: causer
  all values from: 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 CauseOfEvent.

RoleAndDomain
type: Class
definition: A RoleAndDomain is a Class that specifies the domain and role for an end of a ClassOfRelationship or ClassOfMultidimensionalObject.
subclass of: Class
intersection of: ParticipatingRoleAndDomain
intersection of: Role
note: A RoleAndDomain is analogous to specifying an EXPRESS attribute or its inverse.
example: "Husband and man" and "wife and woman" are examples of RoleAndDomain.

ClassOfAbstractObject
type: Class
definition: A ClassOfAbstractObject is a Class whose members classify members
subclass of: Class
intersection of: ClassOfClass
intersection of: ClassOfRelationship
intersection of: ClassOfMultidimensionalObject
disjoint with: ClassOfIndividual

ClassOfIndividual
type: Class
definition: A ClassOfIndividual is a Class whose members are instances of PossibleIndividual.
subclass of: Class
intersection of: ParticipatingRoleAndDomain
intersection of: Class
  union of: ClassOfArrangedIndividual
  union of: ClassOfEvent
  union of: ClassOfPeriodInTime
  union of: IndividualDimension
  union of: Property
  union of: Status
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 ClassOfIndividual.

Classification
type: Class
definition: A Classification is type of Relationship that indicates that the 'classified' Thing is a member of the 'classifier' Class. Classification is not transitive.
type: ClassOfClassification
subclass of: Relationship
disjoint with: ClassOfRelationshipWithSignature
disjoint with: ComparisonOfProperty
disjoint with: CompositionOfIndividual
disjoint with: ConnectionOfIndividual
disjoint with: FunctionalMapping
disjoint with: IndirectProperty
disjoint with: IndividualUsedInConnection
disjoint with: IntendedRoleAndDomain
disjoint with: InvolvementByReference
disjoint with: LifecycleStage
disjoint with: OtherRelationship
disjoint with: PossibleRoleAndDomain
disjoint with: Recognition
disjoint with: RelativeLocation
disjoint with: RepresentationOfThing
disjoint with: ResponsibilityForRepresentation
disjoint with: TemporalSequence
disjoint with: UsageOfRepresentation
subclass of: Restriction
  on property: classified
  all values from: Thing
subclass of: Restriction
  on property: classifier
  all values from: Class
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.
note: In RDF this relationship is represented by rdf:type. Although redundant always the triple Thing rdf:type Class shall be created in parallel with this Classification relationship.
example: The Relationship that indicates that London is a member of the class known as 'capital city' is a Classification.
example: The Relationship that indicates that the Class 'pump' is a member of the ClassOfClass 'equipment type' is a Classification.

ClassOfClass
type: Class
definition: A ClassOfClass is a Class whose members are instances of Class.
subclass of: ClassOfAbstractObject
intersection of: EnumeratedSetOfClass
intersection of: Class
  union of: ArithmeticNumber
  union of: ClassOfClassOfIndividual
  union of: ClassOfClassOfRelationship
  union of: ClassOfNumber
  union of: ClassOfPropertySpace
  union of: ClassOfShapeDimension
note: When it is necessary to classify a ClassOfClass, another ClassOfClass can be used. This is because a ClassOfClass is a Class.

ClassOfRelationship
type: Class
definition: A ClassOfRelationship is a ClassOfAbstractObject whose members are members of Relationship.
subclass of: ClassOfAbstractObject
intersection of: Class
  union of: ClassOfApproval
  union of: ClassOfApprovalByStatus
  union of: ClassOfAssertion
  union of: ClassOfCauseOfBeginningOfClassOfIndividual
  union of: ClassOfCauseOfEndingOfClassOfIndividual
  union of: ClassOfClassification
  union of: ClassOfCompositionOfIndividual
  union of: ClassOfConnectionOfIndividual
  union of: ClassOfFunctionalMapping
  union of: ClassOfIndirectProperty
  union of: ClassOfIndividualUsedInConnection
  union of: ClassOfIntendedRoleAndDomain
  union of: ClassOfInvolvementByReference
  union of: ClassOfLifecycleStage
  union of: ClassOfPossibleRoleAndDomain
  union of: ClassOfRecognition
  union of: ClassOfRelationshipWithSignature
  union of: ClassOfRelativeLocation
  union of: ClassOfRepresentationOfThing
  union of: ClassOfRepresentationTranslation
  union of: ClassOfResponsibilityForRepresentation
  union of: ClassOfSpecialization
  union of: ClassOfTemporalSequence
  union of: ClassOfUsageOfRepresentation
  union of: DimensionOfIndividual
  union of: PropertyForShapeDimension
intersection of: Class
  union of: ClassOfRelationshipWithRelatedEnd1
  union of: ClassOfRelationshipWithRelatedEnd2

ClassOfMultidimensionalObject
type: Class
definition: A ClassOfMultidimensionalObject is a ClassOfAbstractObject whose members are instances of MultidimensionalObject . The role played by each position in the classified MultidimensionalObject is specified at the same position in the roles attribute. Constant values that apply to any position in the roles attribute are specified in the same position in the parameters attribute. The cardinalities for the roles attribute are specified by the same position in the cardinalities attribute.
subclass of: ClassOfAbstractObject
subclass of: Restriction
  on property: cardinalities
  all values from: Cardinality
subclass of: Restriction
  on property: optionalElement
subclass of: Restriction
  on property: parameters
  all values from: Thing
subclass of: Restriction
  on property: parameterPosition
subclass of: Restriction
  on property: roles
  all values from: RoleAndDomain
example: The definition of the input to a function y = a + bx to convert Celsius to Fahrenheit with roles [a, b, x] defining the input MultidimensionalObject, and parameter list [32,1.8,] is an example of a ClassOfMultidimensionalObject.

ClassOfActivity
type: Class
definition: A ClassOfActivity is a ClassOfArrangedIndividual whose members are instances of Activity.
subclass of: ClassOfArrangedIndividual
note: Behaviour is a term used to describe a ClassOfActivity either where there are preconditions and the ClassOfActivity 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.
example: Drilling, distilling, and approving can be represented by instances of ClassOfActivity.

ClassOfApproval
type: Class
definition: A ClassOfApproval is a ClassOfRelationship whose members are members of Approval that indicates that members of the ClassOfIndividual are approvers in an Approval for the members of the Class that are approved.
subclass of: ClassOfRelationship
disjoint with: ClassOfApprovalByStatus
disjoint with: ClassOfAssertion
disjoint with: ClassOfCauseOfBeginningOfClassOfIndividual
disjoint with: ClassOfCauseOfEndingOfClassOfIndividual
disjoint with: ClassOfClassification
disjoint with: ClassOfCompositionOfIndividual
disjoint with: ClassOfConnectionOfIndividual
disjoint with: ClassOfFunctionalMapping
disjoint with: ClassOfIndirectProperty
disjoint with: ClassOfIndividualUsedInConnection
disjoint with: ClassOfIntendedRoleAndDomain
disjoint with: ClassOfInvolvementByReference
disjoint with: ClassOfLifecycleStage
disjoint with: ClassOfPossibleRoleAndDomain
disjoint with: ClassOfRecognition
disjoint with: ClassOfRelationshipWithSignature
disjoint with: ClassOfRelativeLocation
disjoint with: ClassOfRepresentationOfThing
disjoint with: ClassOfRepresentationTranslation
disjoint with: ClassOfResponsibilityForRepresentation
disjoint with: ClassOfSpecialization
disjoint with: ClassOfTemporalSequence
disjoint with: ClassOfUsageOfRepresentation
disjoint with: DimensionOfIndividual
disjoint with: PropertyForShapeDimension
subclass of: Restriction
  on property: classOfApproved
  all values from: ClassOfRelationship
subclass of: Restriction
  on property: classOfApprover
  all values from: ClassOfIndividual
example: That site managers approve designs for construction (a ClassOfInvolvementByReference ) is an example of ClassOfApproval.

ClassOfApprovalByStatus
type: Class
definition: A ClassOfApprovalByStatus is a ClassOfRelationship that indicates a status of the approval that is independent of what is being approved by whom.
subclass of: ClassOfRelationship
disjoint with: ClassOfAssertion
disjoint with: ClassOfCauseOfBeginningOfClassOfIndividual
disjoint with: ClassOfCauseOfEndingOfClassOfIndividual
disjoint with: ClassOfClassification
disjoint with: ClassOfCompositionOfIndividual
disjoint with: ClassOfConnectionOfIndividual
disjoint with: ClassOfFunctionalMapping
disjoint with: ClassOfIndirectProperty
disjoint with: ClassOfIndividualUsedInConnection
disjoint with: ClassOfIntendedRoleAndDomain
disjoint with: ClassOfInvolvementByReference
disjoint with: ClassOfLifecycleStage
disjoint with: ClassOfPossibleRoleAndDomain
disjoint with: ClassOfRecognition
disjoint with: ClassOfRelationshipWithSignature
disjoint with: ClassOfRelativeLocation
disjoint with: ClassOfRepresentationOfThing
disjoint with: ClassOfRepresentationTranslation
disjoint with: ClassOfResponsibilityForRepresentation
disjoint with: ClassOfSpecialization
disjoint with: ClassOfTemporalSequence
disjoint with: ClassOfUsageOfRepresentation
disjoint with: DimensionOfIndividual
disjoint with: PropertyForShapeDimension
example: approved, approved with comments, disapproved with comments are examples of ClassOfApprovalByStatus.

ClassOfArrangedIndividual
type: Class
definition: A ClassOfArrangedIndividual is a ClassOfIndividual whose members are an arrangement of components.
subclass of: ClassOfIndividual
intersection of: ClassOfActivity
intersection of: ClassOfFeature
intersection of: ClassOfInformationObject
intersection of: ClassOfOrganization
intersection of: Class
  union of: ClassOfInanimatePhysicalObject
  union of: ClassOfOrganism
intersection of: Class
  union of: ClassOfAtom
  union of: ClassOfBiologicalMatter
  union of: ClassOfCompound
  union of: ClassOfCompositeMaterial
  union of: ClassOfFunctionalObject
  union of: ClassOfInformationPresentation
  union of: ClassOfInformationRepresentation
  union of: ClassOfMolecule
  union of: ClassOfParticulateMaterial
  union of: ClassOfSubAtomicParticle
  union of: CrystallineStructure
  union of: Phase
disjoint with: ClassOfEvent
disjoint with: ClassOfPeriodInTime
disjoint with: IndividualDimension
disjoint with: Property
disjoint with: Status
note: The ONEOF constraint on some of the subtypes does not prevent a particular PossibleIndividual from being, say, classified by ClassOfBiologicalMatter and a member of a particular ClassOfCompositeMaterial. It is only the classes themselves that are not members of more than one of the entity types.
note: 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 ClassOfArrangedIndividual, ClassOfFeature, ClassOfInanimatePhysicalObject, ClassOfOrganization, ClassOfActivity, ClassOfOrganism, or ClassOfInformationObject.
example: Robocop is a ClassOfArrangedIndividual that has some parts that are members of some ClassOfInanimatePhysicalObject and parts that are members of some ClassOfOrganism.

ClassOfFeature
type: Class
definition: A ClassOfFeature is a ClassOfArrangedIndividual whose members are contiguous, non-separable parts of some PossibleIndividual and have an incompletely defined boundary.
subclass of: ClassOfArrangedIndividual
example: The classes known as 'mountain', 'groove', 'rim', 'nozzle', 'nose', and 'raised face' can all be represented as instances of ClassOfFeature.

ClassOfInformationObject
type: Class
definition: A ClassOfInformationObject is a ClassOfArrangedIndividual whose members are members of zero or more ClassOfInformationRepresentation and of zero or more ClassOfInformationPresentation.
subclass of: ClassOfArrangedIndividual
note: Usually, it is a physical_object (like a paper document) that is classified as a ClassOfInformationObject.
example: 'Newspaper' is a ClassOfInformationObject.

ClassOfOrganization
type: Class
definition: A ClassOfOrganization is a ClassOfArrangedIndividual whose members are instances of PhysicalObject that are composed of temporal parts of people and other assets, and are organised with a particular purpose.
subclass of: ClassOfArrangedIndividual
example: Company, government, and project team can be represented by instances of ClassOfOrganization.

ClassOfInanimatePhysicalObject
type: Class
definition: A ClassOfInanimatePhysicalObject is a ClassOfArrangedIndividual whose members are not living.
subclass of: ClassOfArrangedIndividual
disjoint with: ClassOfOrganism
example: The classes known as 'oil' and 'oilwell' can be represented by instances of ClassOfInanimatePhysicalObject.

ClassOfOrganism
type: Class
definition: A ClassOfOrganism is a ClassOfArrangedIndividual whose members are living organisms.
subclass of: ClassOfArrangedIndividual
example: Human being, sheep, earthworm, oak tree, and bacteria are instances of ClassOfOrganism.

ClassOfAtom
type: Class
definition: A ClassOfAtom is a ClassOfArrangedIndividual whose members are atoms.
subclass of: ClassOfArrangedIndividual
disjoint with: ClassOfBiologicalMatter
disjoint with: ClassOfCompositeMaterial
disjoint with: ClassOfCompound
disjoint with: ClassOfFunctionalObject
disjoint with: ClassOfInformationPresentation
disjoint with: ClassOfInformationRepresentation
disjoint with: ClassOfMolecule
disjoint with: ClassOfParticulateMaterial
disjoint with: ClassOfSubAtomicParticle
disjoint with: CrystallineStructure
disjoint with: Phase
example: All entries in the periodic table of elements can be represented by instances of ClassOfAtom.

ClassOfBiologicalMatter
type: Class
definition: A ClassOfBiologicalMatter is a ClassOfArrangedIndividual whose members are particular types of cell or aggregations of cells.
subclass of: ClassOfArrangedIndividual
disjoint with: ClassOfCompositeMaterial
disjoint with: ClassOfCompound
disjoint with: ClassOfFunctionalObject
disjoint with: ClassOfInformationPresentation
disjoint with: ClassOfInformationRepresentation
disjoint with: ClassOfMolecule
disjoint with: ClassOfParticulateMaterial
disjoint with: ClassOfSubAtomicParticle
disjoint with: CrystallineStructure
disjoint with: Phase
example: The classes known as 'blood', 'enzyme', and 'plasma' can be represented by instances of ClassOfBiologicalMatter.

ClassOfCompound
type: Class
definition: A ClassOfCompound is a ClassOfArrangedIndividual whose members consist of arrangements of molecules of the same or different types, bound together by intermolecular forces. This includes both mixtures and alloys.
subclass of: ClassOfArrangedIndividual
disjoint with: ClassOfFunctionalObject
disjoint with: ClassOfInformationPresentation
disjoint with: ClassOfInformationRepresentation
disjoint with: ClassOfMolecule
disjoint with: ClassOfParticulateMaterial
disjoint with: ClassOfSubAtomicParticle
disjoint with: CrystallineStructure
disjoint with: Phase
example: Water, sulphuric acid, sand, limestone, and steel can be represented by instances of ClassOfCompound.

ClassOfCompositeMaterial
type: Class
definition: A ClassOfCompositeMaterial is a ClassOfArrangedIndividual whose members have a common arrangement of separable compounds.
subclass of: ClassOfArrangedIndividual
disjoint with: ClassOfCompound
disjoint with: ClassOfFunctionalObject
disjoint with: ClassOfInformationPresentation
disjoint with: ClassOfInformationRepresentation
disjoint with: ClassOfMolecule
disjoint with: ClassOfParticulateMaterial
disjoint with: ClassOfSubAtomicParticle
disjoint with: CrystallineStructure
disjoint with: Phase
example: Laminates such as plywood, fibreglass, and carbon fibre can be represented by instances of ClassOfCompositeMaterial.
example: Wood, muscle, and skin can be represented by instances of ClassOfCompositeMaterial.

ClassOfFunctionalObject
type: Class
definition: A ClassOfFunctionalObject is a ClassOfArrangedIndividual that indicates the function or purpose of an object.
subclass of: ClassOfArrangedIndividual
disjoint with: ClassOfInformationPresentation
disjoint with: ClassOfInformationRepresentation
disjoint with: ClassOfMolecule
disjoint with: ClassOfParticulateMaterial
disjoint with: ClassOfSubAtomicParticle
disjoint with: CrystallineStructure
disjoint with: Phase
example: Pump, valve, and car are examples of ClassOfFunctionalObject. Particular models of pump, valve, car, etc are instances of ClassOfInanimatePhysicalObject that are specializations of these instances of ClassOfFunctionalObject.

ClassOfInformationPresentation
type: Class
definition: A ClassOfInformationPresentation is a ClassOfArrangedIndividual that distinguishes styles for presenting information.
subclass of: ClassOfArrangedIndividual
disjoint with: ClassOfInformationRepresentation
disjoint with: ClassOfMolecule
disjoint with: ClassOfParticulateMaterial
disjoint with: ClassOfSubAtomicParticle
disjoint with: CrystallineStructure
disjoint with: Phase
example: The character styles bold, italic, Times New Roman, and 16pt can be represented as instances of ClassOfInformationPresentation.

ClassOfInformationRepresentation
type: Class
definition: A ClassOfInformationRepresentation is a ClassOfArrangedIndividual that defines a pattern that represents information.
subclass of: ClassOfArrangedIndividual
union of: ClassOfExpressInformationRepresentation
union of: RepresentationOfGregorianDateAndUtcTime
disjoint with: ClassOfMolecule
disjoint with: ClassOfParticulateMaterial
disjoint with: ClassOfSubAtomicParticle
disjoint with: CrystallineStructure
disjoint with: Phase
example: The texts formed with the pattern of characters 's' concatenated with 'u' concatenated with 'n' are members of the 'sun' ClassOfInformationRepresentation.

ClassOfMolecule
type: Class
definition: A ClassOfMolecule is a ClassOfArrangedIndividual whose members are molecules.
subclass of: ClassOfArrangedIndividual
disjoint with: ClassOfParticulateMaterial
disjoint with: ClassOfSubAtomicParticle
disjoint with: CrystallineStructure
disjoint with: Phase
example: H2O, H2SO4, and DNA can be represented by instances of ClassOfMolecule.

ClassOfParticulateMaterial
type: Class
definition: A ClassOfParticulateMaterial is a ClassOfArrangedIndividual whose members are arranged amounts of supermolecular sized objects of the same or different types.
subclass of: ClassOfArrangedIndividual
disjoint with: ClassOfSubAtomicParticle
disjoint with: CrystallineStructure
disjoint with: Phase
example: Pile of sand, sand and cement mix, bag of bolts, catalyst fill for a reactor are examples of ClassOfParticulateMaterial.

ClassOfSubAtomicParticle
type: Class
definition: A ClassOfSubAtomicParticle is a ClassOfArrangedIndividual whose members are constituent particles of atoms.
subclass of: ClassOfArrangedIndividual
disjoint with: CrystallineStructure
disjoint with: Phase
example: 'Proton', 'electron', 'meson', 'neutron', 'positron', 'muon', 'quark', and 'neutrino' can be represented by instances of ClassOfSubAtomicParticle.

CrystallineStructure
type: Class
definition: A CrystallineStructure is a ClassOfArrangedIndividual 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.
subclass of: ClassOfArrangedIndividual
disjoint with: Phase
example: Ferritic, martensitic, and austenitic are examples of CrystallineStructure.

Phase
type: Class
definition: A Phase is a ClassOfArrangedIndividual based on the nature of the boundary behaviour of material resulting from its atomic and molecular bonding.
subclass of: ClassOfArrangedIndividual
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.

ClassOfArrangementOfIndividual
type: Class
definition: A ClassOfArrangementOfIndividual is a ClassOfCompositionOfIndividual whose members are instances of ArrangementOfIndividual.
subclass of: ClassOfCompositionOfIndividual
union of: ClassOfAssemblyOfIndividual
union of: ClassOfFeatureWholePart
union of: Namespace
disjoint with: ClassOfParticipation
disjoint with: ClassOfTemporalWholePart
subclass of: Restriction
  on property: classOfWhole
  all values from: ClassOfArrangedIndividual
example: The fact that water is made up of H2O molecules is an instance of ClassOfArrangementOfIndividual.

ClassOfAssemblyOfIndividual
type: Class
definition: A ClassOfAssemblyOfIndividual is a ClassOfArrangementOfIndividual whose members are instances of AssemblyOfIndividual.
subclass of: ClassOfArrangementOfIndividual
disjoint with: ClassOfFeatureWholePart
disjoint with: Namespace
example: That impellers are parts of centrifugal pumps is a ClassOfAssemblyOfIndividual.

ClassOfFeatureWholePart
type: Class
definition: A ClassOfFeatureWholePart is a ClassOfArrangementOfIndividual whose members are instances of FeatureWholePart.
subclass of: ClassOfArrangementOfIndividual
disjoint with: Namespace
example: Thermowells have stems, and tables have tops are examples of ClassOfFeatureWholePart.

Namespace
type: Class
definition: A Namespace is a ClassOfArrangementOfIndividual where the classOfWhole and classOfPart are members of ClassOfInformationRepresentation and the part is the most significant part of the whole that is the namespace.
subclass of: ClassOfArrangementOfIndividual
union of: LeftNamespace
union of: RightNamespace
subclass of: Restriction
  on property: classOfPart
  all values from: ClassOfInformationRepresentation
subclass of: Restriction
  on property: classOfWhole
  all values from: ClassOfInformationRepresentation
example: The string 'owl:' is the (left_)namespace in the name owl:Class.

ClassOfAssertion
type: Class
definition: A ClassOfAssertion is a ClassOfRelationship that describes the assertive nature of the member relations.
subclass of: ClassOfRelationship
disjoint with: ClassOfCauseOfBeginningOfClassOfIndividual
disjoint with: ClassOfCauseOfEndingOfClassOfIndividual
disjoint with: ClassOfClassification
disjoint with: ClassOfCompositionOfIndividual
disjoint with: ClassOfConnectionOfIndividual
disjoint with: ClassOfFunctionalMapping
disjoint with: ClassOfIndirectProperty
disjoint with: ClassOfIndividualUsedInConnection
disjoint with: ClassOfIntendedRoleAndDomain
disjoint with: ClassOfInvolvementByReference
disjoint with: ClassOfLifecycleStage
disjoint with: ClassOfPossibleRoleAndDomain
disjoint with: ClassOfRecognition
disjoint with: ClassOfRelationshipWithSignature
disjoint with: ClassOfRelativeLocation
disjoint with: ClassOfRepresentationOfThing
disjoint with: ClassOfRepresentationTranslation
disjoint with: ClassOfResponsibilityForRepresentation
disjoint with: ClassOfSpecialization
disjoint with: ClassOfTemporalSequence
disjoint with: ClassOfUsageOfRepresentation
disjoint with: DimensionOfIndividual
disjoint with: PropertyForShapeDimension
example: Asserting, denying, and probabilistic can be represented by instance of ClassOfAssertion.

ClassOfCauseOfBeginningOfClassOfIndividual
type: Class
definition: A ClassOfCauseOfBeginningOfClassOfIndividual is a ClassOfRelationship that indicates that a member of a ClassOfActivity causes the beginning of a member of a ClassOfIndividual.
subclass of: ClassOfRelationship
disjoint with: ClassOfCauseOfEndingOfClassOfIndividual
disjoint with: ClassOfClassification
disjoint with: ClassOfCompositionOfIndividual
disjoint with: ClassOfConnectionOfIndividual
disjoint with: ClassOfFunctionalMapping
disjoint with: ClassOfIndirectProperty
disjoint with: ClassOfIndividualUsedInConnection
disjoint with: ClassOfIntendedRoleAndDomain
disjoint with: ClassOfInvolvementByReference
disjoint with: ClassOfLifecycleStage
disjoint with: ClassOfPossibleRoleAndDomain
disjoint with: ClassOfRecognition
disjoint with: ClassOfRelationshipWithSignature
disjoint with: ClassOfRelativeLocation
disjoint with: ClassOfRepresentationOfThing
disjoint with: ClassOfRepresentationTranslation
disjoint with: ClassOfResponsibilityForRepresentation
disjoint with: ClassOfSpecialization
disjoint with: ClassOfTemporalSequence
disjoint with: ClassOfUsageOfRepresentation
disjoint with: DimensionOfIndividual
disjoint with: PropertyForShapeDimension
subclass of: Restriction
  on property: classOfBegun
  all values from: ClassOfIndividual
subclass of: Restriction
  on property: classOfCauser
  all values from: ClassOfActivity
example: A car manufacturing activity causes the beginning of a car.

ClassOfCauseOfEndingOfClassOfIndividual
type: Class
definition: A ClassOfCauseOfEndingOfClassOfIndividual is a ClassOfRelationship that indicates that a member of the ClassOfActivity causes the ending of a member of the ClassOfIndividual.
subclass of: ClassOfRelationship
disjoint with: ClassOfClassification
disjoint with: ClassOfCompositionOfIndividual
disjoint with: ClassOfConnectionOfIndividual
disjoint with: ClassOfFunctionalMapping
disjoint with: ClassOfIndirectProperty
disjoint with: ClassOfIndividualUsedInConnection
disjoint with: ClassOfIntendedRoleAndDomain
disjoint with: ClassOfInvolvementByReference
disjoint with: ClassOfLifecycleStage
disjoint with: ClassOfPossibleRoleAndDomain
disjoint with: ClassOfRecognition
disjoint with: ClassOfRelationshipWithSignature
disjoint with: ClassOfRelativeLocation
disjoint with: ClassOfRepresentationOfThing
disjoint with: ClassOfRepresentationTranslation
disjoint with: ClassOfResponsibilityForRepresentation
disjoint with: ClassOfSpecialization
disjoint with: ClassOfTemporalSequence
disjoint with: ClassOfUsageOfRepresentation
disjoint with: DimensionOfIndividual
disjoint with: PropertyForShapeDimension
subclass of: Restriction
  on property: classOfCauser
  all values from: ClassOfActivity
subclass of: Restriction
  on property: classOfEnded
  all values from: ClassOfIndividual
example: A car crushing activity causes the end of the life of a car.

EnumeratedSetOfClass
type: Class
definition: An EnumeratedSetOfClass is a ClassOfClass that is an enumerated set of the instances of Class. Enumerated means that the full set of members is specified.
subclass of: ClassOfClass
intersection of: EnumeratedNumberSet
intersection of: EnumeratedPropertySet
example: {Plastic, 1.2kg, frame} is an EnumeratedSetOfClass. More generally {{A,B,C},{B,C,D},{C,D,E}} is an EnumeratedSetOfClass.

ClassOfClassOfIndividual
type: Class
definition: A ClassOfClassOfIndividual is a ClassOfClass whose members are instances of ClassOfIndividual.
subclass of: ClassOfClass
union of: ClassOfClassOfInformationRepresentation
union of: ClassOfProperty
union of: ClassOfStatus
union of: ShapeDimension
disjoint with: ClassOfClassOfRelationship
disjoint with: ClassOfNumber
disjoint with: ClassOfPropertySpace
disjoint with: ClassOfShapeDimension
example: "Premium Product" is a ClassOfClassOfIndividual that has ClassOfIndividual "mogas" as a member.

ClassOfClassOfRelationship
type: Class
definition: A ClassOfClassOfRelationship is a ClassOfClass whose members are instances of ClassOfRelationship.
subclass of: ClassOfClass
union of: ClassOfClassOfComposition
union of: ClassOfClassOfRelationshipWithSignature
union of: ClassOfClassOfRepresentation
union of: ClassOfClassOfRepresentationTranslation
union of: ClassOfClassOfResponsibilityForRepresentation
union of: ClassOfClassOfUsageOfRepresentation
union of: ClassOfDimensionForShape
union of: ClassOfNamespace
union of: ClassOfScale
union of: DimensionOfShape
union of: PropertySpaceForClassOfShapeDimension
disjoint with: ClassOfNumber
disjoint with: ClassOfPropertySpace
disjoint with: ClassOfShapeDimension
example: Reflexive is an example of ClassOfClassOfRelationship. A reflexive ClassOfRelationship is one that may have the same Thing playing both roles, such as connection, where something may be connected to itself.

ClassOfNumber
type: Class
definition: A ClassOfNumber is a ClassOfClass whose members are members of ArithmeticNumber.
subclass of: ClassOfClass
union of: EnumeratedNumberSet
union of: NumberSpace
disjoint with: ClassOfPropertySpace
disjoint with: ClassOfShapeDimension
example: The class of prime numbers can be represented by an instance ClassOfNumber.

ClassOfPropertySpace
type: Class
definition: A ClassOfPropertySpace is a ClassOfClass whose members are members of PropertySpace.
subclass of: ClassOfClass
disjoint with: ClassOfShapeDimension
example: Property curves, property areas, and property volumes of various dimensionality and degrees of freedom are members of ClassOfPropertySpace.
example: Pump performance curve is an example of ClassOfPropertySpace.

ClassOfShapeDimension
type: Class
definition: A ClassOfShapeDimension is a ClassOfClass that is a dimension of a ClassOfShape.
subclass of: ClassOfClass
example: 'Diameter', 'height', and 'width' (in general rather than a particular one) are examples of ClassOfShapeDimension.

ClassOfClassification
type: Class
definition: A ClassOfClassification is ClassOfRelationship whose members are members of Classification. A ClassOfClassification indicates that a member of the classOfClassified Class is classified by one or more members of the classOfClassifier ClassOfClass.
type: ClassOfClassOfRelationship
subclass of: ClassOfRelationship
disjoint with: ClassOfCompositionOfIndividual
disjoint with: ClassOfConnectionOfIndividual
disjoint with: ClassOfFunctionalMapping
disjoint with: ClassOfIndirectProperty
disjoint with: ClassOfIndividualUsedInConnection
disjoint with: ClassOfIntendedRoleAndDomain
disjoint with: ClassOfInvolvementByReference
disjoint with: ClassOfLifecycleStage
disjoint with: ClassOfPossibleRoleAndDomain
disjoint with: ClassOfRecognition
disjoint with: ClassOfRelationshipWithSignature
disjoint with: ClassOfRelativeLocation
disjoint with: ClassOfRepresentationOfThing
disjoint with: ClassOfRepresentationTranslation
disjoint with: ClassOfResponsibilityForRepresentation
disjoint with: ClassOfSpecialization
disjoint with: ClassOfTemporalSequence
disjoint with: ClassOfUsageOfRepresentation
disjoint with: DimensionOfIndividual
disjoint with: PropertyForShapeDimension
subclass of: Restriction
  on property: classOfClassified
  all values from: Class
subclass of: Restriction
  on property: classOfClassifier
  all values from: ClassOfClass
example: The link between Class centrifugal pump and the ClassOfProperty RPM, indicating that a centrifugal pump is a member of at least one RPM class, can be represented by an instance of ClassOfClassification.

ClassOfClassOfComposition
type: Class
definition: A ClassOfClassOfComposition is a ClassOfClassOfRelationship whose members are instances of ClassOfComposition . It indicates that a member of a member of the classOfClassOfPart is a part of a member of an instance of the classOfClassOfWhole.
subclass of: ClassOfClassOfRelationship
disjoint with: ClassOfClassOfRelationshipWithSignature
disjoint with: ClassOfClassOfRepresentation
disjoint with: ClassOfClassOfRepresentationTranslation
disjoint with: ClassOfClassOfResponsibilityForRepresentation
disjoint with: ClassOfClassOfUsageOfRepresentation
disjoint with: ClassOfDimensionForShape
disjoint with: ClassOfNamespace
disjoint with: ClassOfScale
disjoint with: DimensionOfShape
disjoint with: PropertySpaceForClassOfShapeDimension
subclass of: Restriction
  on property: classOfClassOfPart
  all values from: ClassOfClassOfIndividual
subclass of: Restriction
  on property: classOfClassOfWhole
  all values from: ClassOfClassOfIndividual
example: Toxicity description is a classOfClassOfPart of a material data sheet, where the description "has carcinogenic components" is a classOfPart on the Mogas Material Safety Data Sheet, and copy #5 of the Mogas Material Safety Data Sheet has "has carcinogenic components" as a part.

ClassOfClassOfDefinition
type: Class
definition: A ClassOfClassOfDefinition is a ClassOfClassOfRepresentation whose members are members of ClassOfDefinition.
subclass of: ClassOfClassOfRepresentation
example: 'Normative' is a ClassOfClassOfDefinition.

ClassOfClassOfDescription
type: Class
definition: A ClassOfClassOfDescription is a ClassOfClassOfRepresentation whose members are members of ClassOfDescription.
subclass of: ClassOfClassOfRepresentation
example: 'Service description' is a ClassOfClassOfDescription.

ClassOfClassOfIdentification
type: Class
definition: A ClassOfClassOfIdentification is a ClassOfClassOfRepresentation whose members are members of ClassOfIdentification.
subclass of: ClassOfClassOfRepresentation
example: The link between the Class 'family of manufactured parts' and the RepresentationForm 'ISO 13584 Basic Semantic Unit', that indicates that part families can be identified using ISO 13584, can be represented by an instance of ClassOfClassOfIdentification.

ClassOfClassOfInformationRepresentation
type: Class
definition: A ClassOfClassOfInformationRepresentation is a ClassOfClassOfIndividual that classifies information representation classes.
subclass of: ClassOfClassOfIndividual
union of: DocumentDefinition
union of: Language
union of: RepresentationForm
disjoint with: ClassOfProperty
disjoint with: ClassOfStatus
disjoint with: ShapeDimension
example: Integer Octal is a ClassOfClassOfInformationRepresentation whose members are all the information representation classes that correspond to Octal-formatted integers.

ClassOfProperty
type: Class
definition: A ClassOfProperty is a ClassOfClassOfIndividual whose members are instances of Property.
subclass of: ClassOfClassOfIndividual
union of: EnumeratedPropertySet
union of: PropertySpace
disjoint with: ClassOfStatus
disjoint with: ShapeDimension
example: 'Temperature' is an example of ClassOfProperty.

ClassOfStatus
type: Class
definition: A ClassOfStatus is a ClassOfClassOfIndividual whose members are a Status.
subclass of: ClassOfClassOfIndividual
disjoint with: ShapeDimension
example: An example of ClassOfStatus is 'approval', with members: 'not assessed', 'approved', 'rejected'.

ShapeDimension
type: Class
definition: A ShapeDimension is a ClassOfClassOfIndividual that is a set of IndividualDimension that defines an aspect of a Shape.
subclass of: ClassOfClassOfIndividual
example: 'Diameter of 5m', 'height of 3mm', and 'width of 10cm' are members of ShapeDimension.

DocumentDefinition
type: Class
definition: A DocumentDefinition is a ClassOfClassOfInformationRepresentation that defines the content and/or structure of documents.
subclass of: ClassOfClassOfInformationRepresentation
disjoint with: Language
disjoint with: RepresentationForm
example: XYZ Corp. Material Safety Data Sheet is a DocumentDefinition.
example: In ISO 15926-7 a Template Specification defines and describes a template; the latter is a DocumentDefinition .

Language
type: Class
definition: A Language is a ClassOfClassOfInformationRepresentation whose members are all the information representations made in that language.
subclass of: ClassOfClassOfInformationRepresentation
disjoint with: RepresentationForm
example: English, French, C++ and Java can be represented by instances of Language.

RepresentationForm
type: Class
definition: A RepresentationForm is a ClassOfClassOfInformationRepresentation that distinguishes the form of representation.
subclass of: ClassOfClassOfInformationRepresentation
example: 'Hexadecimal', 'text', 'script', 'symbol', 'picture', 'diagram', 'semaphore', 'Morse code', 'music score', 'MIDI', 'XML', and 'OWL' are instances of RepresentationForm.

ClassOfClassOfRelationshipWithSignature
type: Class
definition: A ClassOfClassOfRelationshipWithSignature is a ClassOfClassOfRelationship and ClassOfRelationshipWithSignature.
subclass of: ClassOfClassOfRelationship
subclass of: ClassOfRelationshipWithSignature
disjoint with: ClassOfClassOfRepresentation
disjoint with: ClassOfClassOfRepresentationTranslation
disjoint with: ClassOfClassOfResponsibilityForRepresentation
disjoint with: ClassOfClassOfUsageOfRepresentation
disjoint with: ClassOfDimensionForShape
disjoint with: ClassOfNamespace
disjoint with: ClassOfScale
disjoint with: DimensionOfShape
disjoint with: PropertySpaceForClassOfShapeDimension
note: The purpose of ClassOfClassOfRelationshipWithSignature 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 ClassOfClassOfRelationshipWithSignature. (A ClassOfRelationship is transitive if when A relates to B and B relates to C then A relates to C, all in the same way).

ClassOfClassOfRepresentation
type: Class
definition: A ClassOfClassOfRepresentation is a ClassOfClassOfRelationship whose members are instances of ClassOfRepresentationOfThing.
subclass of: ClassOfClassOfRelationship
intersection of: ClassOfClassOfDefinition
intersection of: ClassOfClassOfDescription
intersection of: ClassOfClassOfIdentification
disjoint with: ClassOfClassOfRepresentationTranslation
disjoint with: ClassOfClassOfResponsibilityForRepresentation
disjoint with: ClassOfClassOfUsageOfRepresentation
disjoint with: ClassOfDimensionForShape
disjoint with: ClassOfNamespace
disjoint with: ClassOfScale
disjoint with: DimensionOfShape
disjoint with: PropertySpaceForClassOfShapeDimension
subclass of: Restriction
  on property: classOfPattern
  all values from: ClassOfClassOfInformationRepresentation
subclass of: Restriction
  on property: classOfRepresented
  all values from: Class
example: The link that indicates that members of the class 'document' can be represented by patterns of the class 'XML' is a ClassOfClassOfRepresentation.

ClassOfClassOfRepresentationTranslation
type: Class
definition: A ClassOfClassOfRepresentationTranslation is a ClassOfClassOfRelationship whose members are members of ClassOfRepresentationTranslation.
subclass of: ClassOfClassOfRelationship
disjoint with: ClassOfClassOfResponsibilityForRepresentation
disjoint with: ClassOfClassOfUsageOfRepresentation
disjoint with: ClassOfDimensionForShape
disjoint with: ClassOfNamespace
disjoint with: ClassOfScale
disjoint with: DimensionOfShape
disjoint with: PropertySpaceForClassOfShapeDimension
subclass of: Restriction
  on property: classOfFirst
  all values from: ClassOfClassOfInformationRepresentation
subclass of: Restriction
  on property: classOfSecond
  all values from: ClassOfClassOfInformationRepresentation
example: The class ASCII whose members include all translation classes between members of the ASCII Binary and ASCII Text representation classes is a ClassOfRepresentationTranslation.

ClassOfClassOfResponsibilityForRepresentation
type: Class
definition: A ClassOfClassOfResponsibilityForRepresentation is a ClassOfClassOfRelationship whose members are members of ClassOfResponsibilityForRepresentation linking the controller to a set of representations.
subclass of: ClassOfClassOfRelationship
disjoint with: ClassOfClassOfUsageOfRepresentation
disjoint with: ClassOfDimensionForShape
disjoint with: ClassOfNamespace
disjoint with: ClassOfScale
disjoint with: DimensionOfShape
disjoint with: PropertySpaceForClassOfShapeDimension
subclass of: Restriction
  on property: classOfClassOfControlled
  all values from: ClassOfClassOfRepresentation
subclass of: Restriction
  on property: controller
  all values from: PossibleIndividual
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 ClassOfClassOfResponsibilityForRepresentation.

ClassOfClassOfUsageOfRepresentation
type: Class
definition: A ClassOfClassOfUsageOfRepresentation is a ClassOfClassOfRelationship whose members are members of ClassOfUsageOfRepresentation linking the user to a set of representations.
subclass of: ClassOfClassOfRelationship
disjoint with: ClassOfDimensionForShape
disjoint with: ClassOfNamespace
disjoint with: ClassOfScale
disjoint with: DimensionOfShape
disjoint with: PropertySpaceForClassOfShapeDimension
subclass of: Restriction
  on property: classOfClassOfUsed
  all values from: ClassOfClassOfRepresentation
subclass of: Restriction
  on property: user
  all values from: PossibleIndividual
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 ClassOfClassOfUsageOfRepresentation.

ClassOfDimensionForShape
type: Class
definition: A ClassOfDimensionForShape is a ClassOfClassOfRelationship that indicates that members of the classOfShape have a dimension that is a member of the classOfDimension.
subclass of: ClassOfClassOfRelationship
disjoint with: ClassOfNamespace
disjoint with: ClassOfScale
disjoint with: DimensionOfShape
disjoint with: PropertySpaceForClassOfShapeDimension
subclass of: Restriction
  on property: classOfDimension
  all values from: ClassOfShapeDimension
subclass of: Restriction
  on property: classOfShape
  all values from: ClassOfShape
example: Specifying that members of the "class of circle" have members of "class of diameter" is an instance of ClassOfDimensionForShape.

ClassOfNamespace
type: Class
definition: A ClassOfNamespace is a ClassOfClassOfRelationship that indicates that a ClassOfInformationRepresentation is the classOfPart used as a namespace for each member of a ClassOfClassOfInformationRepresentation that is the classOfClassOfWhole.
subclass of: ClassOfClassOfRelationship
union of: ClassOfLeftNamespace
union of: ClassOfRightNamespace
disjoint with: ClassOfScale
disjoint with: DimensionOfShape
disjoint with: PropertySpaceForClassOfShapeDimension
subclass of: Restriction
  on property: classOfClassOfWhole
  all values from: ClassOfClassOfInformationRepresentation
subclass of: Restriction
  on property: classOfPart
  all values from: ClassOfInformationRepresentation
example: WC1: is used as the name space for a set of water company identifiers.

ClassOfScale
type: Class
definition: A ClassOfScale is a ClassOfClassOfRelationship whose members are instances of Scale.
subclass of: ClassOfClassOfRelationship
disjoint with: DimensionOfShape
disjoint with: PropertySpaceForClassOfShapeDimension
example: 'SI Unit' is an instance of ClassOfScale.

DimensionOfShape
type: Class
definition: A DimensionOfShape is a ClassOfClassOfRelationship that indicates that members of the ShapeDimension are dimensions of the Shape members.
subclass of: ClassOfClassOfRelationship
disjoint with: PropertySpaceForClassOfShapeDimension
subclass of: Restriction
  on property: dimension
  all values from: ShapeDimension
subclass of: Restriction
  on property: shape
  all values from: Shape
example: The sets of 10m lines that are diameters of 10m circles is an example of DimensionOfShape.

PropertySpaceForClassOfShapeDimension
type: Class
definition: A PropertySpaceForClassOfShapeDimension is a ClassOfClassOfRelationship that indicates the PropertySpace that a ClassOfShapeDimension is from.
subclass of: ClassOfClassOfRelationship
subclass of: Restriction
  on property: classOfShapeDimension
  all values from: ClassOfShapeDimension
subclass of: Restriction
  on property: propertySpace
  all values from: PropertySpace
example: The ClassOfShapeDimension 'diameter' is linked to the PropertySpace 'length' by an instance of PropertySpaceForClassOfShapeDimension.

ClassOfCompositionOfIndividual
type: Class
definition: A ClassOfCompositionOfIndividual is a ClassOfRelationship whose members are members of CompositionOfIndividual.
subclass of: ClassOfRelationship
union of: ClassOfArrangementOfIndividual
union of: ClassOfParticipation
union of: ClassOfTemporalWholePart
disjoint with: ClassOfConnectionOfIndividual
disjoint with: ClassOfFunctionalMapping
disjoint with: ClassOfIndirectProperty
disjoint with: ClassOfIndividualUsedInConnection
disjoint with: ClassOfIntendedRoleAndDomain
disjoint with: ClassOfInvolvementByReference
disjoint with: ClassOfLifecycleStage
disjoint with: ClassOfPossibleRoleAndDomain
disjoint with: ClassOfRecognition
disjoint with: ClassOfRelationshipWithSignature
disjoint with: ClassOfRelativeLocation
disjoint with: ClassOfRepresentationOfThing
disjoint with: ClassOfRepresentationTranslation
disjoint with: ClassOfResponsibilityForRepresentation
disjoint with: ClassOfSpecialization
disjoint with: ClassOfTemporalSequence
disjoint with: ClassOfUsageOfRepresentation
disjoint with: DimensionOfIndividual
disjoint with: PropertyForShapeDimension
subclass of: Restriction
  on property: classOfPart
  all values from: ClassOfIndividual
subclass of: Restriction
  on property: classOfWhole
  all values from: ClassOfIndividual
example: That piles of sand may have grains of sand as parts is an example of ClassOfCompositionOfIndividual .

ClassOfParticipation
type: Class
definition: A ClassOfParticipation is a ClassOfCompositionOfIndividual that indicates a member of an instance of ParticipatingRoleAndDomain participates in a member of an instance of ClassOfActivity.
subclass of: ClassOfCompositionOfIndividual
disjoint with: ClassOfTemporalWholePart
subclass of: Restriction
  on property: classOfPart
  all values from: ParticipatingRoleAndDomain
subclass of: Restriction
  on property: classOfWhole
  all values from: ClassOfActivity
example: 'Conductor of a musical performance' is an example of ClassOfParticipation.

ClassOfTemporalWholePart
type: Class
definition: A ClassOfTemporalWholePart is a ClassOfCompositionOfIndividual whose members are members of TemporalWholePart.
subclass of: ClassOfCompositionOfIndividual
example: The class that indicates that Crude Distillation Units may have a maximum naphtha mode can be represented by an instance of ClassOfTemporalWholePart.

ClassOfConnectionOfIndividual
type: Class
definition: A ClassOfConnectionOfIndividual is a ClassOfRelationship whose members are members of ConnectionOfIndividual. It indicates that a member of the classOfSide1 ClassOfIndividual can be connected to a member of the classOfSide2 ClassOfIndividual.
subclass of: ClassOfRelationship
union of: ClassOfDirectConnection
union of: ClassOfIndirectConnection
disjoint with: ClassOfFunctionalMapping
disjoint with: ClassOfIndirectProperty
disjoint with: ClassOfIndividualUsedInConnection
disjoint with: ClassOfIntendedRoleAndDomain
disjoint with: ClassOfInvolvementByReference
disjoint with: ClassOfLifecycleStage
disjoint with: ClassOfPossibleRoleAndDomain
disjoint with: ClassOfRecognition
disjoint with: ClassOfRelationshipWithSignature
disjoint with: ClassOfRelativeLocation
disjoint with: ClassOfRepresentationOfThing
disjoint with: ClassOfRepresentationTranslation
disjoint with: ClassOfResponsibilityForRepresentation
disjoint with: ClassOfSpecialization
disjoint with: ClassOfTemporalSequence
disjoint with: ClassOfUsageOfRepresentation
disjoint with: DimensionOfIndividual
disjoint with: PropertyForShapeDimension
subclass of: Restriction
  on property: classOfSide1
  all values from: ClassOfIndividual
subclass of: Restriction
  on property: classOfSide2
  all values from: ClassOfIndividual
note: The classOfSide1 and classOfSide2 indicate the ClassOfIndividual that is the side1 and side2 respectively in a ConnectionOfIndividual that is a member of this ClassOfConnectionOfIndividual.
note: Flexible, rigid, and welded cannot be represented as instances of ClassOfConnectionOfIndividual , these are classes of the materials connected or used in the connection.
example: Electrical connection between wires is a ClassOfConnectionOfIndividual .

ClassOfDirectConnection
type: Class
definition: A ClassOfDirectConnection is a ClassOfConnectionOfIndividual whose members are members of DirectConnection.
subclass of: ClassOfConnectionOfIndividual
disjoint with: ClassOfIndirectConnection
example: Three-pin electrical plug into three-pin socket is an example of ClassOfDirectConnection.

ClassOfIndirectConnection
type: Class
definition: A ClassOfIndirectConnection is a ClassOfConnectionOfIndividual whose members are members of IndirectConnection.
subclass of: ClassOfConnectionOfIndividual
example: Drip pipe indirectly connected to drain funnel is an example of ClassOfIndirectConnection.

ClassOfContainmentOfIndividual
type: Class
definition: A ClassOfContainmentOfIndividual is a ClassOfRelativeLocation whose members are instances of ContainmentOfIndividual. It indicates that a member of the classOfLocator ClassOfIndividual can contain a member of the classOfLocated ClassOfIndividual.
subclass of: ClassOfRelativeLocation
example: That 'de-icing fluid' can be contained by a '1500ml screw-top plastic bottle' is a ClassOfContainmentOfIndividual.

ClassOfDefinition
type: Class
definition: A ClassOfDefinition is a ClassOfRepresentationOfThing that indicates the pattern is a definition of the represented Class.
subclass of: ClassOfRepresentationOfThing
subclass of: Restriction
  on property: represented
  all values from: Class
example: The link between the pattern 'pump' and the Class that goes by that name in English can be represented by an instance of ClassOfDefinition.

ClassOfDescription
type: Class
definition: A ClassOfDescription is a ClassOfRepresentationOfThing that indicates the pattern is a description of the represented Thing.
subclass of: ClassOfRepresentationOfThing
example: The link between the pattern 'this is an old bilge pump' and a particular pump can be represented by an instance of ClassOfDescription.

ClassOfEvent
type: Class
definition: A ClassOfEvent is a ClassOfIndividual whose members are members of Event.
subclass of: ClassOfIndividual
disjoint with: ClassOfPeriodInTime
disjoint with: IndividualDimension
disjoint with: Property
disjoint with: Status
example: Continuous and instantaneous are instances of ClassOfEvent. A continuous event is one such as a stream boundary flowing through a pipe.

ClassOfExpressInformationRepresentation
type: Class
definition: A ClassOfExpressInformationRepresentation is a ClassOfInformationRepresentation that is defined by ISO 10303-11.
editorial note: In an RDF+OWL implementation use XmlSchemaInformationRepresentation instead, as defined in ISO 15926-4.
subclass of: ClassOfInformationRepresentation
union of: ExpressBinary
union of: ExpressBoolean
union of: ExpressInteger
union of: ExpressReal
union of: ExpressString
editorial note: Deleted ExpressLogical since that is not supported by XML Schema.
disjoint with: RepresentationOfGregorianDateAndUtcTime

ExpressBinary
type: Class
definition: An ExpressBinary is a ClassOfExpressInformationRepresentation that represents a binary value as defined in ISO 10303-11:1994, 8.1.7 .
editorial note: It is strongly advocated to use part4:XmlSchemaBinary instead of this ExpressBinary, because in ISO 15926-7 the former will be the default, and mapping would be required.
subclass of: ClassOfExpressInformationRepresentation
disjoint with: ExpressBoolean
disjoint with: ExpressInteger
disjoint with: ExpressReal
disjoint with: ExpressString
subclass of: Restriction
  on property: content

ExpressBoolean
type: Class
definition: An ExpressBoolean is a ClassOfExpressInformationRepresentation that represents a Boolean value as defined in ISO 10303-11:1994, 8.1.5 .
editorial note: It is strongly advocated to use part4:XmlSchemaBoolean instead of this ExpressBoolean, because in ISO 15926-7 the former will be the default, and mapping would be required.
subclass of: ClassOfExpressInformationRepresentation
disjoint with: ExpressInteger
disjoint with: ExpressReal
disjoint with: ExpressString
subclass of: Restriction
  on property: content

ExpressInteger
type: Class
definition: An ExpressInteger is a ClassOfExpressInformationRepresentation that represents an integer number as defined in ISO 10303-11:1994, 8.1.3 .
editorial note: It is strongly advocated to use part4:XmlSchemaInteger instead of this ExpressInteger, because in ISO 15926-7 the former will be the default, and mapping would be required.
subclass of: ClassOfExpressInformationRepresentation
disjoint with: ExpressReal
disjoint with: ExpressString
subclass of: Restriction
  on property: content

ExpressReal
type: Class
definition: An ExpressReal is a ClassOfExpressInformationRepresentation that represents a real number as defined in ISO 10303-11:1994, 8.1.2 .
editorial note: It is strongly advocated to use part4:XmlSchemaFloat instead of this ExpressReal, because in ISO 15926-7 the former will be the default, and mapping would be required.
subclass of: ClassOfExpressInformationRepresentation
disjoint with: ExpressString
subclass of: Restriction
  on property: content

ExpressString
type: Class
definition: An ExpressString is a ClassOfExpressInformationRepresentation that represents a string as defined in ISO 10303-11:1994, 8.1.6 .
editorial note: It is strongly advocated to use part4:XmlSchemaString instead of this ExpressString, because in ISO 15926-7 the former will be the default, and mapping would be required.
subclass of: ClassOfExpressInformationRepresentation
subclass of: Restriction
  on property: content

ClassOfFunctionalMapping
type: Class
definition: A ClassOfFunctionalMapping is a ClassOfRelationship that is a many to one mapping. A ClassOfRelationship is a function.
subclass of: ClassOfRelationship
disjoint with: ClassOfIndirectProperty
disjoint with: ClassOfIndividualUsedInConnection
disjoint with: ClassOfIntendedRoleAndDomain
disjoint with: ClassOfInvolvementByReference
disjoint with: ClassOfLifecycleStage
disjoint with: ClassOfPossibleRoleAndDomain
disjoint with: ClassOfRecognition
disjoint with: ClassOfRelationshipWithSignature
disjoint with: ClassOfRelativeLocation
disjoint with: ClassOfRepresentationOfThing
disjoint with: ClassOfRepresentationTranslation
disjoint with: ClassOfResponsibilityForRepresentation
disjoint with: ClassOfSpecialization
disjoint with: ClassOfTemporalSequence
disjoint with: ClassOfUsageOfRepresentation
disjoint with: DimensionOfIndividual
disjoint with: PropertyForShapeDimension
subclass of: Restriction
  on property: codomain
  all values from: Class
subclass of: Restriction
  on property: domain
  all values from: Class
note: This entity type would naturally have the name of function, but this is an EXPRESS reserved word (note that originally the data model was expressed in EXPRESS).
note: The significance of a function being a many to one mapping is that the same answer is always obtained. So, for example, 5 - 3 always gives 2. Note that the minus function on two other arguments can also give 2.
note: When there are several arguments to a function, then these are presented in a MultidimensionalObject.
example: Minus is an example of ClassOfFunctionalMapping.

ClassOfIdentification
type: Class
definition: A ClassOfIdentification is a ClassOfRepresentationOfThing that indicates that the pattern is used to refer to the represented Thing.
subclass of: ClassOfRepresentationOfThing
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 ClassOfIdentification.

ClassOfIndirectProperty
type: Class
definition: A ClassOfIndirectProperty is a ClassOfRelationship that indicates that a member of the ClassOfIndividual can possess a member of the ClassOfProperty as an IndirectProperty of this type.
subclass of: ClassOfRelationship
disjoint with: ClassOfIndividualUsedInConnection
disjoint with: ClassOfIntendedRoleAndDomain
disjoint with: ClassOfInvolvementByReference
disjoint with: ClassOfLifecycleStage
disjoint with: ClassOfPossibleRoleAndDomain
disjoint with: ClassOfRecognition
disjoint with: ClassOfRelationshipWithSignature
disjoint with: ClassOfRelativeLocation
disjoint with: ClassOfRepresentationOfThing
disjoint with: ClassOfRepresentationTranslation
disjoint with: ClassOfResponsibilityForRepresentation
disjoint with: ClassOfSpecialization
disjoint with: ClassOfTemporalSequence
disjoint with: ClassOfUsageOfRepresentation
disjoint with: DimensionOfIndividual
disjoint with: PropertyForShapeDimension
subclass of: Restriction
  on property: classOfPossessor
  all values from: ClassOfIndividual
subclass of: Restriction
  on property: propertySpace
  all values from: PropertySpace
example: Maximum Allowable Working Pressure is a ClassOfIndirectProperty that is indicated by a pressure, and can be possessed by a pressure vessel.

ParticipatingRoleAndDomain
type: Class
definition: A ParticipatingRoleAndDomain is a RoleAndDomain that is also a ClassOfIndividual that indicates a participating role in an Activity.
subclass of: RoleAndDomain
subclass of: ClassOfIndividual
example: Performer and pumper are examples of ParticipatingRoleAndDomain .

ClassOfPeriodInTime
type: Class
definition: A ClassOfPeriodInTime is a ClassOfIndividual whose members are instances of PeriodInTime.
subclass of: ClassOfIndividual
disjoint with: IndividualDimension
disjoint with: Property
disjoint with: Status
example: Monday and June are examples of ClassOfPeriodInTime.

IndividualDimension
type: Class
definition: An IndividualDimension is a ClassOfIndividual whose members characterize a particular PossibleIndividual.
subclass of: ClassOfIndividual
disjoint with: Property
disjoint with: Status
example: The set of lines that are each a diameter of a particular circle are instances of IndividualDimension.

Property
type: Class
definition: A Property is a ClassOfIndividual that is a member of a continuum of a ClassOfProperty. The Property may be quantified by mapping to a number on a scale.
subclass of: ClassOfIndividual
intersection of: MultidimensionalProperty
intersection of: Shape
disjoint with: Status
note: A member of a Property is a PossibleIndividual that has the same degree or magnitude of the quality or characteristic represented by the Property as other members.
note: The types of characteristic or quality, such as temperature or density, are instances of ClassOfProperty.
note: Duplicate properties (e.g. that map to the same number on the same scale) should not be created within the same data store.
note: The owl:Class rdf:ID="Property" defined here is different from rdf:Property.
example: A particular degree of hotness can be represented as an instance of Property.

Status
type: Class
definition: A Status is a ClassOfIndividual that is a characteristic or quality that is described by discrete, unordered values.
subclass of: ClassOfIndividual
note: Degrees of openness or paintedness are represented as instances of Property and not instances of Status.
example: The classes known as 'open', 'painted', 'approved', 'old', 'new', 'worn', 'hazardous', 'safe', 'dangerous', 'happy', 'sad', and 'rusty' can all be represented as instances of Status.

ClassOfIndividualUsedInConnection
type: Class
definition: A ClassOfIndividualUsedInConnection is a ClassOfRelationship whose members are members of IndividualUsedInConnection. It indicates that a member of the ClassOfIndividual is used in a ClassOfConnectionOfIndividual.
subclass of: ClassOfRelationship
disjoint with: ClassOfIntendedRoleAndDomain
disjoint with: ClassOfInvolvementByReference
disjoint with: ClassOfLifecycleStage
disjoint with: ClassOfPossibleRoleAndDomain
disjoint with: ClassOfRecognition
disjoint with: ClassOfRelationshipWithSignature
disjoint with: ClassOfRelativeLocation
disjoint with: ClassOfRepresentationOfThing
disjoint with: ClassOfRepresentationTranslation
disjoint with: ClassOfResponsibilityForRepresentation
disjoint with: ClassOfSpecialization
disjoint with: ClassOfTemporalSequence
disjoint with: ClassOfUsageOfRepresentation
disjoint with: DimensionOfIndividual
disjoint with: PropertyForShapeDimension
subclass of: Restriction
  on property: classOfConnection
  all values from: ClassOfConnectionOfIndividual
subclass of: Restriction
  on property: classOfInvolved
  all values from: ClassOfIndividual
example: The link between the ClassOfIndividualUsedInConnection that indicates that B12 type beams are connected to pipe hangers, and the ClassOfIndividual "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 ClassOfIndividualUsedInConnection.

RepresentationOfGregorianDateAndUtcTime
type: Class
definition: A RepresentationOfGregorianDateAndUtcTime is a ClassOfInformationRepresentation 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.
editorial note: It is strongly advocated to use part4:XmlSchemaDateTime instead of this ExpressBinary, because in ISO 15926-7 the former will be the default, and mapping would be required.
subclass of: ClassOfInformationRepresentation
subclass of: Restriction
  on property: year
subclass of: Restriction
  on property: month
subclass of: Restriction
  on property: day
subclass of: Restriction
  on property: hour
subclass of: Restriction
  on property: minute
subclass of: Restriction
  on property: second
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 (Bureau International des Poids et Mesures) 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.

ClassOfIntendedRoleAndDomain
type: Class
definition: A ClassOfIntendedRoleAndDomain is a ClassOfRelationship that indicates that a member of the ClassOfIndividual is intended to act as a member of the RoleAndDomain.
subclass of: ClassOfRelationship
disjoint with: ClassOfInvolvementByReference
disjoint with: ClassOfLifecycleStage
disjoint with: ClassOfPossibleRoleAndDomain
disjoint with: ClassOfRecognition
disjoint with: ClassOfRelationshipWithSignature
disjoint with: ClassOfRelativeLocation
disjoint with: ClassOfRepresentationOfThing
disjoint with: ClassOfRepresentationTranslation
disjoint with: ClassOfResponsibilityForRepresentation
disjoint with: ClassOfSpecialization
disjoint with: ClassOfTemporalSequence
disjoint with: ClassOfUsageOfRepresentation
disjoint with: DimensionOfIndividual
disjoint with: PropertyForShapeDimension
subclass of: Restriction
  on property: classOfPlayer
  all values from: ClassOfIndividual
subclass of: Restriction
  on property: played
  all values from: RoleAndDomain
example: Pumps are intended to play the RoleAndDomain of performer in some pumping activity.

ClassOfInvolvementByReference
type: Class
definition: A ClassOfInvolvementByReference is a ClassOfRelationship whose members are instances of InvolvementByReference.
subclass of: ClassOfRelationship
disjoint with: ClassOfLifecycleStage
disjoint with: ClassOfPossibleRoleAndDomain
disjoint with: ClassOfRecognition
disjoint with: ClassOfRelationshipWithSignature
disjoint with: ClassOfRelativeLocation
disjoint with: ClassOfRepresentationOfThing
disjoint with: ClassOfRepresentationTranslation
disjoint with: ClassOfResponsibilityForRepresentation
disjoint with: ClassOfSpecialization
disjoint with: ClassOfTemporalSequence
disjoint with: ClassOfUsageOfRepresentation
disjoint with: DimensionOfIndividual
disjoint with: PropertyForShapeDimension
subclass of: Restriction
  on property: classOfInvolved
  all values from: ClassOfIndividual
subclass of: Restriction
  on property: classOfInvolver
  all values from: ClassOfActivity
example: Discussion of historical activities is an example of ClassOfInvolvementByReference.
example: The relation between API 610 and the ClassOfActivity 'design of centrifugal pumps' is represented by an instance of ClassOfInvolvementByReference.

ClassOfIsomorphicFunctionalMapping
type: Class
definition: A ClassOfIsomorphicFunctionalMapping is a ClassOfFunctionalMapping that is isomorphic.
subclass of: ClassOfFunctionalMapping
union of: ClassOfScaleConversion
union of: Scale
example: The natural logarithm function is a ClassOfIsomorphicFunctionalMapping.

ClassOfScaleConversion
type: Class
definition: A ClassOfScaleConversion is a ClassOfIsomorphicFunctionalMapping that defines a conversion between two different scales of units used for the quantification of properties.
subclass of: ClassOfIsomorphicFunctionalMapping
disjoint with: Scale
subclass of: Restriction
  on property: codomain
  all values from: Scale
subclass of: Restriction
  on property: domain
  all values from: Scale
example: The Fahrenheit scale for temperature and the Celsius scale for temperature can each be represented by instances of Scale. The conversion between these scales can be represented by an instance of ClassOfScaleConversion.

Scale
type: Class
definition: A Scale is a ClassOfIsomorphicFunctionalMapping whose members are members of PropertyQuantification. It indicates the NumberSpace a PropertySpace maps to for the Scale in question.
subclass of: ClassOfIsomorphicFunctionalMapping
subclass of: Restriction
  on property: codomain
  all values from: NumberSpace
subclass of: Restriction
  on property: domain
  all values from: PropertySpace
example: The link that is known as the Celsius scale between the ClassOfNumber '[-273, inf]' and the ClassOfProperty 'temperature' can be represented by an instance of Scale.

ClassOfLeftNamespace
type: Class
definition: A ClassOfLeftNamespace is a ClassOfNamespace that indicates that the classOfPart is the left namespace for the members of the classOfClassOfWhole.
subclass of: ClassOfNamespace
disjoint with: ClassOfRightNamespace
example: WC1: is the left namespace for customer site identifiers for Water Company 1.

ClassOfLifecycleStage
type: Class
definition: A ClassOfLifecycleStage is a ClassOfRelationship whose members are members of LifecycleStage.
subclass of: ClassOfRelationship
disjoint with: ClassOfPossibleRoleAndDomain
disjoint with: ClassOfRecognition
disjoint with: ClassOfRelationshipWithSignature
disjoint with: ClassOfRelativeLocation
disjoint with: ClassOfRepresentationOfThing
disjoint with: ClassOfRepresentationTranslation
disjoint with: ClassOfResponsibilityForRepresentation
disjoint with: ClassOfSpecialization
disjoint with: ClassOfTemporalSequence
disjoint with: ClassOfUsageOfRepresentation
disjoint with: DimensionOfIndividual
disjoint with: PropertyForShapeDimension
example: 'Planned', 'required', 'expected', and 'proposed' can be represented by instances of ClassOfLifecycleStage.

ClassOfRightNamespace
type: Class
definition: A ClassOfRightNamespace is a ClassOfNamespace where the classOfPart is the namespace for the members of the classOfClassOfWhole.
subclass of: ClassOfNamespace

EnumeratedNumberSet
type: Class
definition: An EnumeratedNumberSet is a ClassOfNumber and an EnumeratedSetOfClass.
subclass of: ClassOfNumber
subclass of: EnumeratedSetOfClass
disjoint with: NumberSpace
example: The set of integer numbers {3,4,5} can be represented by an instance of EnumeratedNumberSet.

NumberSpace
type: Class
definition: A NumberSpace is a ClassOfNumber that is a continuum.
subclass of: ClassOfNumber
union of: MultidimensionalNumberSpace
union of: NumberRange
example: The integers from 1 to 5 and the reals from 0.000 to 1.000 are examples of NumberSpace.

ClassOfPerson
type: Class
definition: A ClassOfPerson is a ClassOfOrganism whose members are people.
subclass of: ClassOfOrganism
example: 'Engineer', 'plant manager', 'student', 'male', 'female', 'senior citizen', 'adult', 'girl', and 'boy' can be represented by instances of ClassOfPerson. Engineer, plant manager, and student are also instances of ClassOfFunctionalObject.

ClassOfPointInTime
type: Class
definition: A ClassOfPointInTime is a ClassOfEvent whose members are members of PointInTime.
subclass of: ClassOfEvent
example: Midnight is a ClassOfPointInTime.

ClassOfPossibleRoleAndDomain
type: Class
definition: A ClassOfPossibleRoleAndDomain is a ClassOfRelationship that indicates the RoleAndDomain that can be played by a member of the ClassOfIndividual, in some Activity.
subclass of: ClassOfRelationship
disjoint with: ClassOfRecognition
disjoint with: ClassOfRelationshipWithSignature
disjoint with: ClassOfRelativeLocation
disjoint with: ClassOfRepresentationOfThing
disjoint with: ClassOfRepresentationTranslation
disjoint with: ClassOfResponsibilityForRepresentation
disjoint with: ClassOfSpecialization
disjoint with: ClassOfTemporalSequence
disjoint with: ClassOfUsageOfRepresentation
disjoint with: DimensionOfIndividual
disjoint with: PropertyForShapeDimension
subclass of: Restriction
  on property: classOfPlayer
  all values from: ClassOfIndividual
subclass of: Restriction
  on property: played
  all values from: RoleAndDomain
example: Pumps can play the role of anchor (although they are not intended to do so).

EnumeratedPropertySet
type: Class
definition: An EnumeratedPropertySet is a ClassOfProperty and an EnumeratedSetOfClass whose members are an enumerated set of properties of the same SinglePropertyDimension or MultidimensionalPropertySpace.
subclass of: ClassOfProperty
subclass of: EnumeratedSetOfClass
disjoint with: PropertySpace
example: {115 Volt, 240 Volt} is an example of an EnumeratedPropertySet.

PropertySpace
type: Class
definition: A PropertySpace is a ClassOfProperty whose members are a coherent continuum of Property.
subclass of: ClassOfProperty
intersection of: ClassOfShape
intersection of: MultidimensionalPropertySpace
intersection of: PropertyRange
intersection of: SinglePropertyDimension
example: The set of temperature properties, known as temperature, is a PropertySpace.
example: The members of the 'pressure' and 'flow rate' ClassOfProperty that fall on a particular pump curve is a PropertySpace.

ClassOfRecognition
type: Class
definition: A ClassOfRecognition is a ClassOfRelationship that indicates that a member of a ClassOfActivity may result in the recognition of a member of a Class.
subclass of: ClassOfRelationship
disjoint with: ClassOfRelationshipWithSignature
disjoint with: ClassOfRelativeLocation
disjoint with: ClassOfRepresentationOfThing
disjoint with: ClassOfRepresentationTranslation
disjoint with: ClassOfResponsibilityForRepresentation
disjoint with: ClassOfSpecialization
disjoint with: ClassOfTemporalSequence
disjoint with: ClassOfUsageOfRepresentation
disjoint with: DimensionOfIndividual
disjoint with: PropertyForShapeDimension
subclass of: Restriction
  on property: classOfRecognized
  all values from: Class
subclass of: Restriction
  on property: classOfRecognizing
  all values from: ClassOfActivity
example: A measurement activity may result in the recognition of the Classification of a PossibleIndividual by a Property.

ClassOfRelationshipWithSignature
type: Class
definition: A ClassOfRelationshipWithSignature is a ClassOfRelationship that may have a RoleAndDomain specified for each end.
subclass of: ClassOfRelationship
subclass of: Relationship
disjoint with: ClassOfRelativeLocation
disjoint with: ClassOfRepresentationOfThing
disjoint with: ClassOfRepresentationTranslation
disjoint with: ClassOfResponsibilityForRepresentation
disjoint with: ClassOfSpecialization
disjoint with: ClassOfTemporalSequence
disjoint with: ClassOfUsageOfRepresentation
disjoint with: DimensionOfIndividual
disjoint with: PropertyForShapeDimension
disjoint with: ComparisonOfProperty
disjoint with: CompositionOfIndividual
disjoint with: ConnectionOfIndividual
disjoint with: FunctionalMapping
disjoint with: IndirectProperty
disjoint with: IndividualUsedInConnection
disjoint with: IntendedRoleAndDomain
disjoint with: InvolvementByReference
disjoint with: LifecycleStage
disjoint with: OtherRelationship
disjoint with: PossibleRoleAndDomain
disjoint with: Recognition
disjoint with: RelativeLocation
disjoint with: RepresentationOfThing
disjoint with: ResponsibilityForRepresentation
disjoint with: TemporalSequence
disjoint with: UsageOfRepresentation
subclass of: Restriction
  on property: classOfEnd1
  all values from: RoleAndDomain
subclass of: Restriction
  on property: classOfEnd2
  all values from: RoleAndDomain
note: A ClassOfRelationshipWithSignature is analogous to a simple EXPRESS attribute and its inverse. More complex objects can be modelled with MultidimensionalObject and ClassOfMultidimensionalObject.
example: Married is a ClassOfRelationship where classOfEnd1 is the RoleAndDomain husband, and classOfEnd2 the RoleAndDomain wife.

ClassOfRelativeLocation
type: Class
definition: A ClassOfRelativeLocation is a ClassOfRelationship whose members are instances of RelativeLocation.
subclass of: ClassOfRelationship
disjoint with: ClassOfRepresentationOfThing
disjoint with: ClassOfRepresentationTranslation
disjoint with: ClassOfResponsibilityForRepresentation
disjoint with: ClassOfSpecialization
disjoint with: ClassOfTemporalSequence
disjoint with: ClassOfUsageOfRepresentation
disjoint with: DimensionOfIndividual
disjoint with: PropertyForShapeDimension
subclass of: Restriction
  on property: classOfLocated
  all values from: ClassOfIndividual
subclass of: Restriction
  on property: classOfLocator
  all values from: ClassOfIndividual
example: Beside, above, and below are examples of ClassOfRelativeLocation.

ClassOfRepresentationOfThing
type: Class
definition: A ClassOfRepresentationOfThing is a ClassOfRelationship that indicates that all members of the pattern ClassOfInformationRepresentation represent the Thing.
subclass of: ClassOfRelationship
intersection of: ClassOfDefinition
intersection of: ClassOfDescription
intersection of: ClassOfIdentification
disjoint with: ClassOfRepresentationTranslation
disjoint with: ClassOfResponsibilityForRepresentation
disjoint with: ClassOfSpecialization
disjoint with: ClassOfTemporalSequence
disjoint with: ClassOfUsageOfRepresentation
disjoint with: DimensionOfIndividual
disjoint with: PropertyForShapeDimension
subclass of: Restriction
  on property: pattern
  all values from: ClassOfInformationRepresentation
subclass of: Restriction
  on property: represented
  all values from: Thing
example: The ClassOfRelationship 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 ClassOfRepresentationOfThing.

ClassOfRepresentationTranslation
type: Class
definition: A ClassOfRepresentationTranslation is a ClassOfRelationship that indicates the translation of two instances of ClassOfInformationRepresentation.
subclass of: ClassOfRelationship
disjoint with: ClassOfResponsibilityForRepresentation
disjoint with: ClassOfSpecialization
disjoint with: ClassOfTemporalSequence
disjoint with: ClassOfUsageOfRepresentation
disjoint with: DimensionOfIndividual
disjoint with: PropertyForShapeDimension
subclass of: Restriction
  on property: classOfFirst
  all values from: ClassOfInformationRepresentation
subclass of: Restriction
  on property: classOfSecond
  all values from: ClassOfInformationRepresentation
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 ClassOfRepresentationTranslation.

ClassOfSpecialization
type: Class
definition: A ClassOfSpecialization is a ClassOfRelationship whose members are instances of Specialization. It indicates that a member of the classOfSubclass is a subclass of a member of the classOfSuperclass.
editorial note: Since in OWL there is no Specialization possible because of the use of the standard rdfs:subClassOf construct, this ClassOfSpecialization cannot be used as such.
subclass of: ClassOfRelationship
disjoint with: ClassOfTemporalSequence
disjoint with: ClassOfUsageOfRepresentation
disjoint with: DimensionOfIndividual
disjoint with: PropertyForShapeDimension
subclass of: Restriction
  on property: classOfSubclass
  all values from: ClassOfClass
subclass of: Restriction
  on property: classOfSuperclass
  all values from: ClassOfClass
example: The ClassOfSpecialization that indicates that members of the class "family of ASME bolts", e.g. '3-inch bolts', '2-inch bolts', are specializations of members of the EnumeratedPropertySet "set of bolt lengths", e.g. '3-inch', '2-inch'.

ClassOfTemporalSequence
type: Class
definition: A ClassOfTemporalSequence is a ClassOfRelationship where the sequence is of a temporal nature.
subclass of: ClassOfRelationship
disjoint with: ClassOfUsageOfRepresentation
disjoint with: DimensionOfIndividual
disjoint with: PropertyForShapeDimension
subclass of: Restriction
  on property: classOfPredecessor
  all values from: ClassOfIndividual
subclass of: Restriction
  on property: classOfSuccessor
  all values from: ClassOfIndividual
example: The link that indicates that members of July follow members of June can be represented by an instance of ClassOfTemporalSequence.
example: The link that indicates that emptying activities for a tank precede cleaning activities can be represented by an instance of ClassOfTemporalSequence.

ClassOfUsageOfRepresentation
type: Class
definition: A ClassOfUsageOfRepresentation is a ClassOfRelationship whose members indicate that a PossibleIndividual (usually an organization) reads or otherwise uses members of the pattern as a representation of the represented Thing.
subclass of: ClassOfRelationship
disjoint with: DimensionOfIndividual
disjoint with: PropertyForShapeDimension
subclass of: Restriction
  on property: classOfUsed
  all values from: ClassOfRepresentationOfThing
subclass of: Restriction
  on property: user
  all values from: PossibleIndividual
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 ClassOfClassOfUsageOfRepresentation.

DimensionOfIndividual
type: Class
definition: A DimensionOfIndividual is a ClassOfRelationship that indicates that each member of the set of lines that are the IndividualDimension are a dimension of the PossibleIndividual.
subclass of: ClassOfRelationship
disjoint with: PropertyForShapeDimension
subclass of: Restriction
  on property: individual
  all values from: PossibleIndividual
subclass of: Restriction
  on property: individualDimension
  all values from: IndividualDimension
example: The set of all lines that pass through the centre of a particular circle and end at the circumference of that circle, are a dimension (diameter) of that circle. The particular dimension is indicated by the DimensionOfShape that classifies the DimensionOfIndividual.

PropertyForShapeDimension
type: Class
definition: A PropertyForShapeDimension is a ClassOfRelationship that indicates that the members of the ShapeDimension are of the Property.
subclass of: ClassOfRelationship
subclass of: Restriction
  on property: property
  all values from: Property
subclass of: Restriction
  on property: shapeDimension
  all values from: ShapeDimension
example: The ShapeDimension '10m diameter' is related to the Property '10m length' by means of an instance of PropertyForShapeDimension.

ClassOfRelationshipWithRelatedEnd1
type: Class
definition: A ClassOfRelationshipWithRelatedEnd1 is a ClassOfRelationship where a particular Thing is related in the ClassOfRelationship, rather than the members of a Class. The related Thing plays the RoleAndDomain indicated by the classOfEnd1 attribute.
subclass of: ClassOfRelationship
disjoint with: ClassOfRelationshipWithRelatedEnd2
subclass of: Restriction
  on property: related
  all values from: Thing
example: Products manufactured by Bloggs and Co is a ClassOfRelationshipWithRelatedEnd1 that points to Bloggs and Co as the related Thing.

ClassOfRelationshipWithRelatedEnd2
type: Class
definition: A ClassOfRelationshipWithRelatedEnd2 is a ClassOfRelationship where a particular Thing is related in the ClassOfRelationship, rather than the members of a Class. The related Thing plays the RoleAndDomain indicated by the classOfEnd2 attribute.
subclass of: ClassOfRelationship
subclass of: Restriction
  on property: related
  all values from: Thing
example: Possession of welding skills by John Doe is an example of ClassOfRelationshipWithRelatedEnd2 , where John Doe is the related Thing.

ClassOfResposibilityForRepresentation
type: Class
definition: A ClassOfResposibilityForRepresentation is a ClassOfRelationship whose members indicate that a PossibleIndividual (usually an organization) deems that members of the pattern can be used as representations of the represented Thing.
subclass of: ClassOfRelationship
disjoint with: ClassOfSpecialization
disjoint with: ClassOfTemporalSequence
disjoint with: ClassOfUsageOfRepresentation
disjoint with: DimensionOfIndividual
disjoint with: PropertyForShapeDimension
subclass of: Restriction
  on property: classOfControlled
  all values from: ClassOfRepresentationOfThing
subclass of: Restriction
  on property: controller
  all values from: PossibleIndividual
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 ClassOfResposibilityForRepresentation.

ClassOfShape
type: Class
definition: A ClassOfShape is a PropertySpace that has instances of Shape as its members.
subclass of: PropertySpace
example: Regular geometric forms such as 'line', 'circle', 'square', 'cylinder', 'sphere', and 'cone' can be represented by instances of ClassOfShape.

ComparisonOfProperty
type: Class
definition: A ComparisonOfProperty is a Relationship that indicates the magnitude of one Property is greater than that of another.
subclass of: Relationship
disjoint with: CompositionOfIndividual
disjoint with: ConnectionOfIndividual
disjoint with: FunctionalMapping
disjoint with: IndirectProperty
disjoint with: IndividualUsedInConnection
disjoint with: IntendedRoleAndDomain
disjoint with: InvolvementByReference
disjoint with: LifecycleStage
disjoint with: OtherRelationship
disjoint with: PossibleRoleAndDomain
disjoint with: Recognition
disjoint with: RelativeLocation
disjoint with: RepresentationOfThing
disjoint with: ResponsibilityForRepresentation
disjoint with: TemporalSequence
disjoint with: UsageOfRepresentation
subclass of: Restriction
  on property: greaterElement
  all values from: Property
subclass of: Restriction
  on property: lesserElement
  all values from: Property
example: That the temperature in a room is less than that in a furnace can be indicated by an instance of ComparisonOfProperty.

CompositionOfIndividual
type: Class
definition: A CompositionOfIndividual is a Relationship that indicates that the part PossibleIndividual is a part of the whole PossibleIndividual. A simple composition is indicated, unless a subtype is instantiated too.
subclass of: Relationship
union of: ArrangementOfIndividual
union of: Participation
union of: TemporalBounding
union of: TemporalWholePart
disjoint with: ConnectionOfIndividual
disjoint with: FunctionalMapping
disjoint with: IndirectProperty
disjoint with: IndividualUsedInConnection
disjoint with: IntendedRoleAndDomain
disjoint with: InvolvementByReference
disjoint with: LifecycleStage
disjoint with: OtherRelationship
disjoint with: PossibleRoleAndDomain
disjoint with: Recognition
disjoint with: RelativeLocation
disjoint with: RepresentationOfThing
disjoint with: ResponsibilityForRepresentation
disjoint with: TemporalSequence
disjoint with: UsageOfRepresentation
subclass of: Restriction
  on property: part
  all values from: PossibleIndividual
subclass of: Restriction
  on property: whole
  all values from: PossibleIndividual
note: CompositionOfIndividual 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 ArrangementOfIndividual , 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 CompositionOfIndividual.

Participation
type: Class
definition: A Participation is a CompositionOfIndividual that indicates that a PossibleIndividual is a participant in an Activity.
subclass of: CompositionOfIndividual
disjoint with: TemporalBounding
disjoint with: TemporalWholePart
subclass of: Restriction
  on property: whole
  all values from: Activity
note: The PossibleIndividual that is the part in the Participation is may be a temporal part of a WholeLifeIndividual that is classified by the RoleAndDomain 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.

TemporalBounding
type: Class
definition: A TemporalBounding is a CompositionOfIndividual that indicates that the part Event is a temporal boundary of the whole PossibleIndividual.
subclass of: CompositionOfIndividual
union of: Beginning
union of: Ending
disjoint with: TemporalWholePart
subclass of: Restriction
  on property: part
  all values from: Event
example: The Event of the birth of JohnDoe is linked to JohnDoe by an instance of TemporalBounding that is a Beginning.

TemporalWholePart
type: Class
definition: A TemporalWholePart is a CompositionOfIndividual that indicates that one PossibleIndividual is a temporal part of another PossibleIndividual. The spatial extent of the temporal part is that of the temporal whole for the period the existence of the temporal part. Relationships that apply to the whole PossibleIndividual also apply to the temporal parts of the PossibleIndividual, except when the relationships relate to the temporal nature of the whole. So if a PossibleIndividual is connected so are all its temporal parts, but being WholeLifeIndividual is not inherited by its temporal parts.
subclass of: CompositionOfIndividual
note: Since TemporalWholePart is transitive (inherited from its supertype) a hierarchy of temporal parts is possible, with a WholeLifeIndividual at the top.
example: The Relationship that indicates that an operating period of a pump is a temporal part of the pump can be represented by an instance of TemporalWholePart .
example: 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 TemporalWholePart.

ConnectionOfIndividual
type: Class
definition: A ConnectionOfIndividual is a Relationship that indicates that matter, energy, or both can be transferred between the members of PossibleIndividual that are connected, either directly or indirectly.
subclass of: Relationship
union of: DirectConnection
union of: IndirectConnection
disjoint with: FunctionalMapping
disjoint with: IndirectProperty
disjoint with: IndividualUsedInConnection
disjoint with: IntendedRoleAndDomain
disjoint with: InvolvementByReference
disjoint with: LifecycleStage
disjoint with: OtherRelationship
disjoint with: PossibleRoleAndDomain
disjoint with: Recognition
disjoint with: RelativeLocation
disjoint with: RepresentationOfThing
disjoint with: ResponsibilityForRepresentation
disjoint with: TemporalSequence
disjoint with: UsageOfRepresentation
subclass of: Restriction
  on property: side1
  all values from: PossibleIndividual
subclass of: Restriction
  on property: side2
  all values from: PossibleIndividual
note: There is no significance to the ordering of the two related instances of PossibleIndividual. The names side1 and side2 serve only to distinguish the attributes.

DirectConnection
type: Class
definition: A DirectConnection is a ConnectionOfIndividual that indicates that the side1 and side2 are directly connected via a common spatial boundary.
subclass of: ConnectionOfIndividual
disjoint with: IndirectConnection
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 DirectConnection.

IndirectConnection
type: Class
definition: An IndirectConnection is a ConnectionOfIndividual that indicates that side1 and side2 are connected via other individuals.
subclass of: ConnectionOfIndividual
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 IndirectConnection.

ContainmentOfIndividual
type: Class
definition: A ContainmentOfIndividual is a RelativeLocation where the located PossibleIndividual is contained by the locator PossibleIndividual but is not part of it.
subclass of: RelativeLocation
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.
example: The contents of a vessel being inside the vessel can be represented by an instance of ContainmentOfIndividual.

CoordinateSystem
type: Class
definition: A CoordinateSystem is a MultidimensionalScale for locating and relating a PossibleIndividual in an n-dimensional space in which arbitrary geometric transformations are valid.
subclass of: MultidimensionalScale
example: The XYZ site coordinate system, is an example of a CoordinateSystem.

Definition
type: Class
definition: A Definition is a RepresentationOfThing that indicates that the Class is defined by the sign PossibleIndividual.
subclass of: RepresentationOfThing
subclass of: Restriction
  on property: represented
  all values from: Class
note: In semiotics, a sign is generally defined as "something that stands for something else, to someone in some capacity". It may be understood as a discrete unit of meaning. Signs are not limited to words but also include images, gestures, scents, tastes, textures, sounds - essentially all of the ways in which information can be processed and communicated by any sentient, reasoning mind.
example: The Relationship between the ClassOfInanimatePhysicalObject 'condensate' and the PhysicalObject that is the ink-on-paper (or pixels-on-screeen): "An aggregate which is in condensed form which means in liquid state, resulting from a substance in vapour state." is an instance of Definition.

Description
type: Class
definition: A Description is a RepresentationOfThing that indicates that the PossibleIndividual describes the Thing.
subclass of: RepresentationOfThing
example: A paper copy of the Piping and Instrumentation Diagram for Crude Distillation Unit 1 at refinery X has a Description relationship with the plant.

DifferenceOfSetOfClass
type: Class
definition: A DifferenceOfSetOfClass is a FunctionalMapping 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 EnumeratedSetOfClass and their intersection.
subclass of: FunctionalMapping
disjoint with: IntersectionOfSetOfClass
disjoint with: UnionOfSetOfClass
disjoint with: PropertyQuantification
subclass of: Restriction
  on property: input
  all values from: EnumeratedSetOfClass
subclass of: Restriction
  on property: result
  all values from: Class
note: When the EnumeratedSetOfClass 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 EnumeratedSetOfClass {{A,B,C},{B,C,D},{C,D,E}} is {A,B,D,E}.

Ending
type: Class
definition: An Ending is a TemporalBounding that marks the end of a PossibleIndividual.
subclass of: TemporalBounding
example: The relation that indicates that the PointInTime known as 0000hrs 1st July 1999 GMT is the end of the PeriodInTime known as June 1999 00.00 GMT can be represented by an instance of Ending.
example: The relation that indicates that the Event 'loading complete' marks the end of the PossibleIndividual 'loading plant operating period 1' (a temporal part of the loading plant) is an instance of Ending.

Event
type: Class
definition: An Event is a PossibleIndividual with zero extent in time. An Event is the temporal boundary of one or more instances of PossibleIndividual, although there may be no knowledge of these instances.
subclass of: PossibleIndividual
example: The connection of power to a pump is an Event that marks the beginning of a temporal part of that pump.

FunctionalMapping
type: Class
definition: A FunctionalMapping is a Relationship that indicates that the input gave the result for the classifying ClassOfFunctionalMapping.
subclass of: Relationship
union of: DifferenceOfSetOfClass
union of: IntersectionOfSetOfClass
union of: UnionOfSetOfClass
union of: PropertyQuantification
disjoint with: IndirectProperty
disjoint with: IndividualUsedInConnection
disjoint with: IntendedRoleAndDomain
disjoint with: InvolvementByReference
disjoint with: LifecycleStage
disjoint with: OtherRelationship
disjoint with: PossibleRoleAndDomain
disjoint with: Recognition
disjoint with: RelativeLocation
disjoint with: RepresentationOfThing
disjoint with: ResponsibilityForRepresentation
disjoint with: TemporalSequence
disjoint with: UsageOfRepresentation
subclass of: Restriction
  on property: input
  all values from: Thing
subclass of: Restriction
  on property: result
  all values from: Thing
example: The mapping of [5, 3] to 2, classified by the minus function is an example of FunctionalMapping.

IntersectionOfSetOfClass
type: Class
definition: An IntersectionOfSetOfClass is a FunctionalMapping that indicates that the result Class consists of those members of the members of the classes EnumeratedSetOfClass that are common to each Class.
subclass of: FunctionalMapping
disjoint with: UnionOfSetOfClass
disjoint with: PropertyQuantification
subclass of: Restriction
  on property: input
  all values from: EnumeratedSetOfClass
subclass of: Restriction
  on property: result
  all values from: Class
example: The intersection of the EnumeratedSetOfClass {{A,B,C},{B,C,D},{C,D,E}} is {C}.

UnionOfSetOfClass
type: Class
definition: A UnionOfSetOfClass is a FunctionalMapping that indicates that the membership of the result Class is the union of the members of the EnumeratedSetOfClass classes.
subclass of: FunctionalMapping
disjoint with: PropertyQuantification
subclass of: Restriction
  on property: input
  all values from: EnumeratedSetOfClass
subclass of: Restriction
  on property: result
  all values from: Class
example: The union of the EnumeratedSetOfClass {{A,B,C},{B,C,D},{C,D,E}} is {A,B,C,D,E}.

PropertyQuantification
type: Class
definition: A PropertyQuantification is a FunctionalMapping whose members map a Property to an ArithmeticNumber.
subclass of: FunctionalMapping
note: The actual representation of the number is done by linking theArithmeticNumber to a ClassOfExpressInformationRepresentation via a ClassOfRepresentationOfThing.
note: The unit or scale of the quantification is given by classifying the PropertyQuantification by a Scale.
example: The link that maps a particular mass to the RealNumber '4.2' can be represented by an instance of PropertyQuantification.

FunctionalPhysicalObject
type: Class
definition: A FunctionalPhysicalObject is a PhysicalObject that has functional, rather than material, continuity as its basis for identity. Adjacent temporal parts of a FunctionalPhysicalObject need not have common matter or energy, provided the matter or energy of each temporal part fulfils the same function.
subclass of: PhysicalObject
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 FunctionalPhysicalObject. 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 MaterializedPhysicalObject. 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.

Identification
type: Class
definition: An Identification is a RepresentationOfThing that indicates that the PossibleIndividual is an identifier for the Thing identified.
subclass of: RepresentationOfThing
example: The relationship between the text "P101" on a printed copy of a pump data sheet and the applicable FunctionalPhysicalObject is an example of Identification.
example: The relationship between a name tag and an employee wearing it is an example of Identification.

IndirectProperty
type: Class
definition: An IndirectProperty is a Relationship between a Property and a PossibleIndividual. The nature of the IndirectProperty is defined by its Classification by a ClassOfIndirectProperty. A Property is indirect when it does not directly apply to the PossibleIndividual it applies to, but is derived from some process.
subclass of: Relationship
disjoint with: IndividualUsedInConnection
disjoint with: IntendedRoleAndDomain
disjoint with: InvolvementByReference
disjoint with: LifecycleStage
disjoint with: OtherRelationship
disjoint with: PossibleRoleAndDomain
disjoint with: Recognition
disjoint with: RelativeLocation
disjoint with: RepresentationOfThing
disjoint with: ResponsibilityForRepresentation
disjoint with: TemporalSequence
disjoint with: UsageOfRepresentation
subclass of: Restriction
  on property: possessor
  all values from: PossibleIndividual
subclass of: Restriction
  on property: property
  all values from: Property
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 IndirectProperty between the pressure of 50 bara and V101, classified by the ClassOfIndirectProperty Maximum Allowable Working Pressure.

IndividualUsedInConnection
type: Class
definition: An IndividualUsedInConnection is a Relationship that indicates that a PossibleIndividual is used in a ConnectionOfIndividual.
subclass of: Relationship
disjoint with: IntendedRoleAndDomain
disjoint with: InvolvementByReference
disjoint with: LifecycleStage
disjoint with: OtherRelationship
disjoint with: PossibleRoleAndDomain
disjoint with: Recognition
disjoint with: RelativeLocation
disjoint with: RepresentationOfThing
disjoint with: ResponsibilityForRepresentation
disjoint with: TemporalSequence
disjoint with: UsageOfRepresentation
subclass of: Restriction
  on property: connection
  all values from: ConnectionOfIndividual
subclass of: Restriction
  on property: usage
  all values from: PossibleIndividual
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 IndividualUsedInConnection.

IntendedRoleAndDomain
type: Class
definition: An IntendedRoleAndDomain is a Relationship that indicates the RoleAndDomain some temporal part of the PossibleIndividual is intended to take with respect to some Activity.
subclass of: Relationship
disjoint with: InvolvementByReference
disjoint with: LifecycleStage
disjoint with: OtherRelationship
disjoint with: PossibleRoleAndDomain
disjoint with: Recognition
disjoint with: RelativeLocation
disjoint with: RepresentationOfThing
disjoint with: ResponsibilityForRepresentation
disjoint with: TemporalSequence
disjoint with: UsageOfRepresentation
subclass of: Restriction
  on property: played
  all values from: RoleAndDomain
subclass of: Restriction
  on property: player
  all values from: PossibleIndividual
example: The Relationship between a PossibleIndividual, that is classified as 'pump', and the RoleAndDomain of 'performer and pumping' that it is intended to play is an instance of IntendedRoleAndDomain.

InvolvementByReference
type: Class
definition: An InvolvementByReference is a Relationship that indicates that a Thing is referred to in an Activity.
subclass of: Relationship
disjoint with: LifecycleStage
disjoint with: OtherRelationship
disjoint with: PossibleRoleAndDomain
disjoint with: Recognition
disjoint with: RelativeLocation
disjoint with: RepresentationOfThing
disjoint with: ResponsibilityForRepresentation
disjoint with: TemporalSequence
disjoint with: UsageOfRepresentation
subclass of: Restriction
  on property: involved
  all values from: Thing
subclass of: Restriction
  on property: involver
  all values from: Activity
note: This entity type is for involvements that are not direct Participation of a Thing , such as involvement of a Class, or of a historical or future temporal part of a PossibleIndividual.
example: A conversation that refers to the Roman Empire is an Activity that relates to the Roman Empire by an InvolvementByReference.
example: The use of the ASME Boiler and Pressure Vessel Code for the Activity 'design Boiler E-106' is represented by an instance of InvolvementByReference between that ClassOfInformationRepresentation and that Activity.

LeftNamespace
type: Class
definition: A LeftNamespace is a Namespace where the classOfPart is the left part of the classOfWhole.
subclass of: Namespace
disjoint with: RightNamespace
example: Where WC1: is the Namespace in WC1:1234, it is a LeftNamespace .

LifecycleStage
type: Class
definition: A LifecycleStage is a Relationship that indicates the interest that a PossibleIndividual has in some PossibleIndividual.
subclass of: Relationship
disjoint with: OtherRelationship
disjoint with: PossibleRoleAndDomain
disjoint with: Recognition
disjoint with: RelativeLocation
disjoint with: RepresentationOfThing
disjoint with: ResponsibilityForRepresentation
disjoint with: TemporalSequence
disjoint with: UsageOfRepresentation
subclass of: Restriction
  on property: interest
  all values from: PossibleIndividual
subclass of: Restriction
  on property: interested
  all values from: PossibleIndividual
example: The relation that links a possible building to a temporal part of the XYZ Corp. can be represented by an instance of LifecycleStage. The nature of that LifecycleStage (e.g. 'planned') can be expressed by classifying with the applicable ClassOfLifecycleStage.

LowerBoundOfNumberRange
type: Class
definition: A LowerBoundOfNumberRange is a Classification that indicates an ArithmeticNumber is the lowest value in a NumberRange.
editorial note: The original superclass "Classification" cannot be used in RDF+OWL since that is represented by rdfs:subClassOf.
subclass of: Relationship
subclass of: Restriction
  on property: lowestNumber
  all values from: ArithmeticNumber
subclass of: Restriction
  on property: range
  all values from: NumberRange
example: The instance of RealNumber that is represented by the instance of ExpressReal '3.1' has a LowerBoundOfNumberRange relationship with the instance of NumberRange'[3.1 to 5.3]'.

LowerBoundOfPropertyRange
type: Class
definition: A LowerBoundOfPropertyRange is a Classification that indicates that a Property is the lower bound of a PropertyRange.
editorial note: The original superclass "Classification" cannot be used in RDF+OWL since that is represented by rdfs:subClassOf.
subclass of: Relationship
subclass of: Restriction
  on property: lowestProperty
  all values from: Property
subclass of: Restriction
  on property: range
  all values from: PropertyRange
example: The instance of Property that is represented by the instance of ExpressReal '-10' has a LowerBoundOfPropertyRange relationship with the instance of PropertyRange'[-10 to +20 degrees Celsius]'.

MaterializedPhysicalObject
type: Class
definition: A MaterializedPhysicalObject is a PhysicalObject 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 MaterializedPhysicalObject. Replacement of some components from time to time does not create a new identity.
subclass of: PhysicalObject
example: The shell and tube heat exchanger with manufacture's number ES/1234 can be represented by an instance of MaterializedPhysicalObject.

MultidimensionalNumberSpace
type: Class
definition: A MultidimensionalNumberSpace is a NumberSpace and a MultidimensionalObject.
subclass of: NumberSpace
subclass of: MultidimensionalObject
disjoint with: MultidimensionalProperty
disjoint with: MultidimensionalPropertySpace
disjoint with: MultidimensionalScale
disjoint with: NumberRange
example: R3, the space defined as being all the triples of real numbers (e.g. '[1.0, 2.1, 5.4]'), is a MultidimensionalNumberSpace.

MultidimensionalProperty
type: Class
definition: A MultidimensionalProperty is a Property that is also a MultidimensionalObject.
subclass of: Property
subclass of: MultidimensionalObject
disjoint with: MultidimensionalPropertySpace
disjoint with: MultidimensionalScale
example: A pump flow head characteristic is a MultidimensionalProperty. 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 MultidimensionalProperty [Qa, Ha].

MultidimensionalPropertySpace
type: Class
definition: A MultidimensionalPropertySpace is a PropertySpace and a MultidimensionalObject whose members are instances of Property each of which maps to more than one number. Each Property will consist of elements of the same property dimensions.
subclass of: PropertySpace
subclass of: MultidimensionalObject
disjoint with: MultidimensionalScale
example: A pump performance curve of flowrate and differential head is a MultidimensionalPropertySpace.

MultidimensionalScale
type: Class
definition: A MultidimensionalScale is a Scale that is also a MultidimensionalObject.
subclass of: Scale
subclass of: MultidimensionalObject
example: A '[Celsius, seconds]' scale is a MultidimensionalScale on which temperature variation over time can be plotted.

RightNamespace
type: Class
definition: A RightNamespace is a Namespace that indicates that the classOfPart is the right most part of the classOfWhole.
subclass of: Namespace
example: When ZH is the namespace in 5367ZH, this is indicated by a Namespace relationship between them.

NumberRange
type: Class
definition: A NumberRange is a one-dimensional NumberSpace.
subclass of: NumberSpace
example: The NumberSpace -273.1 to +infinity is a NumberRange.

OtherRelationship
type: Class
definition: An OtherRelationship is a Relationship that is not a member of any of the other explicit subtypes of Relationship. The meaning of an OtherRelationship is specified by a Classification by an instance of ClassOfRelationshipWithSignature.
subclass of: Relationship
disjoint with: PossibleRoleAndDomain
disjoint with: Recognition
disjoint with: RelativeLocation
disjoint with: RepresentationOfThing
disjoint with: ResponsibilityForRepresentation
disjoint with: TemporalSequence
disjoint with: UsageOfRepresentation
subclass of: Restriction
  on property: end1
  all values from: Thing
subclass of: Restriction
  on property: end2
  all values from: Thing
note: The RoleAndDomain for the end1 and end2 is given by the classOfEnd1 and classOfEnd2 respectively for the ClassOfRelationshipWithSignature that classifies the OtherRelationship. Where the ClassOfRelationshipWithSignature is also a ClassOfRelationshipWithRelatedEnd1 or a ClassOfRelationshipWithRelatedEnd2 then the end1 or end2 respectively of the OtherRelationship shall take the value specified by the related instance of rdf:Property.
example: The Relationship that indicates that a particular car is manufactured by Ford can be represented by an instance of OtherRelationship.

PeriodInTime
type: Class
definition: A PeriodInTime is a PossibleIndividual that is all space for part of time - a temporal part of the universe.
subclass of: PossibleIndividual
example: July 2000 is an instance of PeriodInTime.
example: The period described by UTC 2000-11-21T06:00 to UTC 2000-11-21T11:53 is an instance of PeriodInTime compliant with ISO8601.

PhysicalObject
type: Class
definition: A PhysicalObject is a PossibleIndividual that is a distribution of matter, energy, or both.
subclass of: PossibleIndividual
intersection of: FunctionalPhysicalObject
intersection of: MaterializedPhysicalObject
intersection of: SpatialLocation
intersection of: Stream
example: A piece of metal is a PhysicalObject.
example: A tree is a PhysicalObject.
example: The thing identified by tag P101 is a PhysicalObject.
example: A light beam is a PhysicalObject.
example: A tank that is built and dismantled on site is both a MaterializedPhysicalObject and a FunctionalPhysicalObject.
example: John Doe is a PhysicalObject.
example: The XYZ Corporation is a PhysicalObject.

SpatialLocation
type: Class
definition: A SpatialLocation is a PhysicalObject that has continuity of relative position.
subclass of: PhysicalObject
example: 'Geographic datum', 'license block', 'construction area', 'country','air corridor', 'maritime traffic zone', 'hazard control zone', '4D points', 'lines', 'planes', 'solids' are instances of SpatialLocation.

Stream
type: Class
definition: A Stream is a PhysicalObject 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.
subclass of: PhysicalObject
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.

PointInTime
type: Class
definition: A PointInTime is an Event that is the whole space extension with zero extent in time.
subclass of: Event
note: In using this part of ISO15926, a PointInTime should be represented by a Gregorian date and a UTC time.
example: The time known as UTC 1999-05-13T16:31:23.56 is a PointInTime.

PossibleIndividual
type: Class
definition: A PossibleIndividual 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.
subclass of: Thing
intersection of: Activity
intersection of: ActualIndividual
intersection of: ArrangedIndividual
intersection of: Event
intersection of: PeriodInTime
intersection of: PhysicalObject
intersection of: WholeLifeIndividual
example: The pump with serial number ABC123, Battersea Power Station, Sir Joseph Whitworth, Shakespeare, and the starship "Enterprise" can be represented by instances of PossibleIndividual.

WholeLifeIndividual
type: Class
definition: A WholeLifeIndividual is a PossibleIndividual that is a member of a ClassOfIndividual, and is not a temporal part of any other PossibleIndividual that is also a member of the same ClassOfIndividual. A WholeLifeIndividual includes its past and future.
subclass of: PossibleIndividual
note: A possible future temporal part of the WholeLifeIndividual is a PossibleIndividual that is related to the WholeLifeIndividual by a TemporalWholePart relation.
example: A plastic cup (bounded by its 'creation' and 'destruction' Event's) can be represented by an instance of WholeLifeIndividual . The cup whilst it stands on this table is a temporal part of this WholeLifeIndividual.
example: The universe for all time is a WholeLifeIndividual.

PossibleRoleAndDomain
type: Class
definition: A PossibleRoleAndDomain is a Relationship that indicates that a player PossibleIndividual can possibly play the played RoleAndDomain.
subclass of: Relationship
disjoint with: Recognition
disjoint with: RelativeLocation
disjoint with: RepresentationOfThing
disjoint with: ResponsibilityForRepresentation
disjoint with: TemporalSequence
disjoint with: UsageOfRepresentation
subclass of: Restriction
  on property: played
  all values from: RoleAndDomain
subclass of: Restriction
  on property: player
  all values from: PossibleIndividual
example: 'Acting as an anchor' is a PossibleRoleAndDomain for pump 1234.

Shape
type: Class
definition: 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.
subclass of: Property
example: '20mm diameter circle' and '10-20mm diameter circles' are examples of Shape .
example: Irregular forms such as the outer envelope of a model of pump can be represented by instances of Shape.

PropertyRange
type: Class
definition: A PropertyRange is a PropertySpace that is a continuous subset of a SinglePropertyDimension.
subclass of: PropertySpace
example: '[-10C to +20C]' is a PropertyRange of temperature.

SinglePropertyDimension
type: Class
definition: A SinglePropertyDimension is a PropertySpace that is a single and complete continuum of properties each of which maps to a single number.
subclass of: PropertySpace
example: 'Temperature', 'pressure', 'viscosity', and 'length' are examples of SinglePropertyDimension.

Recognition
type: Class
definition: A Recognition is a Relationship that indicates that a Thing is recognized through an Activity.
subclass of: Relationship
disjoint with: RelativeLocation
disjoint with: RepresentationOfThing
disjoint with: ResponsibilityForRepresentation
disjoint with: TemporalSequence
disjoint with: UsageOfRepresentation
subclass of: Restriction
  on property: recognized
  all values from: Thing
subclass of: Restriction
  on property: recognizing
  all values from: Activity
example: Measurement activity #358 recognized that the room was a member of the 20 Celsius Property.

RelativeLocation
type: Class
definition: A RelativeLocation is a Relationship that indicates that the position of one PossibleIndividual is relative to another.
subclass of: Relationship
disjoint with: RepresentationOfThing
disjoint with: ResponsibilityForRepresentation
disjoint with: TemporalSequence
disjoint with: UsageOfRepresentation
subclass of: Restriction
  on property: located
  all values from: PossibleIndividual
subclass of: Restriction
  on property: locator
  all values from: PossibleIndividual
note: The Classification of the RelativeLocation indicates the nature of the RelativeLocation , e.g. 'above', 'below', 'beside'.
example: A being the located relative to B being the locator in a RelativeLocation that is classified by the ClassOfRelativeLocation 'above' indicates that A is above B.

RepresentationOfThing
type: Class
definition: A RepresentationOfThing is a Relationship that indicates that a PossibleIndividual is a sign for a Thing.
subclass of: Relationship
intersection of: Definition
intersection of: Description
intersection of: Identification
disjoint with: ResponsibilityForRepresentation
disjoint with: TemporalSequence
disjoint with: UsageOfRepresentation
subclass of: Restriction
  on property: represented
  all values from: Thing
subclass of: Restriction
  on property: sign
  all values from: PossibleIndividual
note: In general it will be ClassOfRepresentationOfThing that will be of interest, rather than each RepresentationOfThing. However, RepresentationOfThing will be of interest when individual copies of documents are managed and controlled.
example: The relationship between a nameplate with its serial number and other data, and a particular pressure vessel (MaterializedPhysicalObject) is an example of RepresentationOfThing that is an Identification.

ResponsibilityForRepresentation
type: Class
definition: A ResponsibilityForRepresentation is a Relationship that indicates that the controller PossibleIndividual administers the controlled RepresentationOfThing.
subclass of: Relationship
disjoint with: TemporalSequence
disjoint with: UsageOfRepresentation
subclass of: Restriction
  on property: controlled
  all values from: RepresentationOfThing
subclass of: Restriction
  on property: controller
  all values from: PossibleIndividual
example: The responsibility for the administration of this standard lies with ISO. This is represented as a PossibleIndividual 'ISO' is linked by an instance of ResponsibilityForRepresentation to a RepresentationOfThing; the latter links the ClassOfInformationObject 'ISO 15926-7' to a PhysicalObject 'myNumberedCopy of ISO 15926-7'.

TemporalSequence
type: Class
definition: A TemporalSequence is a Relationship that indicates that one PossibleIndividual precedes another in a temporal sense.
subclass of: Relationship
disjoint with: UsageOfRepresentation
subclass of: Restriction
  on property: predecessor
  all values from: PossibleIndividual
subclass of: Restriction
  on property: successor
  all values from: PossibleIndividual
example: The Relationship that indicates that the PossibleIndividual that is the construction phase of a plant precedes the PossibleIndividual that is the commissioning phase of a plant can be represented by an instance of TemporalSequence.
example: The Relationship that indicates that the PeriodInTime known as the industrial revolution preceded the PeriodInTime known as the information revolution can be represented by an instance of TemporalSequence .

UsageOfRepresentation
type: Class
definition: A UsageOfRepresentation is a Relationship that indicates that the RepresentationOfThing is used by the PossibleIndividual. Usage does not imply responsibility.
subclass of: Relationship
subclass of: Restriction
  on property: used
  all values from: RepresentationOfThing
subclass of: Restriction
  on property: user
  all values from: PossibleIndividual
example: The sign "P101" is used by the XYZ company to represent a particular pump in a design.

Role
type: Class
definition: A Role is a RoleAndDomain that indicates what some Thing has to do with an Activity, Relationship, or MultidimensionalObject.
subclass of: RoleAndDomain
example: Employee is a Role that indicates what a temporal part of a person has to do with an employment relation.
example: Pumper is a Role that indicates what a temporal part of a pump has to do with a pumping Activity.

SpecializationByDomain
type: Class
definition: A SpecializationByDomain is a Specialization that indicates that the member of the RoleAndDomain is a Specialization of the domain Class.
editorial note: The original superclass "Specialization" cannot be used in RDF+OWL since that is represented by rdfs:subClassOf.
subclass of: Relationship
subclass of: Restriction
  on property: subClass
  all values from: RoleAndDomain
subclass of: Restriction
  on property: superClass
  all values from: Class
example: Manufacturing company is a specialization of the company domain.

SpecializationByRole
type: Class
definition: A SpecializationByRole is a Specialization that indicates that the RoleAndDomain is of the Role indicated by the superclass.
editorial note: The original superclass "Specialization" cannot be used in RDF+OWL since that is represented by rdfs:subClassOf.
subclass of: Relationship
subclass of: Restriction
  on property: subClass
  all values from: RoleAndDomain
subclass of: Restriction
  on property: superClass
  all values from: Role
example: Manufacturing company is a specialization by role of manufacturer.

SpecializationOfIndividualDimensionFromProperty
type: Class
definition: A SpecializationOfIndividualDimensionFromProperty is a Specialization that indicates the members of the IndividualDimension are members of the Property.
editorial note: The original superclass "Specialization" cannot be used in RDF+OWL since that is represented by rdfs:subClassOf.
subclass of: Relationship
subclass of: Restriction
  on property: subClass
  all values from: IndividualDimension
subclass of: Restriction
  on property: superClass
  all values from: Property
example: An IndividualDimension 'diameter of 10m' is a subclass of the Property 'length of 10m'.

Thing
type: Class
definition: 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 PossibleIndividual or an AbstractObject.
union of: AbstractObject
union of: PossibleIndividual
subclass of: Restriction
  on property: recordCopyCreated
  all values from: RepresentationOfGregorianDateAndUtcTime
subclass of: Restriction
  on property: recordCreated
  all values from: RepresentationOfGregorianDateAndUtcTime
subclass of: Restriction
  on property: recordCreator
  all values from: PossibleIndividual
subclass of: Restriction
  on property: recordLogicallyDeleted
  all values from: RepresentationOfGregorianDateAndUtcTime
subclass of: Restriction
  on property: whyDeleted
  all values from: ClassOfInformationRepresentation
note: Every Thing is identifiable within a system by means of rdf:ID.. 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: NOTE Every example provided for other entity data types declared in this schema is also an example of Thing.

UpperBoundOfNumberRange
type: Class
definition: An UpperBoundOfNumberRange is a Classification that indicates an ArithmeticNumber is the largest value in a NumberRange.
editorial note: The original superclass "Classification" cannot be used in RDF+OWL since that is represented by rdfs:subClassOf.
subclass of: Relationship
subclass of: Restriction
  on property: highestNumber
  all values from: ArithmeticNumber
subclass of: Restriction
  on property: range
  all values from: NumberRange
example: The instance of RealNumber that is represented by the instance of ExpressReal '5.3' has an UpperBoundOfNumberRange relationship with the instance of NumberRange'[3.1 to 5.3]'.

UpperBoundOfPropertyRange
type: Class
definition: An UpperBoundOfPropertyRange is a Classification that indicates that the Property is the upper bound of the PropertyRange.
editorial note: The original superclass "Classification" cannot be used in RDF+OWL since that is represented by rdfs:subClassOf.
subclass of: Relationship
subclass of: Restriction
  on property: highestProperty
  all values from: Property
subclass of: Restriction
  on property: range
  all values from: PropertyRange
example: The instance of Property that is represented by the instance of ExpressReal '+20' has an UpperBoundOfPropertyRange relationship with the instance of PropertyRange'[-10 to +20 degrees Celsius]'.