# Saved by TopBraid on Wed Sep 14 00:48:28 BST 2011
# baseURI: http://rds.posccaesar.org/2008/02/OWL/ISO-15926-2_2003
# imports: http://standards.iso.org/iso/ts/15926/-8/ed-1/tech/reference-data/data-model
# imports: http://www.co-ode.org/ontologies/lists/2008/09/11/list.owl

@prefix iso-dm:  <http://standards.iso.org/iso/ts/15926/-8/ed-1/tech/reference-data/data-model#> .
@prefix list:    <http://www.co-ode.org/ontologies/list.owl#> .
@prefix owl:     <http://www.w3.org/2002/07/owl#> .
@prefix pca-dm:  <http://rds.posccaesar.org/2008/02/OWL/ISO-15926-2_2003#> .
@prefix pca-dmdoc:  <http://rds.posccaesar.org/2008/07/OWL/ISO-15926-2_2003_annotations#> .
@prefix rdf:     <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .

<http://rds.posccaesar.org/2008/02/OWL/ISO-15926-2_2003>
      rdf:type owl:Ontology ;
      rdfs:comment """ISO 15926-2:2003: Industrial automation systems and integration -- Integration of life-cycle data for process plants including oil and gas production facilities -- Part 2: Data model.

		This ontology is based on the EXPRESS schema lifecycle_integration_schema.exp, http://www.steptools.com/sc4/archive/oil-and-gas/15926-0002-lifecycle_integration.exp?rev=1.1&content-type=text/vnd.viewcvs-markup, which ISO 15926-2 annex B references.""" ;
      owl:imports <http://www.co-ode.org/ontologies/lists/2008/09/11/list.owl> , <http://standards.iso.org/iso/ts/15926/-8/ed-1/tech/reference-data/data-model> ;
      owl:versionInfo "Generated 2008-02-21T17:29:19.558+01:00" .

pca-dm:hasApproved
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:Approval .

pca-dm:hasApprover
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:Approval .

pca-dm:hasCardinalities
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ClassOfMultidimensionalObject .

pca-dm:hasCaused
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:CauseOfEvent .

pca-dm:hasCauser
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:CauseOfEvent .

pca-dm:hasClassOfApproved
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ClassOfApproval .

pca-dm:hasClassOfApprover
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ClassOfApproval .

pca-dm:hasClassOfBegun
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ClassOfCauseOfBeginningOfClassOfIndividual .

pca-dm:hasClassOfCauser
      rdf:type owl:ObjectProperty ;
      rdfs:domain
              [ owl:unionOf (iso-dm:ClassOfCauseOfBeginningOfClassOfIndividual iso-dm:ClassOfCauseOfEndingOfClassOfIndividual)
              ] .

pca-dm:hasClassOfClassOfControlled
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ClassOfClassOfResponsibilityForRepresentation .

pca-dm:hasClassOfClassOfPart
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ClassOfClassOfComposition .

pca-dm:hasClassOfClassOfUsed
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ClassOfClassOfUsageOfRepresentation .

pca-dm:hasClassOfClassOfWhole
      rdf:type owl:ObjectProperty ;
      rdfs:domain
              [ owl:unionOf (iso-dm:ClassOfClassOfComposition iso-dm:ClassOfNamespace)
              ] .

pca-dm:hasClassOfClassified
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ClassOfClassification .

pca-dm:hasClassOfClassifier
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ClassOfClassification .

pca-dm:hasClassOfConnection
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ClassOfIndividualUsedInConnection .

pca-dm:hasClassOfControlled
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ClassOfResponsibilityForRepresentation .

pca-dm:hasClassOfDimension
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ClassOfDimensionForShape .

pca-dm:hasClassOfEnd1
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ClassOfRelationshipWithSignature .

pca-dm:hasClassOfEnd2
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ClassOfRelationshipWithSignature .

pca-dm:hasClassOfEnded
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ClassOfCauseOfEndingOfClassOfIndividual .

pca-dm:hasClassOfFirst
      rdf:type owl:ObjectProperty ;
      rdfs:domain
              [ owl:unionOf (iso-dm:ClassOfClassOfRepresentationTranslation iso-dm:ClassOfRepresentationTranslation)
              ] .

pca-dm:hasClassOfInvolved
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ClassOfInvolvementByReference .

pca-dm:hasClassOfInvolver
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ClassOfInvolvementByReference .

pca-dm:hasClassOfLocated
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ClassOfRelativeLocation .

pca-dm:hasClassOfLocator
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ClassOfRelativeLocation .

pca-dm:hasClassOfPart
      rdf:type owl:ObjectProperty ;
      rdfs:domain
              [ owl:unionOf (iso-dm:ClassOfCompositionOfIndividual iso-dm:ClassOfNamespace)
              ] .

pca-dm:hasClassOfPattern
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ClassOfClassOfRepresentation .

pca-dm:hasClassOfPlayer
      rdf:type owl:ObjectProperty ;
      rdfs:domain
              [ owl:unionOf (iso-dm:ClassOfIntendedRoleAndDomain iso-dm:ClassOfPossibleRoleAndDomain)
              ] .

pca-dm:hasClassOfPossessor
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ClassOfIndirectProperty .

pca-dm:hasClassOfPredecessor
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ClassOfTemporalSequence .

pca-dm:hasClassOfRecognized
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ClassOfRecognition .

pca-dm:hasClassOfRecognizing
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ClassOfRecognition .

pca-dm:hasClassOfRepresented
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ClassOfClassOfRepresentation .

pca-dm:hasClassOfSecond
      rdf:type owl:ObjectProperty ;
      rdfs:domain
              [ owl:unionOf (iso-dm:ClassOfClassOfRepresentationTranslation iso-dm:ClassOfRepresentationTranslation)
              ] .

pca-dm:hasClassOfShape
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ClassOfDimensionForShape .

pca-dm:hasClassOfShapeDimension
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:PropertySpaceForClassOfShapeDimension .

pca-dm:hasClassOfSide1
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ClassOfConnectionOfIndividual .

pca-dm:hasClassOfSide2
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ClassOfConnectionOfIndividual .

pca-dm:hasClassOfSubclass
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ClassOfSpecialization .

pca-dm:hasClassOfSuccessor
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ClassOfTemporalSequence .

pca-dm:hasClassOfSuperclass
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ClassOfSpecialization .

pca-dm:hasClassOfUsage
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ClassOfIndividualUsedInConnection .

pca-dm:hasClassOfUsed
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ClassOfUsageOfRepresentation .

pca-dm:hasClassOfWhole
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ClassOfCompositionOfIndividual .

pca-dm:hasClassified
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:Classification .

pca-dm:hasClassifier
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:Classification .

pca-dm:hasCodomain
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ClassOfFunctionalMapping .

pca-dm:hasConnection
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:IndividualUsedInConnection .

pca-dm:hasContent
      rdf:type owl:DatatypeProperty ;
      rdfs:domain
              [ owl:unionOf (iso-dm:ExpressBinary iso-dm:ExpressBoolean iso-dm:ExpressInteger iso-dm:ExpressLogical iso-dm:ExpressReal iso-dm:ExpressString)
              ] .

pca-dm:hasControlled
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ResponsibilityForRepresentation .

pca-dm:hasController
      rdf:type owl:ObjectProperty ;
      rdfs:domain
              [ owl:unionOf (iso-dm:ClassOfClassOfResponsibilityForRepresentation iso-dm:ClassOfResponsibilityForRepresentation iso-dm:ResponsibilityForRepresentation)
              ] .

pca-dm:hasDay
      rdf:type owl:DatatypeProperty ;
      rdfs:domain iso-dm:RepresentationOfGregorianDateAndUtcTime .

pca-dm:hasDimension
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:DimensionOfShape .

pca-dm:hasDomain
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ClassOfFunctionalMapping .

pca-dm:hasElements
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:MultidimensionalObject .

pca-dm:hasEnd1
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:OtherRelationship .

pca-dm:hasEnd1Cardinality
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ClassOfRelationship .

pca-dm:hasEnd2
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:OtherRelationship .

pca-dm:hasEnd2Cardinality
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ClassOfRelationship .

pca-dm:hasGreaterElement
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ComparisonOfProperty .

pca-dm:hasHour
      rdf:type owl:DatatypeProperty ;
      rdfs:domain iso-dm:RepresentationOfGregorianDateAndUtcTime .

pca-dm:hasId
      rdf:type owl:DatatypeProperty ;
      rdfs:domain iso-dm:Thing .

pca-dm:hasIndividual
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:DimensionOfIndividual .

pca-dm:hasIndividualDimension
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:DimensionOfIndividual .

pca-dm:hasInput
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:FunctionalMapping .

pca-dm:hasInterest
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:LifecycleStage .

pca-dm:hasInterested
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:LifecycleStage .

pca-dm:hasInvolved
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:InvolvementByReference .

pca-dm:hasInvolver
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:InvolvementByReference .

pca-dm:hasLesserElement
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ComparisonOfProperty .

pca-dm:hasLocated
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:RelativeLocation .

pca-dm:hasLocator
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:RelativeLocation .

pca-dm:hasMaximumCardinality
      rdf:type owl:DatatypeProperty ;
      rdfs:domain iso-dm:Cardinality .

pca-dm:hasMinimumCardinality
      rdf:type owl:DatatypeProperty ;
      rdfs:domain iso-dm:Cardinality .

pca-dm:hasMinute
      rdf:type owl:DatatypeProperty ;
      rdfs:domain iso-dm:RepresentationOfGregorianDateAndUtcTime .

pca-dm:hasMonth
      rdf:type owl:DatatypeProperty ;
      rdfs:domain iso-dm:RepresentationOfGregorianDateAndUtcTime .

pca-dm:hasOptionalElement
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ClassOfMultidimensionalObject .

pca-dm:hasParameterPosition
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ClassOfMultidimensionalObject .

pca-dm:hasParameters
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ClassOfMultidimensionalObject .

pca-dm:hasPart
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:CompositionOfIndividual .

pca-dm:hasPattern
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ClassOfRepresentationOfThing .

pca-dm:hasPlayed
      rdf:type owl:ObjectProperty ;
      rdfs:domain
              [ owl:unionOf (iso-dm:ClassOfIntendedRoleAndDomain iso-dm:ClassOfPossibleRoleAndDomain iso-dm:IntendedRoleAndDomain iso-dm:PossibleRoleAndDomain)
              ] .

pca-dm:hasPlayer
      rdf:type owl:ObjectProperty ;
      rdfs:domain
              [ owl:unionOf (iso-dm:IntendedRoleAndDomain iso-dm:PossibleRoleAndDomain)
              ] .

pca-dm:hasPosition
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:MultidimensionalObject .

pca-dm:hasPossessor
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:IndirectProperty .

pca-dm:hasPredecessor
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:TemporalSequence .

pca-dm:hasProperty
      rdf:type owl:ObjectProperty ;
      rdfs:domain
              [ owl:unionOf (iso-dm:IndirectProperty iso-dm:PropertyForShapeDimension)
              ] .

pca-dm:hasPropertySpace
      rdf:type owl:ObjectProperty ;
      rdfs:domain
              [ owl:unionOf (iso-dm:ClassOfIndirectProperty iso-dm:PropertySpaceForClassOfShapeDimension)
              ] .

pca-dm:hasRecognized
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:Recognition .

pca-dm:hasRecognizing
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:Recognition .

pca-dm:hasRecordCopyCreated
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:Thing .

pca-dm:hasRecordCreated
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:Thing .

pca-dm:hasRecordCreator
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:Thing .

pca-dm:hasRecordLogicallyDeleted
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:Thing .

pca-dm:hasRelated
      rdf:type owl:ObjectProperty ;
      rdfs:domain
              [ owl:unionOf (iso-dm:ClassOfRelationshipWithRelatedEnd1 iso-dm:ClassOfRelationshipWithRelatedEnd2)
              ] .

pca-dm:hasRepresented
      rdf:type owl:ObjectProperty ;
      rdfs:domain
              [ owl:unionOf (iso-dm:ClassOfRepresentationOfThing iso-dm:RepresentationOfThing)
              ] .

pca-dm:hasResult
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:FunctionalMapping .

pca-dm:hasRoles
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ClassOfMultidimensionalObject .

pca-dm:hasSecond
      rdf:type owl:DatatypeProperty ;
      rdfs:domain iso-dm:RepresentationOfGregorianDateAndUtcTime .

pca-dm:hasShape
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:DimensionOfShape .

pca-dm:hasShapeDimension
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:PropertyForShapeDimension .

pca-dm:hasSide1
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ConnectionOfIndividual .

pca-dm:hasSide2
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:ConnectionOfIndividual .

pca-dm:hasSign
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:RepresentationOfThing .

pca-dm:hasSubclass
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:Specialization .

pca-dm:hasSuccessor
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:TemporalSequence .

pca-dm:hasSuperclass
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:Specialization .

pca-dm:hasUsage
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:IndividualUsedInConnection .

pca-dm:hasUsed
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:UsageOfRepresentation .

pca-dm:hasUser
      rdf:type owl:ObjectProperty ;
      rdfs:domain
              [ owl:unionOf (iso-dm:ClassOfClassOfUsageOfRepresentation iso-dm:ClassOfUsageOfRepresentation iso-dm:UsageOfRepresentation)
              ] .

pca-dm:hasWhole
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:CompositionOfIndividual .

pca-dm:hasWhyDeleted
      rdf:type owl:ObjectProperty ;
      rdfs:domain iso-dm:Thing .

pca-dm:hasYear
      rdf:type owl:DatatypeProperty ;
      rdfs:domain iso-dm:RepresentationOfGregorianDateAndUtcTime .

<http://rds.posccaesar.org/2008/07/OWL/ISO-15926-2_2003_annotations>
      rdf:type owl:Ontology ;
      rdfs:comment "This ontology contains a copy of the definitions, examples and notes of the ISO 15926-2:2003 entity types. An ISO published online version is available at http://www.tc184-sc4.org/wg3ndocs/wg3n1328/lifecycle_integration_schema.html." ;
      owl:imports <http://rds.posccaesar.org/2008/02/OWL/ISO-15926-2_2003> ;
      owl:versionInfo "Created with TopBraid Composer"^^xsd:string .

pca-dmdoc:definition
      rdf:type owl:AnnotationProperty .

pca-dmdoc:example
      rdf:type owl:AnnotationProperty .

pca-dmdoc:note
      rdf:type owl:AnnotationProperty .

iso-dm:AbstractObject
      pca-dmdoc:definition
              "An [abstract_object] is a [thing] that does not exist in space-time." ;
      owl:equivalentClass
              [ owl:unionOf (iso-dm:Class iso-dm:MultidimensionalObject iso-dm:Relationship)
              ] .

iso-dm:Activity
      pca-dmdoc:definition
              "An [activity] is a [possible_individual] that brings about change by causing the [event] that marks the [beginning], or the [event] that marks the [ending] of a [possible_individual]. An activity consists of the temporal parts of those members of [possible_individual] that participate in the activity. The participating temporal parts will be classified by the [participating_role_and_domain] that indicates the role of the temporal part in the [activity]." ;
      pca-dmdoc:example "EXAMPLE	Pumping a fluid with a mechanical pump can be represented by an instance of [activity]." .

iso-dm:ActualIndividual
      pca-dmdoc:definition
              "An [actual_individual] is a [possible_individual] that is a part of the space-time continuum that we inhabit. It exists in the present, past, or future of our universe, as opposed to some imagined universe." ;
      pca-dmdoc:example """EXAMPLE 1	The Eiffel Tower is an [actual_individual].
EXAMPLE 2	The computer used to edit this part of ISO 15926 is an [actual_individual].
EXAMPLE 3	The fictional character, Sherlock Holmes, is a [possible_individual] who is not an [actual_individual].
EXAMPLE 4	The Earth in the year 2300 (assuming it still exists) is an [actual_individual].""" ;
      pca-dmdoc:note "NOTE	The things we plan can usually only be assumed to be part of some imagined universe, until they come about." .

iso-dm:Approval
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:PossibleIndividual ;
                owl:onProperty pca-dm:hasApprover
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasApprover
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Relationship ;
                owl:onProperty pca-dm:hasApproved
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasApproved
              ] ;
      pca-dmdoc:definition
              "An [approval] is a [relationship] that indicates that a [relationship] has been approved by a [possible_individual] that is an approver." ;
      pca-dmdoc:example "EXAMPLE	The [involvement_by_reference] of a plant design with a construction activity, being approved by the site manager, is an example of an [approval]." ;
      pca-dmdoc:note "NOTE	Care should be taken as to what is approved. Sometimes it will not be say a pump that is approved, but the participation of the pump in a particular [activity], or member of some [class_of_activity]." ;
      owl:disjointWith iso-dm:IntendedRoleAndDomain , iso-dm:OtherRelationship , iso-dm:PossibleRoleAndDomain , iso-dm:ConnectionOfIndividual , iso-dm:ResponsibilityForRepresentation , iso-dm:RepresentationOfThing , iso-dm:CompositionOfIndividual , iso-dm:RelativeLocation , iso-dm:CauseOfEvent , iso-dm:Recognition , iso-dm:Specialization , iso-dm:ClassOfRelationshipWithSignature , iso-dm:UsageOfRepresentation , iso-dm:TemporalSequence , iso-dm:FunctionalMapping , iso-dm:IndividualUsedInConnection , iso-dm:LifecycleStage , iso-dm:InvolvementByReference , iso-dm:IndirectProperty , iso-dm:ComparisonOfProperty , iso-dm:Classification .

iso-dm:ArithmeticNumber
      pca-dmdoc:definition
              "An [arithmetic_number] is a [class_of_class] whose member classes have the same sign and count or magnitude. An [arithmetic_number] is the number itself, not any representation of the number." ;
      pca-dmdoc:example """EXAMPLE 1	The number 2 and the number 2.0 can be represented by instances of [arithmetic_number].
EXAMPLE 2	Fifteen, the number itself not the English word \"fifteen\", is an [arithmetic_number]. It could be represented by an [EXPRESS_integer] or an [EXPRESS_real] but could also be represented by  \"XV\", or a binary, or a hexadecimal representation.""" ;
      pca-dmdoc:note "NOTE 	[integer_number] is not a subtype of [real_number]. The members of [integer_number] are part of a different continuum from the members of [real_number], but are isomorphic to a subset of it." ;
      owl:disjointWith iso-dm:ClassOfPropertySpace , iso-dm:ClassOfClassOfIndividual , iso-dm:ClassOfShapeDimension , iso-dm:ClassOfNumber , iso-dm:ClassOfClassOfRelationship .

iso-dm:ArrangedIndividual
      pca-dmdoc:definition
              "An [arranged_individual] is a [possible_individual] that has parts that play distinct roles with respect to the whole. The qualities of an [arranged_individual] are distinct from the qualities of its parts." ;
      pca-dmdoc:example """EXAMPLE 1	The vessel with serial number V-1234 is an [arranged_individual].
EXAMPLE 2	The company Bloggs & Co. is an [arranged_individual].
EXAMPLE 3	A laptop computer that consists of the main unit with its removable CD-ROM and floppy disk drives and power supply cables is an [arranged_individual].""" .

iso-dm:ArrangementOfIndividual
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ArrangedIndividual ;
                owl:onProperty pca-dm:hasWhole
              ] ;
      pca-dmdoc:definition
              "An [arrangement_of_individual] is a [composition_of_individual] that indicates that the part is a part of an [arranged_individual]. The temporal extent of the part is that of the whole. An [arrangement_of_individual] may be an [assembly_of_individual]. " ;
      pca-dmdoc:example """EXAMPLE 1	The relationship that indicates that a particular aircraft is flying as part of a formation can be represented by an instance of [arrangement_of_individual].
EXAMPLE 2	The relationship that indicates that a particular bin in a warehouse is part of the warehouse layout can be represented by an instance of [arrangement_of_individual].""" ;
      pca-dmdoc:note """NOTE 1	The term \"arranged\" implies that parts have particular roles with respect to the whole.
NOTE 2	The natures of the relations to other parts of the whole are not specified by the arrangement relation. Relationships like [connection_of_individual] and [relative_location] would indicate this.""" ;
      owl:disjointWith iso-dm:TemporalBounding , iso-dm:Participation , iso-dm:TemporalWholePart .

iso-dm:AssemblyOfIndividual
      pca-dmdoc:definition
              "An [assembly_of_individual] is an [arrangement_of_individual] that indicates that the part is connected directly or indirectly to other parts of the whole. The parts and wholes are super-molecular objects." ;
      pca-dmdoc:example "EXAMPLE	The relation that indicates that a temporal part of an impeller is a part of an assembled pump can be represented by an instance of [assembly_of_individual]." ;
      pca-dmdoc:note "NOTE	Composition of molecules and smaller is represented through instances of [class_of_arrangement_of_individual]." ;
      owl:disjointWith iso-dm:FeatureWholePart .

iso-dm:Beginning
      pca-dmdoc:definition
              "A [beginning] is a [temporal_bounding] that marks the temporal start of a [possible_individual]." ;
      pca-dmdoc:example """EXAMPLE 1	The relation that indicates that the [point_in_time] known as 0000hrs 1st July 1999 UTC is the beginning of the [period_in_time] known as July 1999 UTC can be represented by an instance of [beginning].
EXAMPLE 2	The relation that indicates that the [event] 'loading complete' marks the start of the [possible_individual] 'loading plant idle' can be represented by an instance of [beginning].""" .

iso-dm:BoundaryOfNumberSpace
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:NumberSpace ;
                owl:onProperty pca-dm:hasSuperclass
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:NumberSpace ;
                owl:onProperty pca-dm:hasSubclass
              ] ;
      pca-dmdoc:definition
              "A [boundary_of_number_space] is a [specialization] that indicates that a [number_space] is a boundary to another [number_space]." ;
      pca-dmdoc:example "EXAMPLE	The side of a cube in R3 is a [number_space] that is a plane in R3 and that is a boundary to the [number_space] that is a cube in R3." ;
      owl:disjointWith iso-dm:BoundaryOfPropertySpace , iso-dm:SpecializationByRole , iso-dm:SpecializationOfIndividualDimensionFromProperty , iso-dm:SpecializationByDomain .

iso-dm:BoundaryOfPropertySpace
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:PropertySpace ;
                owl:onProperty pca-dm:hasSubclass
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:PropertySpace ;
                owl:onProperty pca-dm:hasSuperclass
              ] ;
      pca-dmdoc:definition
              "A [boundary_of_property_space] is a [specialization] that indicates the members of the subclass form a boundary of the superclass." ;
      pca-dmdoc:example "EXAMPLE	The [property_space] that corresponds to the maximum speed head flow curve is a boundary of the [property_space] that corresponds to the pump operating envelope." ;
      owl:disjointWith iso-dm:SpecializationOfIndividualDimensionFromProperty , iso-dm:SpecializationByRole , iso-dm:SpecializationByDomain .

iso-dm:Cardinality
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom xsd:long ;
                owl:onProperty pca-dm:hasMaximumCardinality
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasMaximumCardinality
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom xsd:long ;
                owl:onProperty pca-dm:hasMinimumCardinality
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasMinimumCardinality
              ] ;
      pca-dmdoc: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 [class_of_relationship] or [class_of_multidimensional_object]." ;
      pca-dmdoc:example "EXAMPLE	A minimum of 1 and a maximum of 1 means that there is exactly one [relationship] or [multidimensional_object] of this type for each object." .

iso-dm:CauseOfEvent
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Event ;
                owl:onProperty pca-dm:hasCaused
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasCaused
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasCauser
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Activity ;
                owl:onProperty pca-dm:hasCauser
              ] ;
      pca-dmdoc:definition
              "A [cause_of_event] is a [relationship] that indicates that the caused [event] is caused by the causer [activity]." ;
      pca-dmdoc:example "EXAMPLE	The relation that indicates that the tanker loading activity caused the [event] described as 'tank liquid level full' can be represented by an instance of [cause_of_event]." ;
      owl:disjointWith iso-dm:Specialization , iso-dm:ComparisonOfProperty , iso-dm:LifecycleStage , iso-dm:IntendedRoleAndDomain , iso-dm:Recognition , iso-dm:UsageOfRepresentation , iso-dm:FunctionalMapping , iso-dm:PossibleRoleAndDomain , iso-dm:ResponsibilityForRepresentation , iso-dm:RepresentationOfThing , iso-dm:OtherRelationship , iso-dm:IndividualUsedInConnection , iso-dm:ClassOfRelationshipWithSignature , iso-dm:RelativeLocation , iso-dm:CompositionOfIndividual , iso-dm:InvolvementByReference , iso-dm:TemporalSequence , iso-dm:Classification , iso-dm:IndirectProperty , iso-dm:ConnectionOfIndividual .

iso-dm:Class
      pca-dmdoc: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.""" ;
      pca-dmdoc:example """EXAMPLE 1	Centrifugal pump is a [class].
EXAMPLE 2	Mechanical equipment type is a [class].
EXAMPLE 3	Temperature is a [class].
EXAMPLE 4	Commercial fusion reactor is a [class].
EXAMPLE 5	Centigrade scale is a [class].""" ;
      pca-dmdoc:note """NOTE 1	The membership of a [class] is unchanging as a result of the spatio-temporal paradigm upon which this schema is based. In another paradigm it might be stated that a car is red at one time, and green at another time, indicating that the class of red things and class of green things changed members. However, using a spatio-temporal paradigm, a temporal part, state 1, of the car is red, and another temporal part of the car, state 2, is green. In this way the members of the classes red and green are unchanging. The same principle applies to future temporal parts as to past temporal parts, it is just more likely that the membership of these is not known.
A class may be a member of another class or itself.
NOTE 2  The set theory that applies to classes in this model is non-wellfounded set theory [3]. This permits statements like \"class is a member of class\", unlike traditional set theories such as Zermelo-Fraenkel set theory found in standard texts [4].
There is a null [class] that has no members.
NOTE 3	The known members of a [class] are identified by [classification].
NOTE 4	Although there is only one [class] that has no members, there can be a [class] that has no members in the actual world, but which does have members in other possible worlds.

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

iso-dm:ClassOfAbstractObject
      pca-dmdoc:definition
              "A [class_of_abstract_object] is a [class] whose members classify members of [abstract_object]." ;
      owl:equivalentClass
              [ owl:unionOf (iso-dm:ClassOfClass iso-dm:ClassOfMultidimensionalObject iso-dm:ClassOfRelationship)
              ] .

iso-dm:ClassOfActivity
      pca-dmdoc:definition
              "A [class_of_activity] is a [class_of_arranged_individual] whose members are instances of [activity]." ;
      pca-dmdoc:example "EXAMPLE	Drilling, distilling, and approving can be represented by instances of [class_of_activity]." ;
      pca-dmdoc:note "NOTE	Behaviour is a term used to describe a [class_of_activity] either where there are preconditions and the [class_of_activity] is a response to those preconditions, e.g. reaction to touching a hot surface, or where the way an activity occurs is described by some property or function, e.g. fluid flow being described by the viscosity of the fluid." .

iso-dm:ClassOfApproval
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfApprover
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfApproved
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfIndividual ;
                owl:onProperty pca-dm:hasClassOfApprover
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfRelationship ;
                owl:onProperty pca-dm:hasClassOfApproved
              ] ;
      pca-dmdoc:definition
              "A [class_of_approval] is a [class_of_relationship] whose members are members of [approval] that indicates that members of the [class_of_individual] are approvers in an [approval] for the members of the [class] that are approved." ;
      pca-dmdoc:example "EXAMPLE	That site managers approve design specifications for construction (a [class_of_involvement_by_reference]) is an example of [class_of_approval]." ;
      owl:disjointWith iso-dm:ClassOfFunctionalMapping , iso-dm:DimensionOfIndividual , iso-dm:ClassOfRecognition , iso-dm:ClassOfIndirectProperty , iso-dm:ClassOfClassification , iso-dm:PropertyForShapeDimension , iso-dm:ClassOfIndividualUsedInConnection , iso-dm:ClassOfRepresentationTranslation , iso-dm:ClassOfRelationshipWithSignature , iso-dm:ClassOfAssertion , iso-dm:ClassOfIntendedRoleAndDomain , iso-dm:ClassOfRelativeLocation , iso-dm:ClassOfSpecialization , iso-dm:ClassOfConnectionOfIndividual , iso-dm:ClassOfPossibleRoleAndDomain , iso-dm:ClassOfUsageOfRepresentation , iso-dm:ClassOfCompositionOfIndividual , iso-dm:ClassOfApprovalByStatus , iso-dm:ClassOfCauseOfEndingOfClassOfIndividual , iso-dm:ClassOfLifecycleStage , iso-dm:ClassOfCauseOfBeginningOfClassOfIndividual , iso-dm:ClassOfTemporalSequence , iso-dm:ClassOfResponsibilityForRepresentation , iso-dm:ClassOfRepresentationOfThing , iso-dm:ClassOfInvolvementByReference .

iso-dm:ClassOfApprovalByStatus
      pca-dmdoc:definition
              "A [class_of_approval_by_status] is a [class_of_relationship] that indicates a status of the approval that is independent of what is being approved by whom." ;
      pca-dmdoc:example "EXAMPLE	approved, approved with comments, disapproved with comments are examples of [class_of_approval_by_status]." ;
      owl:disjointWith iso-dm:ClassOfInvolvementByReference , iso-dm:ClassOfFunctionalMapping , iso-dm:PropertyForShapeDimension , iso-dm:ClassOfLifecycleStage , iso-dm:ClassOfIndirectProperty , iso-dm:ClassOfRelativeLocation , iso-dm:ClassOfPossibleRoleAndDomain , iso-dm:DimensionOfIndividual , iso-dm:ClassOfRepresentationOfThing , iso-dm:ClassOfCauseOfEndingOfClassOfIndividual , iso-dm:ClassOfAssertion , iso-dm:ClassOfUsageOfRepresentation , iso-dm:ClassOfRepresentationTranslation , iso-dm:ClassOfSpecialization , iso-dm:ClassOfTemporalSequence , iso-dm:ClassOfCauseOfBeginningOfClassOfIndividual , iso-dm:ClassOfResponsibilityForRepresentation , iso-dm:ClassOfCompositionOfIndividual , iso-dm:ClassOfIndividualUsedInConnection , iso-dm:ClassOfRelationshipWithSignature , iso-dm:ClassOfConnectionOfIndividual , iso-dm:ClassOfClassification , iso-dm:ClassOfIntendedRoleAndDomain , iso-dm:ClassOfRecognition .

iso-dm:ClassOfArrangedIndividual
      pca-dmdoc:definition
              "A [class_of_arranged_individual] is a [class_of_individual] whose members have a distinct form that may arise from the arrangement of their parts." ;
      pca-dmdoc:example "EXAMPLE	Robocop is a [class_of_arranged_individual] that has some parts that are members of some [class_of_inanimate_physical_object] and parts that are members of some [class_of_organism]." ;
      pca-dmdoc:note """NOTE 1	The ONEOF constraint on some of the subtypes does not prevent a particular [possible_individual] from being, say, a member of a particular [arranged_individual] classified by [class_of_biological_matter] and a member of a particular [class_of_composite_material]. It is only the classes themselves that are not members of more than one of the entity types.
NOTE 2	Specifications or descriptions of useful objects are often intersections of several arrangement classes, allowing both shape and material aspects to be constrained. In this part of ISO 15926, such intersections are members of [class_of_arranged_individual], [class_of_feature], [class_of_inanimate_physical_object], [class_of_organization], [class_of_activity], [class_of_organism], or [class_of_information_object].""" ;
      owl:disjointWith iso-dm:Property , iso-dm:Status , iso-dm:IndividualDimension , iso-dm:ClassOfPeriodInTime .

iso-dm:ClassOfArrangementOfIndividual
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfArrangedIndividual ;
                owl:onProperty pca-dm:hasClassOfWhole
              ] ;
      pca-dmdoc:definition
              "A [class_of_arrangement_of_individual] is a [class_of_composition_of_individual] whose members are instances of [arrangement_of_individual]." ;
      pca-dmdoc:example "EXAMPLE	The fact that water is made up of H2O molecules is an instance of [class_of_arrangement_of_individual]." ;
      owl:disjointWith iso-dm:ClassOfParticipation , iso-dm:ClassOfTemporalWholePart .

iso-dm:ClassOfAssemblyOfIndividual
      pca-dmdoc:definition
              "A [class_of_assembly_of_individual] is a [class_of_arrangement_of_individual] whose members are instances of [assembly_of_individual]." ;
      pca-dmdoc:example "EXAMPLE	 That impellers are parts of centrifugal pumps is a [class_of_assembly_of_individual]." ;
      owl:disjointWith iso-dm:Namespace .

iso-dm:ClassOfAssertion
      pca-dmdoc:definition
              "A [class_of_assertion] is a [class_of_relationship] that describes the assertive nature of the member relations." ;
      pca-dmdoc:example "EXAMPLE	Asserting, denying, and probabilistic can be represented by instances of [class_of_assertion]." ;
      owl:disjointWith iso-dm:ClassOfRelativeLocation , iso-dm:DimensionOfIndividual , iso-dm:ClassOfSpecialization , iso-dm:ClassOfUsageOfRepresentation , iso-dm:PropertyForShapeDimension , iso-dm:ClassOfRecognition , iso-dm:ClassOfRelationshipWithSignature , iso-dm:ClassOfRepresentationOfThing , iso-dm:ClassOfRepresentationTranslation , iso-dm:ClassOfTemporalSequence , iso-dm:ClassOfResponsibilityForRepresentation , iso-dm:ClassOfPossibleRoleAndDomain .

iso-dm:ClassOfAtom
      pca-dmdoc:definition
              "A [class_of_atom] is a [class_of_arranged_individual] whose members are atoms." ;
      pca-dmdoc:example "EXAMPLE	All entries in the periodic table of elements can be represented by instances of [class_of_atom]." ;
      owl:disjointWith iso-dm:ClassOfCompositeMaterial , iso-dm:ClassOfBiologicalMatter , iso-dm:ClassOfInformationRepresentation , iso-dm:ClassOfInformationPresentation , iso-dm:ClassOfSubAtomicParticle , iso-dm:CrystallineStructure , iso-dm:Phase , iso-dm:ClassOfCompound , iso-dm:ClassOfMolecule , iso-dm:ClassOfParticulateMaterial , iso-dm:ClassOfFunctionalObject .

iso-dm:ClassOfBiologicalMatter
      pca-dmdoc:definition
              "A [class_of_biological_matter] is a [class_of_arranged_individual] whose members are particular types of cell or aggregations of cells." ;
      pca-dmdoc:example "EXAMPLE	The classes known as 'blood', 'enzyme', and 'plasma' can be represented by instances of [class_of_biological_matter]." ;
      owl:disjointWith iso-dm:ClassOfInformationRepresentation , iso-dm:ClassOfFunctionalObject , iso-dm:ClassOfSubAtomicParticle , iso-dm:ClassOfInformationPresentation , iso-dm:ClassOfMolecule , iso-dm:ClassOfCompositeMaterial , iso-dm:Phase , iso-dm:ClassOfParticulateMaterial , iso-dm:CrystallineStructure , iso-dm:ClassOfCompound .

iso-dm:ClassOfCauseOfBeginningOfClassOfIndividual
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfCauser
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfIndividual ;
                owl:onProperty pca-dm:hasClassOfBegun
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfActivity ;
                owl:onProperty pca-dm:hasClassOfCauser
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfBegun
              ] ;
      pca-dmdoc:definition
              "A [class_of_cause_of_beginning_of_class_of_individual] is a [class_of_relationship] that indicates that a member of a [class_of_activity] causes the beginning of a member of a [class_of_individual]." ;
      pca-dmdoc:example "EXAMPLE	A car manufacturing activity causes the beginning of a car." ;
      owl:disjointWith iso-dm:ClassOfLifecycleStage , iso-dm:ClassOfConnectionOfIndividual , iso-dm:ClassOfIndirectProperty , iso-dm:ClassOfAssertion , iso-dm:ClassOfUsageOfRepresentation , iso-dm:ClassOfRelativeLocation , iso-dm:ClassOfSpecialization , iso-dm:ClassOfFunctionalMapping , iso-dm:ClassOfResponsibilityForRepresentation , iso-dm:ClassOfTemporalSequence , iso-dm:DimensionOfIndividual , iso-dm:ClassOfRepresentationOfThing , iso-dm:ClassOfPossibleRoleAndDomain , iso-dm:ClassOfClassification , iso-dm:ClassOfCompositionOfIndividual , iso-dm:ClassOfInvolvementByReference , iso-dm:ClassOfRepresentationTranslation , iso-dm:ClassOfRelationshipWithSignature , iso-dm:ClassOfRecognition , iso-dm:ClassOfIntendedRoleAndDomain , iso-dm:PropertyForShapeDimension , iso-dm:ClassOfCauseOfEndingOfClassOfIndividual , iso-dm:ClassOfIndividualUsedInConnection .

iso-dm:ClassOfCauseOfEndingOfClassOfIndividual
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfEnded
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfIndividual ;
                owl:onProperty pca-dm:hasClassOfEnded
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfActivity ;
                owl:onProperty pca-dm:hasClassOfCauser
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfCauser
              ] ;
      pca-dmdoc:definition
              "A [class_of_cause_of_ending_of_class_of_individual] is a [class_of_relationship] that indicates that a member of the [class_of_activity] causes the ending of a member of the [class_of_individual]." ;
      pca-dmdoc:example "EXAMPLE	A car crushing activity causes the end of the life of a car." ;
      owl:disjointWith iso-dm:ClassOfRecognition , iso-dm:ClassOfLifecycleStage , iso-dm:ClassOfIndirectProperty , iso-dm:ClassOfPossibleRoleAndDomain , iso-dm:ClassOfResponsibilityForRepresentation , iso-dm:ClassOfRepresentationOfThing , iso-dm:ClassOfFunctionalMapping , iso-dm:ClassOfRepresentationTranslation , iso-dm:PropertyForShapeDimension , iso-dm:ClassOfTemporalSequence , iso-dm:ClassOfIntendedRoleAndDomain , iso-dm:ClassOfCompositionOfIndividual , iso-dm:ClassOfIndividualUsedInConnection , iso-dm:DimensionOfIndividual , iso-dm:ClassOfUsageOfRepresentation , iso-dm:ClassOfConnectionOfIndividual , iso-dm:ClassOfSpecialization , iso-dm:ClassOfAssertion , iso-dm:ClassOfInvolvementByReference , iso-dm:ClassOfRelativeLocation , iso-dm:ClassOfClassification , iso-dm:ClassOfRelationshipWithSignature .

iso-dm:ClassOfClass
      pca-dmdoc:definition
              "A [class_of_class] is a [class] whose members are instances of [class]." ;
      pca-dmdoc:note "NOTE	When it is necessary to classify a [class_of_class], another [class_of_class] can be used. This is because a [class_of_class] is a [class]." .

iso-dm:ClassOfClassOfComposition
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfClassOfIndividual ;
                owl:onProperty pca-dm:hasClassOfClassOfPart
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfClassOfWhole
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfClassOfPart
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfClassOfIndividual ;
                owl:onProperty pca-dm:hasClassOfClassOfWhole
              ] ;
      pca-dmdoc:definition
              "A [class_of_class_of_composition] is a [class_of_class_of_relationship] whose members are instances of [class_of_composition_of_individual]. It indicates that a member of a member of the class_of_class_of_part is a part of a member of an instance of the class_of_class_of_whole." ;
      pca-dmdoc:example "EXAMPLE	Toxicity description is a class_of_class_of_part of a material data sheet, where the description \"has carcinogenic components\" is a class_of_part on the Mogas Material Safety Data Sheet, and copy #5 of the Mogas Material Safety Data Sheet has \"has carcinogenic components\" as a part." ;
      owl:disjointWith iso-dm:ClassOfClassOfRepresentationTranslation , iso-dm:ClassOfDimensionForShape , iso-dm:ClassOfScale , iso-dm:PropertySpaceForClassOfShapeDimension , iso-dm:ClassOfClassOfUsageOfRepresentation , iso-dm:ClassOfClassOfRepresentation , iso-dm:ClassOfClassOfResponsibilityForRepresentation , iso-dm:ClassOfClassOfRelationshipWithSignature , iso-dm:DimensionOfShape , iso-dm:ClassOfNamespace .

iso-dm:ClassOfClassOfDefinition
      pca-dmdoc:definition
              "A [class_of_class_of_definition] is a [class_of_class_of_representation] whose members are members of [class_of_definition]." ;
      pca-dmdoc:example "EXAMPLE	Normative, is a [class_of_class_of_definition]." .

iso-dm:ClassOfClassOfDescription
      pca-dmdoc:definition
              "A [class_of_class_of_description] is a [class_of_class_of_representation] whose members are members of [class_of_description]." ;
      pca-dmdoc:example "EXAMPLE	Service description is a [class_of_class_of_description]." .

iso-dm:ClassOfClassOfIdentification
      pca-dmdoc:definition
              "A [class_of_class_of_identification] is a [class_of_class_of_representation] whose members are members of [class_of_identification]." ;
      pca-dmdoc:example "EXAMPLE	The link between the [class] 'family of manufactured parts' and the [representation_form] 'ISO 13584 Basic Semantic Unit', that indicates that part families can be identified using ISO 13584, can be represented by an instance of [class_of_class_of_identification]." .

iso-dm:ClassOfClassOfIndividual
      pca-dmdoc:definition
              "A [class_of_class_of_individual] is a [class_of_class] whose members are instances of [class_of_individual]." ;
      pca-dmdoc:example "EXAMPLE	\"Premium Product\" is a [class_of_class_of_individual] that has [class_of_individual] \"mogas\" as a member." ;
      owl:disjointWith iso-dm:ClassOfPropertySpace , iso-dm:ClassOfShapeDimension , iso-dm:ClassOfNumber , iso-dm:ClassOfClassOfRelationship .

iso-dm:ClassOfClassOfInformationRepresentation
      pca-dmdoc:definition
              "A [class_of_class_of_information_representation] is a [class_of_class_of_individual] that classifies information representation classes." ;
      pca-dmdoc:example "EXAMPLE	Integer Octal is a [class_of_class_of_information_representation] whose members are all the information representation classes that correspond to Octal formatted integers." ;
      owl:disjointWith iso-dm:ShapeDimension , iso-dm:ClassOfStatus , iso-dm:ClassOfProperty .

iso-dm:ClassOfClassOfRelationship
      pca-dmdoc:definition
              "A [class_of_class_of_relationship] is a [class_of_class] whose members are instances of [class_of_relationship]." ;
      pca-dmdoc:example "EXAMPLE	Reflexive is an example of [class_of_class_of_relationship]. A reflexive [class_of_relationship] is one that may have the same [thing] playing both roles, such as connection, where something may be connected to itself." ;
      owl:disjointWith iso-dm:ClassOfShapeDimension , iso-dm:ClassOfPropertySpace , iso-dm:ClassOfNumber .

iso-dm:ClassOfClassOfRelationshipWithSignature
      pca-dmdoc:definition
              "An [class_of_class_of_relationship_with_signature] is a [class_of_class_of_relationship] and [class_of_relationship_with_signature]. The purpose of [class_of_class_of_relationship_with_signature] is to allow other types of classes of relationship, not explicitly defined as entity data types in this part of ISO 15926, to be defined as reference data." ;
      pca-dmdoc:example "EXAMPLE	Transitive, with the roles from and to indicating the direction of transitivity, is a [class_of_class_of_relationship_with_signature]. A [class_of_relationship] is transitive if when A relates to B and B relates to C then A relates to C, all in the same way." ;
      owl:disjointWith iso-dm:PropertySpaceForClassOfShapeDimension , iso-dm:ClassOfClassOfResponsibilityForRepresentation , iso-dm:ClassOfClassOfRepresentationTranslation , iso-dm:ClassOfDimensionForShape , iso-dm:ClassOfScale , iso-dm:ClassOfNamespace , iso-dm:ClassOfClassOfUsageOfRepresentation , iso-dm:DimensionOfShape , iso-dm:ClassOfClassOfRepresentation .

iso-dm:ClassOfClassOfRepresentation
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Class ;
                owl:onProperty pca-dm:hasClassOfRepresented
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfRepresented
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfPattern
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfClassOfInformationRepresentation ;
                owl:onProperty pca-dm:hasClassOfPattern
              ] ;
      pca-dmdoc:definition
              "A [class_of_class_of_representation] is a [class_of_class_of_relationship] whose members are instances of [class_of_representation_of_thing]." ;
      pca-dmdoc:example "EXAMPLE	The link that indicates that members of the class 'document' can be represented by patterns of the class 'XML' is a [class_of_class_of_representation]." ;
      owl:disjointWith iso-dm:ClassOfClassOfRepresentationTranslation , iso-dm:PropertySpaceForClassOfShapeDimension , iso-dm:DimensionOfShape , iso-dm:ClassOfNamespace , iso-dm:ClassOfClassOfUsageOfRepresentation , iso-dm:ClassOfScale , iso-dm:ClassOfDimensionForShape , iso-dm:ClassOfClassOfResponsibilityForRepresentation .

iso-dm:ClassOfClassOfRepresentationTranslation
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfSecond
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfClassOfInformationRepresentation ;
                owl:onProperty pca-dm:hasClassOfFirst
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfFirst
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfClassOfInformationRepresentation ;
                owl:onProperty pca-dm:hasClassOfSecond
              ] ;
      pca-dmdoc:definition
              "A [class_of_class_of_representation_translation] is a [class_of_class_of_relationship] whose members are members of [class_of_representation_translation]." ;
      pca-dmdoc:example "EXAMPLE	The class ASCII whose members include all translation classes between members of the ASCII Binary and ASCII Text representation classes is a [class_of_class_of_representation_translation]." ;
      owl:disjointWith iso-dm:ClassOfClassOfUsageOfRepresentation , iso-dm:ClassOfClassOfResponsibilityForRepresentation , iso-dm:DimensionOfShape , iso-dm:ClassOfScale , iso-dm:ClassOfDimensionForShape , iso-dm:ClassOfNamespace , iso-dm:PropertySpaceForClassOfShapeDimension .

iso-dm:ClassOfClassOfResponsibilityForRepresentation
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasController
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:PossibleIndividual ;
                owl:onProperty pca-dm:hasController
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfClassOfControlled
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfClassOfRepresentation ;
                owl:onProperty pca-dm:hasClassOfClassOfControlled
              ] ;
      pca-dmdoc:definition
              "A [class_of_class_of_responsibility_for_representation] is a [class_of_class_of_relationship] whose members are members of [class_of_responsibility_for_representation] linking the controller to a set of representations." ;
      pca-dmdoc:example "EXAMPLE	The link between Weir and the identification set between Weir pumps and Weir serial numbers indicating that the  identifications are defined by Weir can be represented by an instance of [class_of_class_of_responsibility_for_representation]." ;
      owl:disjointWith iso-dm:PropertySpaceForClassOfShapeDimension , iso-dm:ClassOfDimensionForShape , iso-dm:ClassOfNamespace , iso-dm:ClassOfScale , iso-dm:DimensionOfShape , iso-dm:ClassOfClassOfUsageOfRepresentation .

iso-dm:ClassOfClassOfUsageOfRepresentation
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:PossibleIndividual ;
                owl:onProperty pca-dm:hasUser
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfClassOfRepresentation ;
                owl:onProperty pca-dm:hasClassOfClassOfUsed
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfClassOfUsed
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasUser
              ] ;
      pca-dmdoc:definition
              "A [class_of_class_of_usage_of_representation] is a [class_of_class_of_relationship] whose members are members of [class_of_usage_of_representation] linking the user to a set of representations." ;
      pca-dmdoc:example "EXAMPLE	The link between a user company and the identification set between Weir pumps and Weir serial numbers indicating that the user company uses the Weir identifiers can be represented by an instance of [class_of_class_of_usage_of_representation]." ;
      owl:disjointWith iso-dm:PropertySpaceForClassOfShapeDimension , iso-dm:ClassOfDimensionForShape , iso-dm:ClassOfScale , iso-dm:DimensionOfShape , iso-dm:ClassOfNamespace .

iso-dm:ClassOfClassification
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Class ;
                owl:onProperty pca-dm:hasClassOfClassified
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfClassified
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfClass ;
                owl:onProperty pca-dm:hasClassOfClassifier
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfClassifier
              ] ;
      pca-dmdoc:definition
              "A [class_of_classification] is a [class_of_relationship] whose members are members of [classification]. A [class_of_classification] indicates that a member of the class_of_classified [class] is classified by one or more members of the class_of_classifier [class_of_class]." ;
      pca-dmdoc:example "EXAMPLE	The link between [class] centrifugal pump and the [class_of_property] RPM, indicating that a centrifugal pump is a member of at least one RPM class, can be represented by an instance of [class_of_classification]." ;
      owl:disjointWith iso-dm:ClassOfInvolvementByReference , iso-dm:ClassOfPossibleRoleAndDomain , iso-dm:ClassOfTemporalSequence , iso-dm:ClassOfRepresentationTranslation , iso-dm:ClassOfCompositionOfIndividual , iso-dm:ClassOfResponsibilityForRepresentation , iso-dm:PropertyForShapeDimension , iso-dm:ClassOfIntendedRoleAndDomain , iso-dm:ClassOfConnectionOfIndividual , iso-dm:ClassOfRepresentationOfThing , iso-dm:DimensionOfIndividual , iso-dm:ClassOfRecognition , iso-dm:ClassOfLifecycleStage , iso-dm:ClassOfAssertion , iso-dm:ClassOfUsageOfRepresentation , iso-dm:ClassOfFunctionalMapping , iso-dm:ClassOfIndirectProperty , iso-dm:ClassOfRelationshipWithSignature , iso-dm:ClassOfSpecialization , iso-dm:ClassOfIndividualUsedInConnection , iso-dm:ClassOfRelativeLocation .

iso-dm:ClassOfCompositeMaterial
      pca-dmdoc:definition
              "A [class_of_composite_material] is a [class_of_arranged_individual] whose members have a common arrangement of separable compounds." ;
      pca-dmdoc:example """EXAMPLE 1	Laminates such as plywood, fibreglass, and carbon fibre can be represented by instances of [class_of_composite_material].
EXAMPLE 2	Wood, muscle, and skin can be represented by instances of [class_of_composite_material].""" ;
      owl:disjointWith iso-dm:ClassOfSubAtomicParticle , iso-dm:Phase , iso-dm:ClassOfCompound , iso-dm:CrystallineStructure , iso-dm:ClassOfFunctionalObject , iso-dm:ClassOfParticulateMaterial , iso-dm:ClassOfInformationRepresentation , iso-dm:ClassOfMolecule , iso-dm:ClassOfInformationPresentation .

iso-dm:ClassOfCompositionOfIndividual
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfIndividual ;
                owl:onProperty pca-dm:hasClassOfWhole
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfIndividual ;
                owl:onProperty pca-dm:hasClassOfPart
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfWhole
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfPart
              ] ;
      pca-dmdoc:definition
              "A [class_of_composition_of_individual] is a [class_of_relationship] whose members are members of [composition_of_individual]." ;
      pca-dmdoc:example "EXAMPLE	That piles of sand may have grains of sand as parts is an example of [class_of_composition_of_individual]." ;
      owl:disjointWith iso-dm:ClassOfAssertion , iso-dm:ClassOfResponsibilityForRepresentation , iso-dm:ClassOfRelativeLocation , iso-dm:PropertyForShapeDimension , iso-dm:DimensionOfIndividual , iso-dm:ClassOfPossibleRoleAndDomain , iso-dm:ClassOfTemporalSequence , iso-dm:ClassOfFunctionalMapping , iso-dm:ClassOfConnectionOfIndividual , iso-dm:ClassOfIntendedRoleAndDomain , iso-dm:ClassOfRelationshipWithSignature , iso-dm:ClassOfRepresentationTranslation , iso-dm:ClassOfUsageOfRepresentation , iso-dm:ClassOfIndividualUsedInConnection , iso-dm:ClassOfRecognition , iso-dm:ClassOfIndirectProperty , iso-dm:ClassOfLifecycleStage , iso-dm:ClassOfSpecialization , iso-dm:ClassOfInvolvementByReference , iso-dm:ClassOfRepresentationOfThing .

iso-dm:ClassOfCompound
      pca-dmdoc:definition
              "A [class_of_compound] is a [class_of_arranged_individual] whose members consist of arrangements of molecules of the same or different types, bound together by intermolecular forces. This includes both mixtures and alloys." ;
      pca-dmdoc:example "EXAMPLE	Water, sulphuric acid, sand, limestone, and steel can be represented by instances of [class_of_compound]." ;
      pca-dmdoc:note "NOTE  Compound is being used here in a more general sense than chemical compound." ;
      owl:disjointWith iso-dm:ClassOfInformationRepresentation , iso-dm:ClassOfMolecule , iso-dm:CrystallineStructure , iso-dm:ClassOfInformationPresentation , iso-dm:Phase , iso-dm:ClassOfSubAtomicParticle , iso-dm:ClassOfFunctionalObject , iso-dm:ClassOfParticulateMaterial .

iso-dm:ClassOfConnectionOfIndividual
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfIndividual ;
                owl:onProperty pca-dm:hasClassOfSide2
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfSide1
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfSide2
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfIndividual ;
                owl:onProperty pca-dm:hasClassOfSide1
              ] ;
      pca-dmdoc:definition
              "A [class_of_connection_of_individual] is a [class_of_relationship] whose members are members of [connection_of_individual]. It indicates that a member of the class_of_side_1 [class_of_individual] can be connected to a member of the class_of_side_2 [class_of_individual]." ;
      pca-dmdoc:example "EXAMPLE	Electrical connection between wires is a [class_of_connection_of_individual]." ;
      pca-dmdoc:note """NOTE 1	The class_of_side_1 and class_of_side_2 indicate the [class_of_individual] that is the side_1 and side_2 respectively in a [connection_of_individual] that is a member of this [class_of_connection_of_individual].
NOTE 2	Flexible, rigid, and welded cannot be represented as instances of [class_of_connection_of_individual], these are classes of the materials connected or used in the connection.""" ;
      owl:disjointWith iso-dm:ClassOfRecognition , iso-dm:ClassOfPossibleRoleAndDomain , iso-dm:ClassOfRepresentationTranslation , iso-dm:ClassOfIntendedRoleAndDomain , iso-dm:PropertyForShapeDimension , iso-dm:ClassOfAssertion , iso-dm:ClassOfFunctionalMapping , iso-dm:ClassOfSpecialization , iso-dm:ClassOfResponsibilityForRepresentation , iso-dm:ClassOfInvolvementByReference , iso-dm:ClassOfUsageOfRepresentation , iso-dm:ClassOfRelationshipWithSignature , iso-dm:ClassOfIndirectProperty , iso-dm:ClassOfRepresentationOfThing , iso-dm:ClassOfIndividualUsedInConnection , iso-dm:ClassOfTemporalSequence , iso-dm:ClassOfRelativeLocation , iso-dm:ClassOfLifecycleStage , iso-dm:DimensionOfIndividual ;
      owl:equivalentClass
              [ owl:unionOf (iso-dm:ClassOfDirectConnection iso-dm:ClassOfIndirectConnection)
              ] .

iso-dm:ClassOfContainmentOfIndividual
      pca-dmdoc:definition
              "A [class_of_containment_of_individual] is a [class_of_relative_location] whose members are instances of [containment_of_individual]. It indicates that a member of the class_of_locator [class_of_individual] can contain a member of the class_of_located [class_of_individual]." ;
      pca-dmdoc:example "EXAMPLE	That 'de-icing fluid' can be contained by a '1500ml screw-top plastic bottle' is a [class_of_containment_of_individual]." .

iso-dm:ClassOfDefinition
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Class ;
                owl:onProperty pca-dm:hasRepresented
              ] ;
      pca-dmdoc:definition
              "A [class_of_definition] is a [class_of_representation_of_thing] that indicates the pattern is a definition of the represented [class]." ;
      pca-dmdoc:example "EXAMPLE	The link between the pattern 'something that moves liquid' and the [class] that goes by the name 'pump' in English can be represented by an instance of [class_of_definition]." .

iso-dm:ClassOfDescription
      pca-dmdoc:definition
              "A [class_of_description] is a [class_of_representation_of_thing] that indicates the pattern is a description of the represented [thing]." ;
      pca-dmdoc:example "EXAMPLE	The link between the pattern 'this is an old bilge pump' and a particular pump can be represented by an instance of [class_of_description]." .

iso-dm:ClassOfDimensionForShape
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfShapeDimension ;
                owl:onProperty pca-dm:hasClassOfDimension
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfShape
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfShape ;
                owl:onProperty pca-dm:hasClassOfShape
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfDimension
              ] ;
      pca-dmdoc:definition
              "A [class_of_dimension_for_shape] is a [class_of_class_of_relationship] that indicates that members of the class_of_shape have a dimension that is a member of the class_of_dimension." ;
      pca-dmdoc:example "EXAMPLE	Specifying that members of the \"class of circle\" have members of \"class of diameter\" is an instance of [class_of_dimension_for_shape]." ;
      owl:disjointWith iso-dm:DimensionOfShape , iso-dm:ClassOfNamespace , iso-dm:PropertySpaceForClassOfShapeDimension , iso-dm:ClassOfScale .

iso-dm:ClassOfDirectConnection
      pca-dmdoc:definition
              "A [class_of_direct_connection] is a [class_of_connection_of_individual] whose members are members of [direct_connection]." ;
      pca-dmdoc:example "EXAMPLE	Three-pin electrical plug into three-pin socket is an example of [class_of_direct_connection]." ;
      owl:disjointWith iso-dm:ClassOfIndirectConnection .

iso-dm:ClassOfEvent
      pca-dmdoc:definition
              "A [class_of_event] is a [class_of_individual] whose members are members of [event]." ;
      pca-dmdoc:example "EXAMPLE	Continuous and instantaneous are instances of [class_of_event]. A continuous event is one such as a stream boundary flowing through a pipe." ;
      owl:disjointWith iso-dm:IndividualDimension , iso-dm:Property , iso-dm:Status , iso-dm:ClassOfPeriodInTime , iso-dm:ClassOfArrangedIndividual .

iso-dm:ClassOfExpressInformationRepresentation
      pca-dmdoc:definition
              "A [class_of_EXPRESS_information_representation] is a [class_of_information_representation] that is defined by ISO 10303-11." ;
      owl:disjointWith iso-dm:RepresentationOfGregorianDateAndUtcTime ;
      owl:equivalentClass
              [ owl:unionOf (iso-dm:ExpressBinary iso-dm:ExpressBoolean iso-dm:ExpressInteger iso-dm:ExpressLogical iso-dm:ExpressReal iso-dm:ExpressString)
              ] .

iso-dm:ClassOfFeature
      pca-dmdoc:definition
              "A [class_of_feature] is a [class_of_arranged_individual] whose members are contiguous, non-separable parts of some [possible_individual] and have an incompletely defined boundary." ;
      pca-dmdoc:example "EXAMPLE	The classes known as 'mountain', 'groove', 'rim', 'nozzle', 'nose', and 'raised face' can all be represented as instances of [class_of_feature]." .

iso-dm:ClassOfFeatureWholePart
      pca-dmdoc:definition
              "A [class_of_feature_whole_part] is a [class_of_arrangement_of_individual] whose members are instances of [feature_whole_part]." ;
      pca-dmdoc:example "EXAMPLE	Thermowells have stems, and tables have tops are examples of [class_of_feature_whole_part]." ;
      owl:disjointWith iso-dm:Namespace , iso-dm:ClassOfAssemblyOfIndividual .

iso-dm:ClassOfFunctionalMapping
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Class ;
                owl:onProperty pca-dm:hasCodomain
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasDomain
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasCodomain
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Class ;
                owl:onProperty pca-dm:hasDomain
              ] ;
      pca-dmdoc:definition
              "A [class_of_functional_mapping] is a [class_of_relationship] that is a many to one mapping. A [class_of_functional_mapping] is a function." ;
      pca-dmdoc:example "EXAMPLE	Minus is an example of [class_of_functional_mapping]." ;
      pca-dmdoc:note """NOTE 1	This entity type would naturally have the name of function, but this is an EXPRESS reserved word.
NOTE 2	The significance of a function being a many to one mapping is that the same answer is always obtained. So, for example, 5 - 3 always gives 2. Note that the minus function on two other arguments can also give 2.
NOTE 3	When there are several arguments to a function, then these are presented in a [multidimensional_object].""" ;
      owl:disjointWith iso-dm:ClassOfRelativeLocation , iso-dm:ClassOfRepresentationOfThing , iso-dm:ClassOfRelationshipWithSignature , iso-dm:DimensionOfIndividual , iso-dm:ClassOfIntendedRoleAndDomain , iso-dm:ClassOfInvolvementByReference , iso-dm:ClassOfPossibleRoleAndDomain , iso-dm:ClassOfAssertion , iso-dm:ClassOfRecognition , iso-dm:PropertyForShapeDimension , iso-dm:ClassOfLifecycleStage , iso-dm:ClassOfSpecialization , iso-dm:ClassOfRepresentationTranslation , iso-dm:ClassOfIndirectProperty , iso-dm:ClassOfIndividualUsedInConnection , iso-dm:ClassOfResponsibilityForRepresentation , iso-dm:ClassOfUsageOfRepresentation , iso-dm:ClassOfTemporalSequence .

iso-dm:ClassOfFunctionalObject
      pca-dmdoc:definition
              "A [class_of_functional_object] is a [class_of_arranged_individual] that indicates the function or purpose of an object." ;
      pca-dmdoc:example "EXAMPLE	Pump, valve, and car are examples of [class_of_functional_object]. Particular models of pump, valve, car, etc are instances of [class_of_inanimate_physical_object] that are specializations of these instances of [class_of_functional_object]." ;
      owl:disjointWith iso-dm:ClassOfMolecule , iso-dm:CrystallineStructure , iso-dm:ClassOfInformationRepresentation , iso-dm:ClassOfSubAtomicParticle , iso-dm:ClassOfInformationPresentation , iso-dm:Phase , iso-dm:ClassOfParticulateMaterial .

iso-dm:ClassOfIdentification
      pca-dmdoc:definition
              "A [class_of_identification] is a [class_of_representation_of_thing] that indicates that the pattern is used to refer to the represented thing." ;
      pca-dmdoc:example "EXAMPLE	The link between the pattern 'AC-1234' and a particular pump, indicating that members of 'AC-1234' are used to refer to the pump, can be represented by an instance of [class_of_identification]." .

iso-dm:ClassOfInanimatePhysicalObject
      pca-dmdoc:definition
              "A [class_of_inanimate_physical_object] is a  [class_of_arranged_individual] whose members are not living." ;
      pca-dmdoc:example "EXAMPLE	The class known as 'oil' can be represented by an instance of [class_of_inanimate_physical_object]." .

iso-dm:ClassOfIndirectConnection
      pca-dmdoc:definition
              "A [class_of_indirect_connection] is a [class_of_connection_of_individual] whose members are members of [indirect_connection]." ;
      pca-dmdoc:example "EXAMPLE	Drip pipe indirectly connected to drain funnel is an example of [class_of_indirect_connection]." .

iso-dm:ClassOfIndirectProperty
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasPropertySpace
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfPossessor
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfIndividual ;
                owl:onProperty pca-dm:hasClassOfPossessor
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:PropertySpace ;
                owl:onProperty pca-dm:hasPropertySpace
              ] ;
      pca-dmdoc:definition
              "A [class_of_indirect_property] is a [class_of_relationship] that indicates that a member of the [class_of_individual] can possess a member of the [class_of_property] as an [indirect_property] of this type." ;
      pca-dmdoc:example "EXAMPLE	Maximum Allowable Working Pressure is a [class_of_indirect_property] that is indicated by a pressure, and can be possessed by a pressure vessel." ;
      owl:disjointWith iso-dm:ClassOfRecognition , iso-dm:ClassOfAssertion , iso-dm:ClassOfRelationshipWithSignature , iso-dm:ClassOfPossibleRoleAndDomain , iso-dm:ClassOfLifecycleStage , iso-dm:ClassOfUsageOfRepresentation , iso-dm:ClassOfResponsibilityForRepresentation , iso-dm:ClassOfRelativeLocation , iso-dm:ClassOfInvolvementByReference , iso-dm:ClassOfRepresentationOfThing , iso-dm:ClassOfTemporalSequence , iso-dm:PropertyForShapeDimension , iso-dm:ClassOfRepresentationTranslation , iso-dm:ClassOfIntendedRoleAndDomain , iso-dm:ClassOfSpecialization , iso-dm:DimensionOfIndividual , iso-dm:ClassOfIndividualUsedInConnection .

iso-dm:ClassOfIndividual
      pca-dmdoc:definition
              "A [class_of_individual] is a [class] whose members are all instances of [possible_individual]." ;
      pca-dmdoc:example """EXAMPLE 1 The class known as 'engineer', whose members are people qualified or skilled in engineering principles and practices is an instance of [class_of_individual].
EXAMPLE 2 The class known as 'pump', whose members can cause liquids to flow, is an instance of [class_of_individual].""" ;
      owl:disjointWith iso-dm:ClassOfAbstractObject .

iso-dm:ClassOfIndividualUsedInConnection
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfUsage
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfConnectionOfIndividual ;
                owl:onProperty pca-dm:hasClassOfConnection
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfIndividual ;
                owl:onProperty pca-dm:hasClassOfUsage
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfConnection
              ] ;
      pca-dmdoc:definition
              "A [class_of_individual_used_in_connection] is a [class_of_relationship] whose members are members of [individual_used_in_connection]. It indicates that a member of the [class_of_individual] is used in a [class_of_connection_of_individual]." ;
      pca-dmdoc:example "EXAMPLE	The link between the [class_of_connection_of_individual] that indicates that B12 type beams are connected to pipe hangers, and the [class_of_individual] \"20mm Diameter bolt\", that indicates that four 20mm diameter bolts are used in the connection of a pipe hanger to a type B12 beam can be represented by an instance of  [class_of_individual_involved_in_connection]." ;
      owl:disjointWith iso-dm:ClassOfPossibleRoleAndDomain , iso-dm:ClassOfRelativeLocation , iso-dm:ClassOfRelationshipWithSignature , iso-dm:ClassOfRecognition , iso-dm:ClassOfAssertion , iso-dm:ClassOfResponsibilityForRepresentation , iso-dm:ClassOfTemporalSequence , iso-dm:ClassOfRepresentationTranslation , iso-dm:ClassOfInvolvementByReference , iso-dm:ClassOfIntendedRoleAndDomain , iso-dm:DimensionOfIndividual , iso-dm:ClassOfRepresentationOfThing , iso-dm:ClassOfUsageOfRepresentation , iso-dm:PropertyForShapeDimension , iso-dm:ClassOfSpecialization , iso-dm:ClassOfLifecycleStage .

iso-dm:ClassOfInformationObject
      pca-dmdoc:definition
              "A [class_of_information_object] is a [class_of_arranged_individual] whose members are members of zero or more [class_of_information_representation] and of zero or more [class_of_information_presentation]." ;
      pca-dmdoc:example "EXAMPLE	Newspaper is a [class_of_information_object]." ;
      pca-dmdoc:note "NOTE	Usually, it is a physical_object (like a paper document) that is classified as a [class_of_information_object]." .

iso-dm:ClassOfInformationPresentation
      pca-dmdoc:definition
              "A [class_of_information_presentation] is a [class_of_arranged_individual] that distinguishes styles for presenting information. " ;
      pca-dmdoc:example "EXAMPLE	The character styles bold, italic, Times New Roman, and 16pt can be represented as instances of [class_of_information_presentation]." ;
      owl:disjointWith iso-dm:ClassOfParticulateMaterial , iso-dm:CrystallineStructure , iso-dm:ClassOfSubAtomicParticle , iso-dm:Phase , iso-dm:ClassOfMolecule , iso-dm:ClassOfInformationRepresentation .

iso-dm:ClassOfInformationRepresentation
      pca-dmdoc:definition
              "A [class_of_information_representation] is a  [class_of_arranged_individual] that defines a pattern that represents information." ;
      pca-dmdoc:example "EXAMPLE	The texts formed with the pattern of characters 's' concatenated with 'u' concatenated with 'n' are members of the 'sun' [class_of_information_representation]." ;
      owl:disjointWith iso-dm:ClassOfSubAtomicParticle , iso-dm:CrystallineStructure , iso-dm:Phase , iso-dm:ClassOfParticulateMaterial , iso-dm:ClassOfMolecule .

iso-dm:ClassOfIntendedRoleAndDomain
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfPlayer
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:RoleAndDomain ;
                owl:onProperty pca-dm:hasPlayed
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfIndividual ;
                owl:onProperty pca-dm:hasClassOfPlayer
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasPlayed
              ] ;
      pca-dmdoc:definition
              "A [class_of_intended_role_and_domain] is a [class_of_relationship] that indicates that a member of the [class_of_individual] is intended to act as a member of the [role_and_domain]." ;
      pca-dmdoc:example "EXAMPLE	Pumps are intended to play the [role_and_domain] of performer in some pumping activity." ;
      owl:disjointWith iso-dm:ClassOfRepresentationTranslation , iso-dm:ClassOfTemporalSequence , iso-dm:ClassOfRelationshipWithSignature , iso-dm:ClassOfInvolvementByReference , iso-dm:PropertyForShapeDimension , iso-dm:ClassOfLifecycleStage , iso-dm:ClassOfResponsibilityForRepresentation , iso-dm:ClassOfPossibleRoleAndDomain , iso-dm:ClassOfUsageOfRepresentation , iso-dm:ClassOfSpecialization , iso-dm:ClassOfRecognition , iso-dm:ClassOfRelativeLocation , iso-dm:DimensionOfIndividual , iso-dm:ClassOfRepresentationOfThing , iso-dm:ClassOfAssertion .

iso-dm:ClassOfInvolvementByReference
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfActivity ;
                owl:onProperty pca-dm:hasClassOfInvolver
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfInvolved
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:RoleAndDomain ;
                owl:onProperty pca-dm:hasClassOfInvolved
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfInvolver
              ] ;
      pca-dmdoc:definition
              "A [class_of_involvement_by_reference] is a [class_of_relationship] whose members are instances of [involvement_by_reference]." ;
      pca-dmdoc:example "EXAMPLE	Discussion of historical activities is an example of [class_of_involvement_by_reference]." ;
      owl:disjointWith iso-dm:ClassOfRelationshipWithSignature , iso-dm:PropertyForShapeDimension , iso-dm:ClassOfLifecycleStage , iso-dm:ClassOfRepresentationTranslation , iso-dm:ClassOfTemporalSequence , iso-dm:ClassOfRepresentationOfThing , iso-dm:ClassOfResponsibilityForRepresentation , iso-dm:ClassOfAssertion , iso-dm:ClassOfPossibleRoleAndDomain , iso-dm:ClassOfSpecialization , iso-dm:DimensionOfIndividual , iso-dm:ClassOfUsageOfRepresentation , iso-dm:ClassOfRelativeLocation , iso-dm:ClassOfRecognition .

iso-dm:ClassOfIsomorphicFunctionalMapping
      pca-dmdoc:definition
              "A [class_of_isomorphic_functional_mapping] is a [class_of_functional_mapping] that is isomorphic." ;
      pca-dmdoc:example "EXAMPLE	The natural logarithm function is a [class_of_isomorphic_functional_mapping]." .

iso-dm:ClassOfLeftNamespace
      pca-dmdoc:definition
              "A [class_of_left_namespace] is a [class_of_namespace] that indicates that the class_of_part is the left namespace for the members of the class_of_class_of_whole." ;
      pca-dmdoc:example "EXAMPLE	WC1: is the left namespace for customer site identifiers for Water Company 1." ;
      owl:disjointWith iso-dm:ClassOfRightNamespace .

iso-dm:ClassOfLifecycleStage
      pca-dmdoc:definition
              "A [class_of_lifecycle_stage] is a [class_of_relationship] whose members are members of [lifecycle_stage]." ;
      pca-dmdoc:example "EXAMPLE	Planned, required, expected, and proposed can be represented by instances of [class_of_lifecycle_stage]." ;
      owl:disjointWith iso-dm:ClassOfRelativeLocation , iso-dm:ClassOfResponsibilityForRepresentation , iso-dm:ClassOfRepresentationTranslation , iso-dm:ClassOfRelationshipWithSignature , iso-dm:ClassOfRecognition , iso-dm:ClassOfRepresentationOfThing , iso-dm:ClassOfTemporalSequence , iso-dm:PropertyForShapeDimension , iso-dm:ClassOfPossibleRoleAndDomain , iso-dm:ClassOfSpecialization , iso-dm:DimensionOfIndividual , iso-dm:ClassOfUsageOfRepresentation , iso-dm:ClassOfAssertion .

iso-dm:ClassOfMolecule
      pca-dmdoc:definition
              "A [class_of_molecule] is a [class_of_arranged_individual] whose members are molecules." ;
      pca-dmdoc:example "EXAMPLE	H2O, H2SO4, and DNA can be represented by instances of [class_of_molecule]." ;
      owl:disjointWith iso-dm:CrystallineStructure , iso-dm:Phase , iso-dm:ClassOfSubAtomicParticle , iso-dm:ClassOfParticulateMaterial .

iso-dm:ClassOfMultidimensionalObject
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasOptionalElement
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom
                        [ rdf:type owl:Class ;
                          owl:intersectionOf (list:OWLList [ rdf:type owl:Restriction ;
                                      owl:allValuesFrom iso-dm:ExpressBoolean ;
                                      owl:onProperty list:hasContents
                                    ] [ rdf:type owl:Restriction ;
                                      owl:allValuesFrom
                                              [ rdf:type owl:Class ;
                                                owl:intersectionOf (list:OWLList [ rdf:type owl:Restriction ;
                                                            owl:allValuesFrom iso-dm:ExpressBoolean ;
                                                            owl:onProperty list:hasContents
                                                          ])
                                              ] ;
                                      owl:onProperty list:isFollowedBy
                                    ])
                        ] ;
                owl:onProperty pca-dm:hasOptionalElement
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom
                        [ rdf:type owl:Class ;
                          owl:intersectionOf (list:OWLList [ rdf:type owl:Restriction ;
                                      owl:allValuesFrom iso-dm:ExpressInteger ;
                                      owl:onProperty list:hasContents
                                    ] [ rdf:type owl:Restriction ;
                                      owl:allValuesFrom
                                              [ rdf:type owl:Class ;
                                                owl:intersectionOf (list:OWLList [ rdf:type owl:Restriction ;
                                                            owl:allValuesFrom iso-dm:ExpressInteger ;
                                                            owl:onProperty list:hasContents
                                                          ])
                                              ] ;
                                      owl:onProperty list:isFollowedBy
                                    ])
                        ] ;
                owl:onProperty pca-dm:hasParameterPosition
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasRoles
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasCardinalities
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasParameterPosition
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom
                        [ rdf:type owl:Class ;
                          owl:intersectionOf (list:OWLList [ rdf:type owl:Restriction ;
                                      owl:allValuesFrom iso-dm:Thing ;
                                      owl:onProperty list:hasContents
                                    ] [ rdf:type owl:Restriction ;
                                      owl:allValuesFrom
                                              [ rdf:type owl:Class ;
                                                owl:intersectionOf (list:OWLList [ rdf:type owl:Restriction ;
                                                            owl:allValuesFrom iso-dm:Thing ;
                                                            owl:onProperty list:hasContents
                                                          ])
                                              ] ;
                                      owl:onProperty list:isFollowedBy
                                    ])
                        ] ;
                owl:onProperty pca-dm:hasParameters
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasParameters
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom
                        [ rdf:type owl:Class ;
                          owl:intersectionOf (list:OWLList [ rdf:type owl:Restriction ;
                                      owl:allValuesFrom iso-dm:RoleAndDomain ;
                                      owl:onProperty list:hasContents
                                    ] [ rdf:type owl:Restriction ;
                                      owl:allValuesFrom
                                              [ rdf:type owl:Class ;
                                                owl:intersectionOf (list:OWLList [ rdf:type owl:Restriction ;
                                                            owl:allValuesFrom iso-dm:RoleAndDomain ;
                                                            owl:onProperty list:hasContents
                                                          ])
                                              ] ;
                                      owl:onProperty list:isFollowedBy
                                    ])
                        ] ;
                owl:onProperty pca-dm:hasRoles
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom
                        [ rdf:type owl:Class ;
                          owl:intersectionOf (list:OWLList [ rdf:type owl:Restriction ;
                                      owl:allValuesFrom iso-dm:Cardinality ;
                                      owl:onProperty list:hasContents
                                    ] [ rdf:type owl:Restriction ;
                                      owl:allValuesFrom
                                              [ rdf:type owl:Class ;
                                                owl:intersectionOf (list:OWLList [ rdf:type owl:Restriction ;
                                                            owl:allValuesFrom iso-dm:Cardinality ;
                                                            owl:onProperty list:hasContents
                                                          ])
                                              ] ;
                                      owl:onProperty list:isFollowedBy
                                    ])
                        ] ;
                owl:onProperty pca-dm:hasCardinalities
              ] ;
      pca-dmdoc:definition
              "A [class_of_multidimensional_object] is a [class_of_abstract_object] whose members are instances of [multidimensional_object]. The role played by each position in the classified [multidimensional_object] is specified at the same position in the [roles] attribute. Constant values that apply to any position in [roles] are specified in the same position in the [parameters] attribute. The cardinalities for the roles attribute are specified by the same position in the cardinalities attribute." ;
      pca-dmdoc:example "EXAMPLE	The definition of the input to a function y = a + bx to convert Celsius to Fahrenheit with roles [a, b, x] defining the input [multidimensional_object], and parameters [32,1.8] with parameter_position list [1,2] is an example of a [class_of_multidimensional_object]." .

iso-dm:ClassOfNamespace
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfPart
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfClassOfInformationRepresentation ;
                owl:onProperty pca-dm:hasClassOfClassOfWhole
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfInformationRepresentation ;
                owl:onProperty pca-dm:hasClassOfPart
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfClassOfWhole
              ] ;
      pca-dmdoc:definition
              "A [class_of_namespace] is a [class_of_class_of_relationship] that indicates that a [class_of_information_representation] is the class_of_part used as a namespace for each member of a [class_of_class_of_information_representation] that is the class_of_class_of_whole." ;
      pca-dmdoc:example "EXAMPLE	WC1: is used as the name space for a set of water company identifiers." ;
      owl:disjointWith iso-dm:DimensionOfShape , iso-dm:ClassOfScale , iso-dm:PropertySpaceForClassOfShapeDimension .

iso-dm:ClassOfNumber
      pca-dmdoc:definition
              "A [class_of_number] is a [class_of_class] whose members are members of [arithmetic_number]." ;
      pca-dmdoc:example "EXAMPLE	The class of prime numbers can be represented by an instance [class_of_number]." ;
      owl:disjointWith iso-dm:ClassOfShapeDimension , iso-dm:ClassOfPropertySpace .

iso-dm:ClassOfOrganism
      pca-dmdoc:definition
              "A [class_of_organism] is a [class_of_arranged_individual] whose members are living organisms. " ;
      pca-dmdoc:example "EXAMPLE	Human being, sheep, earthworm, oak tree, and bacteria are instances of [class_of_organism]." ;
      owl:disjointWith iso-dm:ClassOfInanimatePhysicalObject .

iso-dm:ClassOfOrganization
      pca-dmdoc:definition
              "A [class_of_organization] is a [class_of_arranged_individual] whose members are instances of [physical_object] that are composed of temporal parts of people and other assets, and are organised with a particular purpose." ;
      pca-dmdoc:example "EXAMPLE	Company, government, and project team can be represented by instances of [class_of_organization]" .

iso-dm:ClassOfParticipation
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ParticipatingRoleAndDomain ;
                owl:onProperty pca-dm:hasClassOfPart
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfActivity ;
                owl:onProperty pca-dm:hasClassOfWhole
              ] ;
      pca-dmdoc:definition
              "A [class_of_participation] is a [class_of_composition_of_individual] that indicates a member of an instance of [participating_role_and_domain] participates in a member of an instance of [class_of_activity]." ;
      pca-dmdoc:example "EXAMPLE	\"Conductor of a musical performance\" is an example of [class_of_participation]." .

iso-dm:ClassOfParticulateMaterial
      pca-dmdoc:definition
              "A [class_of_particulate_material] is a [class_of_arranged_individual] whose members are arranged amounts of super-molecular sized objects of the same or different types." ;
      pca-dmdoc:example "EXAMPLE	Pile of sand, sand and cement mix, bag of bolts, catalyst fill for a reactor are examples of [class_of_particulate_material]." ;
      owl:disjointWith iso-dm:Phase , iso-dm:CrystallineStructure , iso-dm:ClassOfSubAtomicParticle .

iso-dm:ClassOfPeriodInTime
      pca-dmdoc:definition
              "A [class_of_period_in_time] is a [class_of_individual] whose members are instances of [period_in_time]." ;
      pca-dmdoc:example "EXAMPLE	Monday and June are examples of [class_of_period_in_time]." ;
      owl:disjointWith iso-dm:Status , iso-dm:Property , iso-dm:IndividualDimension .

iso-dm:ClassOfPerson
      pca-dmdoc:definition
              "A [class_of_person] is a [class_of_organism] whose members are people." ;
      pca-dmdoc:example "EXAMPLE	Engineer, plant manager, student, male, female, senior citizen, adult, girl, and boy can be represented by instances of [class_of_person]. Engineer, plant manager, and student are also instances of [class_of_functional_object]." .

iso-dm:ClassOfPointInTime
      pca-dmdoc:definition
              "A [class_of_point_in_time] is a [class_of_event] whose members are members of [point_in_time]. " ;
      pca-dmdoc:example "EXAMPLE	Midnight is a [class_of_point_in_time]" .

iso-dm:ClassOfPossibleRoleAndDomain
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfPlayer
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:RoleAndDomain ;
                owl:onProperty pca-dm:hasPlayed
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasPlayed
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfIndividual ;
                owl:onProperty pca-dm:hasClassOfPlayer
              ] ;
      pca-dmdoc:definition
              "A [class_of_possible_role_and_domain] is a [class_of_relationship] that indicates the [role_and_domain] that can be played by a member of the [class_of_individual], in some [activity]." ;
      pca-dmdoc:example "EXAMPLE	Pumps can play the [role] of anchor (although they are not intended to do so)." ;
      owl:disjointWith iso-dm:PropertyForShapeDimension , iso-dm:ClassOfRelationshipWithSignature , iso-dm:ClassOfSpecialization , iso-dm:ClassOfRecognition , iso-dm:ClassOfUsageOfRepresentation , iso-dm:ClassOfRelativeLocation , iso-dm:DimensionOfIndividual , iso-dm:ClassOfTemporalSequence , iso-dm:ClassOfResponsibilityForRepresentation , iso-dm:ClassOfRepresentationOfThing , iso-dm:ClassOfRepresentationTranslation .

iso-dm:ClassOfProperty
      pca-dmdoc:definition
              "A [class_of_property] is a [class_of_class_of_individual] whose members are instances of [property]. " ;
      pca-dmdoc:example "EXAMPLE	'Temperature' is an example of [class_of_property]." ;
      owl:disjointWith iso-dm:ShapeDimension , iso-dm:ClassOfStatus .

iso-dm:ClassOfPropertySpace
      pca-dmdoc:definition
              "A [class_of_property_space] is a [class_of_class] whose members are members of [property_space]." ;
      pca-dmdoc:example """EXAMPLE 1	Property curves, property areas, and property volumes of various dimensionality and degrees of freedom are members of [class_of_property_space].
EXAMPLE 2	Pump performance curve is an example of [class_of_property_space].""" ;
      owl:disjointWith iso-dm:ClassOfShapeDimension .

iso-dm:ClassOfRecognition
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfRecognized
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Class ;
                owl:onProperty pca-dm:hasClassOfRecognized
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfRecognizing
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfActivity ;
                owl:onProperty pca-dm:hasClassOfRecognizing
              ] ;
      pca-dmdoc:definition
              "A [class_of_recognition] is a [class_of_relationship] that indicates that a member of a [class_of_activity] may result in the recognition of a member of a [class]." ;
      pca-dmdoc:example "EXAMPLE A measurement activity may result in the recognition of the [classification] of a [possible_individual] by a [property]." ;
      owl:disjointWith iso-dm:ClassOfUsageOfRepresentation , iso-dm:ClassOfRepresentationOfThing , iso-dm:ClassOfResponsibilityForRepresentation , iso-dm:ClassOfRelativeLocation , iso-dm:ClassOfRelationshipWithSignature , iso-dm:PropertyForShapeDimension , iso-dm:ClassOfTemporalSequence , iso-dm:ClassOfRepresentationTranslation , iso-dm:ClassOfSpecialization , iso-dm:DimensionOfIndividual .

iso-dm:ClassOfRelationship
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Cardinality ;
                owl:onProperty pca-dm:hasEnd1Cardinality
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasEnd2Cardinality
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Cardinality ;
                owl:onProperty pca-dm:hasEnd2Cardinality
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasEnd1Cardinality
              ] ;
      pca-dmdoc:definition
              "A [class_of_relationship] is a  [class_of _abstract_object] whose members are members of [relationship]." .

iso-dm:ClassOfRelationshipWithRelatedEnd1
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasRelated
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Thing ;
                owl:onProperty pca-dm:hasRelated
              ] ;
      pca-dmdoc:definition
              "A [class_of_relationship_with_related_end_1] is a [class_of_relationship] where a particular [thing] is related in the [class_of_relationship], rather than the members of a [class]. The related [thing] plays the [role_and_domain] indicated by the class_of_end_1 attribute." ;
      pca-dmdoc:example "EXAMPLE	Products manufactured by Bloggs & Co is a [class_of_relationship_with_related_end_1] that points to Bloggs & Co as the related [thing]." ;
      owl:disjointWith iso-dm:ClassOfRelationshipWithRelatedEnd2 .

iso-dm:ClassOfRelationshipWithRelatedEnd2
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasRelated
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Thing ;
                owl:onProperty pca-dm:hasRelated
              ] ;
      pca-dmdoc:definition
              "A [class_of_relationship_with_related_end_2] is a [class_of_relationship] where a particular [thing] is related in the [class_of_relationship], rather than the members of a [class]. The related [thing] plays the [role_and_domain] indicated by the class_of_end_2 attribute." ;
      pca-dmdoc:example "EXAMPLE	Possession of welding skills by John Doe is an example of [class_of_relationship_with_related_end_2], where John Doe is the related thing." .

iso-dm:ClassOfRelationshipWithSignature
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:RoleAndDomain ;
                owl:onProperty pca-dm:hasClassOfEnd2
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfEnd1
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:RoleAndDomain ;
                owl:onProperty pca-dm:hasClassOfEnd1
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfEnd2
              ] ;
      pca-dmdoc:definition
              "A [class_of_relationship_with_signature] is a [class_of_relationship] that may have a [role_and_domain] specified for each end." ;
      pca-dmdoc:example "EXAMPLE	Married is a [class_of_relationship] where class_of_end_1 is the [role_and_domain] husband, and class_of_end_2 the [role_and_domain] wife." ;
      pca-dmdoc:note "NOTE	A [class_of_relationship_with_signature] is analogous to a simple EXPRESS attribute and its inverse. More complex objects can be modelled with [multidimensional_object] and [class_of_multidimensional_object]." ;
      owl:disjointWith iso-dm:PropertyForShapeDimension , iso-dm:ComparisonOfProperty , iso-dm:OtherRelationship , iso-dm:DimensionOfIndividual , iso-dm:CompositionOfIndividual , iso-dm:ClassOfRepresentationOfThing , iso-dm:ClassOfRelativeLocation , iso-dm:Specialization , iso-dm:UsageOfRepresentation , iso-dm:ConnectionOfIndividual , iso-dm:ResponsibilityForRepresentation , iso-dm:IndividualUsedInConnection , iso-dm:ClassOfRepresentationTranslation , iso-dm:TemporalSequence , iso-dm:InvolvementByReference , iso-dm:PossibleRoleAndDomain , iso-dm:RelativeLocation , iso-dm:ClassOfResponsibilityForRepresentation , iso-dm:RepresentationOfThing , iso-dm:ClassOfTemporalSequence , iso-dm:IntendedRoleAndDomain , iso-dm:ClassOfUsageOfRepresentation , iso-dm:FunctionalMapping , iso-dm:LifecycleStage , iso-dm:ClassOfSpecialization , iso-dm:Classification , iso-dm:IndirectProperty , iso-dm:Recognition .

iso-dm:ClassOfRelativeLocation
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfLocated
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfIndividual ;
                owl:onProperty pca-dm:hasClassOfLocated
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfIndividual ;
                owl:onProperty pca-dm:hasClassOfLocator
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfLocator
              ] ;
      pca-dmdoc:definition
              "A [class_of_relative_location] is a [class_of_relationship] whose members are instances of [relative_location]." ;
      pca-dmdoc:example "EXAMPLE	Beside, above, and below are examples of [class_of_relative_location]." ;
      owl:disjointWith iso-dm:ClassOfResponsibilityForRepresentation , iso-dm:ClassOfTemporalSequence , iso-dm:DimensionOfIndividual , iso-dm:ClassOfRepresentationTranslation , iso-dm:ClassOfSpecialization , iso-dm:ClassOfUsageOfRepresentation , iso-dm:ClassOfRepresentationOfThing , iso-dm:PropertyForShapeDimension .

iso-dm:ClassOfRepresentationOfThing
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasRepresented
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Thing ;
                owl:onProperty pca-dm:hasRepresented
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfInformationRepresentation ;
                owl:onProperty pca-dm:hasPattern
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasPattern
              ] ;
      pca-dmdoc:definition
              "A [class_of_representation_of_thing] is a [class_of_relationship] that indicates that all members of the pattern [class_of_information_representation] represent the [thing]." ;
      pca-dmdoc:example "EXAMPLE	The [class_of_relationship] that indicates that occurrences of the pattern denoted by 'London' represent the concept of the capital of the United Kingdom can be represented by an instance of [class_of_representation_of_thing]." ;
      owl:disjointWith iso-dm:DimensionOfIndividual , iso-dm:ClassOfSpecialization , iso-dm:ClassOfResponsibilityForRepresentation , iso-dm:ClassOfTemporalSequence , iso-dm:PropertyForShapeDimension , iso-dm:ClassOfUsageOfRepresentation , iso-dm:ClassOfRepresentationTranslation .

iso-dm:ClassOfRepresentationTranslation
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfInformationRepresentation ;
                owl:onProperty pca-dm:hasClassOfSecond
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfSecond
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfFirst
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfInformationRepresentation ;
                owl:onProperty pca-dm:hasClassOfFirst
              ] ;
      pca-dmdoc:definition
              "A [class_of_representation_translation] is a [class_of_relationship] that indicates the translation of two instances of [class_of_information_representation]." ;
      pca-dmdoc:example "EXAMPLE	The link that indicates that the representations 'F' and '15' are equivalent (concept of fifteen in hexadecimal and octal respectively) can be represented by an instance of [class_of_representation_translation]." ;
      owl:disjointWith iso-dm:ClassOfTemporalSequence , iso-dm:ClassOfResponsibilityForRepresentation , iso-dm:DimensionOfIndividual , iso-dm:PropertyForShapeDimension , iso-dm:ClassOfSpecialization , iso-dm:ClassOfUsageOfRepresentation .

iso-dm:ClassOfResponsibilityForRepresentation
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:PossibleIndividual ;
                owl:onProperty pca-dm:hasController
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfControlled
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfRepresentationOfThing ;
                owl:onProperty pca-dm:hasClassOfControlled
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasController
              ] ;
      pca-dmdoc:definition
              "A [class_of_responsibility_for_representation] is a [class_of_relationship] whose members indicate that a [possible_individual] (usually an organization) deems that members of the pattern can be used as representations of the represented thing." ;
      pca-dmdoc:example "EXAMPLE	The link between the identification of pump #1234 and the XYZ Corporation, that indicates that the XYZ Corporation controls this identification, can be represented by an instance of  [class_of_responsibility_for_representation]." ;
      owl:disjointWith iso-dm:PropertyForShapeDimension , iso-dm:ClassOfSpecialization , iso-dm:ClassOfTemporalSequence , iso-dm:ClassOfUsageOfRepresentation , iso-dm:DimensionOfIndividual .

iso-dm:ClassOfRightNamespace
      pca-dmdoc:definition
              "A [class_of_right_namespace] is a [class_of_namespace] where the class_of_part is the namespace for the members of the class_of_class_of_whole." .

iso-dm:ClassOfScale
      pca-dmdoc:definition
              "A [class_of_scale] is a [class_of_class_of_relationship] whose members are instances of [scale]." ;
      pca-dmdoc:example "EXAMPLE	SI Unit is an example of class_of_scale." ;
      owl:disjointWith iso-dm:PropertySpaceForClassOfShapeDimension , iso-dm:DimensionOfShape .

iso-dm:ClassOfScaleConversion
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Scale ;
                owl:onProperty pca-dm:hasCodomain
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Scale ;
                owl:onProperty pca-dm:hasDomain
              ] ;
      pca-dmdoc:definition
              "A [class_of_scale_conversion] is a [class_of_isomorphic_functional_mapping] that defines a conversion between two different scales of units used for the quantification of properties." ;
      pca-dmdoc:example "EXAMPLE	The Fahrenheit scale for temperature and the Celsius scale for temperature can each be represented by instances of [scale]. The conversion between these scales can be represented by an instance of [class_of_scale_conversion]." .

iso-dm:ClassOfShape
      pca-dmdoc:definition
              "A [class_of_shape] is a [property_space] that has instances of [shape] as its members." ;
      pca-dmdoc:example "EXAMPLE	Regular geometric forms such as line, circle, square, cylinder, sphere, and cone can be represented by instances of [class_of_shape]." .

iso-dm:ClassOfShapeDimension
      pca-dmdoc:definition
              "A [class_of_shape_dimension] is a [class_of_class] that is a dimension of a [class_of_shape]." ;
      pca-dmdoc:example "EXAMPLE	Diameter, height, and width (in general rather than a particular one) are examples of [class_of_shape_dimension]." .

iso-dm:ClassOfSpecialization
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfSubclass
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfClass ;
                owl:onProperty pca-dm:hasClassOfSuperclass
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfSuperclass
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfClass ;
                owl:onProperty pca-dm:hasClassOfSubclass
              ] ;
      pca-dmdoc:definition
              "A [class_of_specialization] is a [class_of_relationship] whose members are instances of [specialization]. It indicates that a member of the class_of_subclass is a subclass of a member of the class_of_superclass." ;
      pca-dmdoc:example "EXAMPLE	The [class_of_specialization] that indicates that members of the class \"family of ASME bolts\", e.g. 3 inch, 2 inch bolts, are specializations of members of the [enumerated_property_set] \"set of bolt lengths\", e.g. 3 inch, 2 inch." ;
      owl:disjointWith iso-dm:DimensionOfIndividual , iso-dm:ClassOfTemporalSequence , iso-dm:ClassOfUsageOfRepresentation , iso-dm:PropertyForShapeDimension .

iso-dm:ClassOfStatus
      pca-dmdoc:definition
              "A [class_of_status] is a [class_of_class_of_individual] whose members are a [status]." ;
      pca-dmdoc:example "EXAMPLE	An example of [class_of_status] is approval, with members: not assessed, approved, rejected." ;
      owl:disjointWith iso-dm:ShapeDimension .

iso-dm:ClassOfSubAtomicParticle
      pca-dmdoc:definition
              "A [class_of_sub_atomic_particle] is a [class_of_arranged_individual] whose members are constituent particles of atoms." ;
      pca-dmdoc:example "EXAMPLE	Proton, electron, meson, neutron, positron, muon, quark, and neutrino can be represented by instances of [class_of_sub_atomic_particle]." ;
      owl:disjointWith iso-dm:Phase , iso-dm:CrystallineStructure .

iso-dm:ClassOfTemporalSequence
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfSuccessor
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfIndividual ;
                owl:onProperty pca-dm:hasClassOfPredecessor
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfPredecessor
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfIndividual ;
                owl:onProperty pca-dm:hasClassOfSuccessor
              ] ;
      pca-dmdoc:definition
              "A [class_of_temporal_sequence] is a [class_of_relationship] where the sequence is of a temporal nature." ;
      pca-dmdoc:example """EXAMPLE 1	The link that indicates that members of July follow members of June can be represented by an instance of [class_of_temporal_sequence].
EXAMPLE 2	The link that indicates that emptying activities for a tank precede cleaning activities can be represented by an instance of [class_of_temporal_sequence].""" ;
      owl:disjointWith iso-dm:ClassOfUsageOfRepresentation , iso-dm:DimensionOfIndividual , iso-dm:PropertyForShapeDimension .

iso-dm:ClassOfTemporalWholePart
      pca-dmdoc:definition
              "A [class_of_temporal_whole_part] is a [class_of_composition_of_individual] whose members are members of [temporal_whole_part]." ;
      pca-dmdoc:example "EXAMPLE	The class that indicates that Crude Distillation Units may have a maximum naphtha mode can be represented by an instance of [class_of_temporal_whole_part]." ;
      owl:disjointWith iso-dm:ClassOfParticipation .

iso-dm:ClassOfUsageOfRepresentation
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:PossibleIndividual ;
                owl:onProperty pca-dm:hasUser
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasUser
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfUsed
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfRepresentationOfThing ;
                owl:onProperty pca-dm:hasClassOfUsed
              ] ;
      pca-dmdoc:definition
              "A [class_of_usage_of_representation] is a [class_of_relationship] whose members indicate that a [possible_individual] (usually an organization) reads or otherwise uses members of the pattern as a representation of the represented thing." ;
      pca-dmdoc:example "EXAMPLE	The link between the identification of pump #1234 and contractor ABC Ltd, that indicates that ABC Ltd uses this identification can be represented by a class of [class_of_usage_of_representation]." ;
      owl:disjointWith iso-dm:DimensionOfIndividual , iso-dm:PropertyForShapeDimension .

iso-dm:Classification
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Class ;
                owl:onProperty pca-dm:hasClassifier
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassified
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Thing ;
                owl:onProperty pca-dm:hasClassified
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassifier
              ] ;
      pca-dmdoc:definition
              "A [classification] is type of [relationship] that indicates that the classified [thing] is a member of the classifier [class]. [classification] is not transitive. " ;
      pca-dmdoc:example """EXAMPLE 1	The [relationship] that indicates that London is a member of the class known as 'capital city' is a [classification].
EXAMPLE 2	The [relationship] that indicates that 'pump' is a member of the class 'equipment type' is a [classification].""" ;
      pca-dmdoc:note "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." ;
      owl:disjointWith iso-dm:CompositionOfIndividual , iso-dm:IndividualUsedInConnection , iso-dm:FunctionalMapping , iso-dm:ComparisonOfProperty , iso-dm:OtherRelationship , iso-dm:PossibleRoleAndDomain , iso-dm:Recognition , iso-dm:TemporalSequence , iso-dm:RelativeLocation , iso-dm:RepresentationOfThing , iso-dm:LifecycleStage , iso-dm:Specialization , iso-dm:ResponsibilityForRepresentation , iso-dm:IndirectProperty , iso-dm:ConnectionOfIndividual , iso-dm:UsageOfRepresentation , iso-dm:IntendedRoleAndDomain , iso-dm:InvolvementByReference .

iso-dm:ComparisonOfProperty
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Property ;
                owl:onProperty pca-dm:hasLesserElement
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasGreaterElement
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasLesserElement
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Property ;
                owl:onProperty pca-dm:hasGreaterElement
              ] ;
      pca-dmdoc:definition
              "A [comparison_of_property] is a [relationship] that indicates the magnitude of one [property] is greater than that of another." ;
      pca-dmdoc:example "EXAMPLE	That the temperature in a room is less than that in a furnace can be indicated by an instance of [comparison_of_property]." ;
      owl:disjointWith iso-dm:ResponsibilityForRepresentation , iso-dm:IndividualUsedInConnection , iso-dm:RelativeLocation , iso-dm:UsageOfRepresentation , iso-dm:IntendedRoleAndDomain , iso-dm:IndirectProperty , iso-dm:FunctionalMapping , iso-dm:CompositionOfIndividual , iso-dm:LifecycleStage , iso-dm:InvolvementByReference , iso-dm:ConnectionOfIndividual , iso-dm:Recognition , iso-dm:RepresentationOfThing , iso-dm:OtherRelationship , iso-dm:Specialization , iso-dm:TemporalSequence , iso-dm:PossibleRoleAndDomain .

iso-dm:CompositionOfIndividual
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:PossibleIndividual ;
                owl:onProperty pca-dm:hasPart
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasPart
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasWhole
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:PossibleIndividual ;
                owl:onProperty pca-dm:hasWhole
              ] ;
      pca-dmdoc:definition
              "A [composition_of_individual] is a [relationship] that indicates that the part [possible_individual] is a part of the whole [possible_individual]. A simple composition is indicated, unless a subtype is instantiated too. [composition_of_individual] is transitive. " ;
      pca-dmdoc:example "EXAMPLE	A grain of sand being part of a pile of sand is an example of [composition_of_individual]." ;
      pca-dmdoc:note "NOTE	Simple composition means that for example no arrangement of parts is necessarily implied or of concern. Where there is an arrangement of parts, this is indicated by an [arrangement_of_individual], which, by being a subtype, implies also a simple composition." ;
      owl:disjointWith iso-dm:ConnectionOfIndividual , iso-dm:TemporalSequence , iso-dm:InvolvementByReference , iso-dm:ResponsibilityForRepresentation , iso-dm:PossibleRoleAndDomain , iso-dm:IntendedRoleAndDomain , iso-dm:Recognition , iso-dm:Specialization , iso-dm:OtherRelationship , iso-dm:IndividualUsedInConnection , iso-dm:LifecycleStage , iso-dm:UsageOfRepresentation , iso-dm:FunctionalMapping , iso-dm:RepresentationOfThing , iso-dm:IndirectProperty , iso-dm:RelativeLocation .

iso-dm:ConnectionOfIndividual
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:PossibleIndividual ;
                owl:onProperty pca-dm:hasSide2
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:PossibleIndividual ;
                owl:onProperty pca-dm:hasSide1
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasSide1
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasSide2
              ] ;
      pca-dmdoc:definition
              "A [connection_of_individual] is a [relationship] that indicates that matter, energy, or both can be transferred between the members of [possible_individual] that are connected, either directly or indirectly." ;
      pca-dmdoc:note "NOTE	There is no significance to the ordering of the two related instances of [possible_individual]. The names side_1 and side_2 serve only to distinguish the attributes." ;
      owl:disjointWith iso-dm:PossibleRoleAndDomain , iso-dm:RelativeLocation , iso-dm:InvolvementByReference , iso-dm:UsageOfRepresentation , iso-dm:RepresentationOfThing , iso-dm:IndividualUsedInConnection , iso-dm:TemporalSequence , iso-dm:IntendedRoleAndDomain , iso-dm:OtherRelationship , iso-dm:IndirectProperty , iso-dm:FunctionalMapping , iso-dm:LifecycleStage , iso-dm:ResponsibilityForRepresentation , iso-dm:Recognition , iso-dm:Specialization .

iso-dm:ContainmentOfIndividual
      pca-dmdoc:definition
              "A [containment_of_individual] is a [relative_location] where the located [possible_individual] is contained by the locator [possible_individual] but is not part of it." ;
      pca-dmdoc:example "EXAMPLE	The contents of a vessel being inside the vessel can be represented by an instance of [containment_of_individual]." ;
      pca-dmdoc:note "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." .

iso-dm:CoordinateSystem
      pca-dmdoc:definition
              "A [coordinate_system] is a [multidimensional_scale] for locating and relating a [possible_individual] in an n-dimensional space in which arbitrary geometric transformations are valid." ;
      pca-dmdoc:example "EXAMPLE	The XYZ site coordinate system, is an example of a [coordinate_system]." .

iso-dm:CrystallineStructure
      pca-dmdoc:definition
              "A [crystalline_structure] is a [class_of_arranged_individual] that is a form in which many simple elements and their natural compounds regularly aggregate by the operation of natural affinity: it has a definite internal structure, with the external form of a solid enclosed by a number of symmetrically arranged plane faces, and varying in simplicity from the cube to much more complicated geometric bodies." ;
      pca-dmdoc:example "EXAMPLE	Ferritic, martensitic, and austenitic are examples of [crystalline_structure]." ;
      owl:disjointWith iso-dm:Phase .

iso-dm:Definition
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Class ;
                owl:onProperty pca-dm:hasRepresented
              ] ;
      pca-dmdoc:definition
              "A [definition] is a [representation_of_thing] that indicates that the [class] is defined by the sign [possible_individual]." ;
      pca-dmdoc:example "EXAMPLE	The [relationship] between this copy of the preceding sentence and the heading before that is a [definition]." .

iso-dm:Description
      pca-dmdoc:definition
              "A [description] is a [representation_of_thing] that indicates that the [possible_individual] describes the [thing]." ;
      pca-dmdoc:example "EXAMPLE	A copy of the Piping and Instrumentation Diagram for Crude Distillation Unit 1 at refinery X has a [description] relationship with the plant." .

iso-dm:DifferenceOfSetOfClass
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:EnumeratedSetOfClass ;
                owl:onProperty pca-dm:hasInput
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Class ;
                owl:onProperty pca-dm:hasResult
              ] ;
      pca-dmdoc:definition
              "A [difference_of_set_of_class] is a [functional_mapping] that indicates that the membership of the result [class] is the difference between the membership of the union of the classes that are members of the [enumerated_set_of_class] and their intersection." ;
      pca-dmdoc:example "EXAMPLE	The difference of the [enumerated_set_of_class] {{A,B,C},{B,C,D},{C,D,E}} is {A,B,D,E}." ;
      pca-dmdoc:note "NOTE	When the [enumerated_set_of_class] consists of a [class] and another [class] that is a subclass of the first class, then the difference is the complement of the subclass." .

iso-dm:DimensionOfIndividual
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasIndividual
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:PossibleIndividual ;
                owl:onProperty pca-dm:hasIndividual
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasIndividualDimension
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:IndividualDimension ;
                owl:onProperty pca-dm:hasIndividualDimension
              ] ;
      pca-dmdoc:definition
              "A [dimension_of_individual] is a [class_of_relationship] that indicates that each member of the set of lines that are the [individual_dimension] are a dimension of the [possible_individual]." ;
      pca-dmdoc:example "EXAMPLE	The set of all lines that pass through the centre of a particular circle and end at the circumference of that circle, are a dimension (diameter) of that circle. The particular dimension is indicated by the [dimension_of_shape] that classifies the [dimension_of_individual]." ;
      owl:disjointWith iso-dm:PropertyForShapeDimension .

iso-dm:DimensionOfShape
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasDimension
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ShapeDimension ;
                owl:onProperty pca-dm:hasDimension
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasShape
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Shape ;
                owl:onProperty pca-dm:hasShape
              ] ;
      pca-dmdoc:definition
              "A [dimension_of_shape] is a [class_of_class_of_relationship] that indicates that members of the [shape_dimension] are dimensions of the [shape] members." ;
      pca-dmdoc:example "EXAMPLE	The sets of 10m lines that are diameters of 10m circles is an example of [dimension_of_shape]." ;
      owl:disjointWith iso-dm:PropertySpaceForClassOfShapeDimension .

iso-dm:DirectConnection
      pca-dmdoc:definition
              "A [direct_connection] is a [connection_of_individual] that indicates that the side_1 and side_2 are directly connected via a common spatial boundary." ;
      pca-dmdoc:example "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 [direct_connection]." ;
      owl:disjointWith iso-dm:IndirectConnection .

iso-dm:DocumentDefinition
      pca-dmdoc:definition
              "A [document_definition] is a [class_of_class_of_information_representation] that defines the content and/or structure of documents." ;
      pca-dmdoc:example "EXAMPLE	XYZ Corp. Material Safety Data Sheet is a [document_definition]." .

iso-dm:Ending
      pca-dmdoc:definition
              "An [ending] is a [temporal_bounding] that marks the end of a [possible_individual]." ;
      pca-dmdoc:example """EXAMPLE 1	The relation that indicates that the [point_in_time] known as 0000hrs 1st July 1999 GMT is the end of the [period_in_time] known as June 1999 GMT can be represented by an instance of [ending].
EXAMPLE 2	The relation that indicates that the [event] 'loading complete' marks the end of the [possible_individual] 'loading plant operating period 1' (a temporal part of the loading plant) is an instance of [ending].""" ;
      owl:disjointWith iso-dm:Beginning .

iso-dm:EnumeratedNumberSet
      pca-dmdoc:definition
              "An [enumerated_number_set] is a [class_of_number] and an [enumerated_set_of_class]." ;
      pca-dmdoc:example "EXAMPLE	The set of integer numbers {3,4,5} can be represented by an instance of [enumerated_number_set]." .

iso-dm:EnumeratedPropertySet
      pca-dmdoc:definition
              "An [enumerated_property_set] is a [class_of_property] and an [enumerated_set_of_class] whose members are an enumerated set of properties of the same [single_property_dimension] or [multidimensional_property_space]." ;
      pca-dmdoc:example "EXAMPLE	{115 Volt, 240 Volt} is an example of an [enumerated_property_set]." .

iso-dm:EnumeratedSetOfClass
      pca-dmdoc:definition
              "An [enumerated_set_of_class] is a [class_of_class] that is an enumerated set of the instances of [class]. Enumerated means that the full set of members is specified." ;
      pca-dmdoc:example "EXAMPLE	{Plastic, 1.2kg, frame} is an [enumerated_set_of_class]. More generally {{A,B,C},{B,C,D},{C,D,E}} is an [enumerated_set_of_class]. Also \"electrical engineering classes for ERDL V1.1\" is an [enumerated_set_of_class]." .

iso-dm:Event
      pca-dmdoc:definition
              "An [event] is a [possible_individual] with zero extent in time at any point in space-time - a four dimensional plane. An [event] may be at one-time only, or may extend in time at different places, or a combination of both. An [event] is the temporal boundary of one or more [possible_individual]s, although there may be no knowledge of these [possible_individual]s." ;
      pca-dmdoc:example "EXAMPLE	The connection of power to a pump is an event that marks the beginning of a temporal part of that pump." .

iso-dm:ExpressBinary
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom xsd:hexBinary ;
                owl:onProperty pca-dm:hasContent
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasContent
              ] ;
      pca-dmdoc:definition
              "An [EXPRESS_binary] is a [class_of_EXPRESS_information_representation] that represents a binary value as defined in ISO 10303-11:1994, 8.1.7." ;
      pca-dmdoc:note "NOTE	The UNIQUE rule ensures that any value is only held once." .

iso-dm:ExpressBoolean
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom xsd:boolean ;
                owl:onProperty pca-dm:hasContent
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasContent
              ] ;
      pca-dmdoc:definition
              "An [EXPRESS_Boolean] is a [class_of_EXPRESS_information_representation] that represents a Boolean value as defined in ISO 10303-11:1994, 8.1.5." ;
      pca-dmdoc:note "NOTE	The UNIQUE rule ensures that any value is only held once." ;
      owl:disjointWith iso-dm:ExpressBinary .

iso-dm:ExpressInteger
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasContent
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom xsd:long ;
                owl:onProperty pca-dm:hasContent
              ] ;
      pca-dmdoc:definition
              "An [EXPRESS_integer] is a [class_of_EXPRESS_information_representation] that represents an integer number as defined in ISO 10303-11:1994, 8.1.3." ;
      pca-dmdoc:note "NOTE	The UNIQUE rule ensures that any value is only held once." ;
      owl:disjointWith iso-dm:ExpressBinary , iso-dm:ExpressLogical , iso-dm:ExpressReal , iso-dm:ExpressBoolean .

iso-dm:ExpressLogical
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom
                        [ rdf:type owl:DataRange ;
                          owl:oneOf ("true"^^xsd:string "false"^^xsd:string "unknown"^^xsd:string)
                        ] ;
                owl:onProperty pca-dm:hasContent
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasContent
              ] ;
      pca-dmdoc:definition
              "An [EXPRESS_logical] is a [class_of_EXPRESS_information_representation] that represents a logical value as defined in ISO 10303-11:1994, 8.1.4." ;
      pca-dmdoc:note "NOTE	The UNIQUE rule ensures that any value is only held once." ;
      owl:disjointWith iso-dm:ExpressBinary , iso-dm:ExpressBoolean .

iso-dm:ExpressReal
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom xsd:double ;
                owl:onProperty pca-dm:hasContent
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasContent
              ] ;
      pca-dmdoc:definition
              "An [EXPRESS_real] is a [class_of_EXPRESS_information_representation] that represents a real number as defined in ISO 10303-11:1994, 8.1.2." ;
      pca-dmdoc:note "NOTE	The UNIQUE rule ensures that any value is only held once." ;
      owl:disjointWith iso-dm:ExpressBinary , iso-dm:ExpressBoolean , iso-dm:ExpressLogical .

iso-dm:ExpressString
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom xsd:normalizedString ;
                owl:onProperty pca-dm:hasContent
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasContent
              ] ;
      pca-dmdoc:definition
              "An [EXPRESS_string] is a [class_of_EXPRESS_information_representation] that represents a string as defined in ISO 10303-11:1994, 8.1.6." ;
      pca-dmdoc:note "NOTE	The UNIQUE rule ensures that any value is only held once." ;
      owl:disjointWith iso-dm:ExpressReal , iso-dm:ExpressBinary , iso-dm:ExpressInteger , iso-dm:ExpressBoolean , iso-dm:ExpressLogical .

iso-dm:FeatureWholePart
      pca-dmdoc:definition
              "A [feature_whole_part] is an [arrangement_of_individual] that indicates that the part is a non-separable, contiguous part of the whole." ;
      pca-dmdoc:example "EXAMPLE	The relation that indicates that a flange face is part of a flange can be represented by an instance of [feature_whole_part]." ;
      pca-dmdoc:note "NOTE	This includes wholes that cannot be non-destructively disassembled and reassembled such as the cast inlet flange of a pump." .

iso-dm:FunctionalMapping
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasInput
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Thing ;
                owl:onProperty pca-dm:hasResult
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasResult
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Thing ;
                owl:onProperty pca-dm:hasInput
              ] ;
      pca-dmdoc:definition
              "A [functional_mapping] is a [relationship] that indicates that the input gave the result as determined by the classifying [class_of_functional_mapping]." ;
      pca-dmdoc:example "EXAMPLE The mapping of [5, 3] to 2, classified by the minus function is an example of [functional_mapping]." ;
      owl:disjointWith iso-dm:OtherRelationship , iso-dm:PossibleRoleAndDomain , iso-dm:IndividualUsedInConnection , iso-dm:InvolvementByReference , iso-dm:Recognition , iso-dm:UsageOfRepresentation , iso-dm:IntendedRoleAndDomain , iso-dm:IndirectProperty , iso-dm:RelativeLocation , iso-dm:RepresentationOfThing , iso-dm:ResponsibilityForRepresentation , iso-dm:LifecycleStage , iso-dm:Specialization , iso-dm:TemporalSequence .

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

iso-dm:Identification
      pca-dmdoc:definition
              "An [identification] is a [representation_of_thing] that indicates that the [possible_individual] is an identifier for the [thing] identified." ;
      pca-dmdoc:example """EXAMPLE 1	The relationship between the text \"P101\" on a printed copy of a pump data sheet and the applicable [functional_physical_object] is an example of [identification].
EXAMPLE 2	The relationship between a name tag and an employee wearing it is an example of [identification].""" .

iso-dm:IndirectConnection
      pca-dmdoc:definition
              "An [indirect_connection] is a [connection_of_individual] that indicates that side_1 and side_2 are connected via other individuals." ;
      pca-dmdoc:example "EXAMPLE	The relation that indicates that there is a railway connection between the cities of London and Paris can be represented by an instance of [indirect_connection]." .

iso-dm:IndirectProperty
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Property ;
                owl:onProperty pca-dm:hasProperty
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasPossessor
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:PossibleIndividual ;
                owl:onProperty pca-dm:hasPossessor
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasProperty
              ] ;
      pca-dmdoc:definition
              "An [indirect_property] is a [relationship] between a [property] and a [possible_individual]. The nature of the [indirect_property] is defined by its [classification] by a [class_of_indirect_property]. A property is indirect when it does not directly apply to the [possible_individual] it applies to, but is derived from some process." ;
      pca-dmdoc:example "EXAMPLE	A Maximum Allowable Working Pressure of 50 BarA for V101 is specified by an [indirect_property] between the pressure of 50 BarA and V101, classified by the [class_of_indirect_property] Maximum Allowable Working Pressure." ;
      pca-dmdoc:note "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." ;
      owl:disjointWith iso-dm:RepresentationOfThing , iso-dm:PossibleRoleAndDomain , iso-dm:UsageOfRepresentation , iso-dm:Specialization , iso-dm:InvolvementByReference , iso-dm:Recognition , iso-dm:TemporalSequence , iso-dm:RelativeLocation , iso-dm:IndividualUsedInConnection , iso-dm:IntendedRoleAndDomain , iso-dm:LifecycleStage , iso-dm:OtherRelationship , iso-dm:ResponsibilityForRepresentation .

iso-dm:IndividualDimension
      pca-dmdoc:definition
              "An [individual_dimension] is a [class_of_individual] whose members characterize a particular [possible_individual]." ;
      pca-dmdoc:example "EXAMPLE	The set of lines that are each a diameter of a particular circle." ;
      owl:disjointWith iso-dm:Status , iso-dm:Property .

iso-dm:IndividualUsedInConnection
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:PossibleIndividual ;
                owl:onProperty pca-dm:hasUsage
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasUsage
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasConnection
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ConnectionOfIndividual ;
                owl:onProperty pca-dm:hasConnection
              ] ;
      pca-dmdoc:definition
              "An [individual_used_in_connection] is a [relationship] that indicates that a [possible_individual] is used in a [connection_of_individual]." ;
      pca-dmdoc:example "EXAMPLE	The [relationship] between the connection of the flanged ends of two pipes and a temporal part of the bolts, nuts, washers and gasket set that indicates that the bolt and gasket set participates in the connection can be represented by an instance of [individual_used_in_connection]." ;
      owl:disjointWith iso-dm:LifecycleStage , iso-dm:Specialization , iso-dm:OtherRelationship , iso-dm:InvolvementByReference , iso-dm:UsageOfRepresentation , iso-dm:TemporalSequence , iso-dm:RepresentationOfThing , iso-dm:PossibleRoleAndDomain , iso-dm:Recognition , iso-dm:RelativeLocation , iso-dm:IntendedRoleAndDomain , iso-dm:ResponsibilityForRepresentation .

iso-dm:IntegerNumber
      pca-dmdoc:definition
              "An [integer_number] is an [arithmetic_number] that is an integer number." ;
      pca-dmdoc:example "EXAMPLE	1, 2, and 10 are representations of integer numbers." ;
      owl:disjointWith iso-dm:MultidimensionalNumber .

iso-dm:IntendedRoleAndDomain
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:PossibleIndividual ;
                owl:onProperty pca-dm:hasPlayer
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasPlayer
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasPlayed
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:RoleAndDomain ;
                owl:onProperty pca-dm:hasPlayed
              ] ;
      pca-dmdoc:definition
              "An [intended_role_and_domain] is a [relationship] that indicates the [role_and_domain] some temporal part of the [possible_individual] is intended to take with respect to some [activity]." ;
      pca-dmdoc:example "EXAMPLE	Some [possible_individual] that is classified as a pump is intended to play the [role_and_domain] of a performer in some pumping activity." ;
      owl:disjointWith iso-dm:UsageOfRepresentation , iso-dm:TemporalSequence , iso-dm:PossibleRoleAndDomain , iso-dm:OtherRelationship , iso-dm:Recognition , iso-dm:ResponsibilityForRepresentation , iso-dm:RepresentationOfThing , iso-dm:LifecycleStage , iso-dm:Specialization , iso-dm:InvolvementByReference , iso-dm:RelativeLocation .

iso-dm:IntersectionOfSetOfClass
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:EnumeratedSetOfClass ;
                owl:onProperty pca-dm:hasInput
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Class ;
                owl:onProperty pca-dm:hasResult
              ] ;
      pca-dmdoc:definition
              "An [intersection_of_set_of_class] is a [functional_mapping] that indicates that the result [class] consists of those members of the members of the classes [enumerated_set_of_class] that are common to each class." ;
      pca-dmdoc:example "EXAMPLE	The intersection of the [enumerated_set_of_class] {{A,B,C},{B,C,D},{C,D,E}} is {C}." .

iso-dm:InvolvementByReference
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasInvolver
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Activity ;
                owl:onProperty pca-dm:hasInvolver
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasInvolved
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Thing ;
                owl:onProperty pca-dm:hasInvolved
              ] ;
      pca-dmdoc:definition
              "An [involvement_by_reference] is a [relationship] that indicates that a [thing] is referred to in an [activity]." ;
      pca-dmdoc:example """EXAMPLE 1	A conversation that refers to the Roman Empire is an [activity] that relates to the Roman Empire by an [involvement_by_reference].
EXAMPLE 2	The relation between API 610 and the <class_of_activity> 'design of centrifugal pumps' is represented by an instance of <class_of_involvement_by_reference>.""" ;
      pca-dmdoc:note "NOTE	This entity type is for involvements that are not direct [participation] of a [possible_individual], such as involvement of a class, or of a historical or future temporal part of a [possible_individual]." ;
      owl:disjointWith iso-dm:TemporalSequence , iso-dm:Specialization , iso-dm:UsageOfRepresentation , iso-dm:OtherRelationship , iso-dm:Recognition , iso-dm:RepresentationOfThing , iso-dm:RelativeLocation , iso-dm:PossibleRoleAndDomain , iso-dm:LifecycleStage , iso-dm:ResponsibilityForRepresentation .

iso-dm:Language
      pca-dmdoc:definition
              "A [language] is a [class_of_class_of_information_representation] whose members are all the information representations made in the language." ;
      pca-dmdoc:example "EXAMPLE	English, French, C++ and Java can be represented by instances of [language]." ;
      owl:disjointWith iso-dm:DocumentDefinition .

iso-dm:LeftNamespace
      pca-dmdoc:definition
              "A [left_namespace] is a [namespace] where the [class_of_part] is the left part of the [class_of_whole]." ;
      pca-dmdoc:example "EXAMPLE	Where WC1: is the [namespace] in WC1:1234, it is a [left_namespace]." .

iso-dm:LifecycleStage
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:PossibleIndividual ;
                owl:onProperty pca-dm:hasInterested
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasInterest
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasInterested
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:PossibleIndividual ;
                owl:onProperty pca-dm:hasInterest
              ] ;
      pca-dmdoc:definition
              "A [lifecycle_stage] is a [relationship] that indicates the interest that a [possible_individual] has in some [possible_individual]. " ;
      pca-dmdoc:example "EXAMPLE	The relation that links a possible building to a temporal part of the XYZ Corp. can be represented by an instance of [lifecycle_stage]. The nature of that [lifecycle_stage] (e.g. 'planned') can be expressed by classifying with the applicable [class_of_lifecycle_stage]." ;
      owl:disjointWith iso-dm:ResponsibilityForRepresentation , iso-dm:PossibleRoleAndDomain , iso-dm:RepresentationOfThing , iso-dm:TemporalSequence , iso-dm:Specialization , iso-dm:OtherRelationship , iso-dm:Recognition , iso-dm:RelativeLocation , iso-dm:UsageOfRepresentation .

iso-dm:LowerBoundOfNumberRange
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ArithmeticNumber ;
                owl:onProperty pca-dm:hasClassified
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:NumberRange ;
                owl:onProperty pca-dm:hasClassifier
              ] ;
      pca-dmdoc:definition
              "A [lower_bound_of_number_range] is a [classification] that indicates an [arithmetic_number] is the lowest value in a [number_range]." ;
      pca-dmdoc:example "EXAMPLE	The instance of [real_number] that is represented by the instance of [EXPRESS_real] '3.1' has a [lower_bound_of_number_range] relationship with the instance of [number_range] '(3.1 to 5.3)'." .

iso-dm:LowerBoundOfPropertyRange
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Property ;
                owl:onProperty pca-dm:hasClassified
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:PropertyRange ;
                owl:onProperty pca-dm:hasClassifier
              ] ;
      pca-dmdoc:definition
              "A [lower_bound_of_property_range] is a [classification] that indicates that a [property] is the lower bound of a [property_range]." ;
      pca-dmdoc:example "EXAMPLE	The instance of [property] that is represented by the instance of [EXPRESS_real] '-10' has a [lower_bound_of_property_range] relationship with the instance of [property_range] '(-10 to +20 degrees Celsius)'." .

iso-dm:MaterializedPhysicalObject
      pca-dmdoc:definition
              "A [materialized_physical_object] is a [physical_object] that has matter and/or energy continuity as its basis for identity. Matter or energy continuity requires some matter or energy to be common to adjacent temporal parts of the [materialized_physical_object]. Replacement of some components from time to time does not create a new identity." ;
      pca-dmdoc:example "EXAMPLE	The shell and tube heat exchanger with manufacturer's serial number ES/1234 can be represented by an instance of [materialized_physical_object]." .

iso-dm:MultidimensionalNumber
      pca-dmdoc:definition
              "A [multidimensional_number] is an [arithmetic_number] that is also a [multidimensional_object]." ;
      pca-dmdoc:example "EXAMPLE	[3.2, 5.4, 55.6] is a [multidimensional_number]." ;
      owl:disjointWith iso-dm:MultidimensionalNumberSpace , iso-dm:MultidimensionalScale , iso-dm:MultidimensionalProperty .

iso-dm:MultidimensionalNumberSpace
      pca-dmdoc:definition
              "A [multidimensional_number_space] is a [number_space] and a [multidimensional_object]." ;
      pca-dmdoc:example "EXAMPLE	R3, the space defined as being all the triples of real numbers (e.g. [1.0, 2.1, 5.4]), is a [multidimensional_number_space]." ;
      owl:disjointWith iso-dm:MultidimensionalScale .

iso-dm:MultidimensionalObject
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasElements
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasPosition
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom
                        [ rdf:type owl:Class ;
                          owl:intersectionOf (list:OWLList [ rdf:type owl:Restriction ;
                                      owl:allValuesFrom iso-dm:Thing ;
                                      owl:onProperty list:hasContents
                                    ] [ rdf:type owl:Restriction ;
                                      owl:allValuesFrom
                                              [ rdf:type owl:Class ;
                                                owl:intersectionOf (list:OWLList [ rdf:type owl:Restriction ;
                                                            owl:allValuesFrom iso-dm:Thing ;
                                                            owl:onProperty list:hasContents
                                                          ])
                                              ] ;
                                      owl:onProperty list:isFollowedBy
                                    ])
                        ] ;
                owl:onProperty pca-dm:hasElements
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom
                        [ rdf:type owl:Class ;
                          owl:intersectionOf (list:OWLList [ rdf:type owl:Restriction ;
                                      owl:allValuesFrom iso-dm:ExpressInteger ;
                                      owl:onProperty list:hasContents
                                    ] [ rdf:type owl:Restriction ;
                                      owl:allValuesFrom
                                              [ rdf:type owl:Class ;
                                                owl:intersectionOf (list:OWLList [ rdf:type owl:Restriction ;
                                                            owl:allValuesFrom iso-dm:ExpressInteger ;
                                                            owl:onProperty list:hasContents
                                                          ])
                                              ] ;
                                      owl:onProperty list:isFollowedBy
                                    ])
                        ] ;
                owl:onProperty pca-dm:hasPosition
              ] ;
      pca-dmdoc:definition
              "A [multidimensional_object] is an [abstract_object] that is an ordered list of [thing]. The significance of the [multidimensional_object] is determined by being a member of a  [class_of_multidimensional_object] that indicates the role played by each of its elements." ;
      pca-dmdoc:example "EXAMPLE	[32, 1.8, 20] is a [multidimensional_object] that may be specified to be the input parameters for the function y=a+bx to convert 20 Celsius to Fahrenheit." ;
      pca-dmdoc:note "NOTE	The [multidimensional_object] [A,B,C] is different from [B,C,A]." .

iso-dm:MultidimensionalProperty
      pca-dmdoc:definition
              "A [multidimensional_property] is a [property] that is also a [multidimensional_object]." ;
      pca-dmdoc:example "EXAMPLE	A pump flow head characteristic is a [multidimensional_property]. It consists of a continuum of Q, H property pairs, where Q is the flow rate and H is the flowing head difference. Each pair of properties Qa and Ha, where Qa is a particular flow rate and Ha a particular head, is a [multidimensional_property] (Qa, Ha)." ;
      owl:disjointWith iso-dm:MultidimensionalScale , iso-dm:MultidimensionalNumberSpace .

iso-dm:MultidimensionalPropertySpace
      pca-dmdoc:definition
              "A [multidimensional_property_space] is a [property_space] and a [multidimensional_object] whose members are properties each of which maps to more than one number. Each property will consist of elements of the same property dimensions." ;
      pca-dmdoc:example "EXAMPLE	A pump performance curve of flowrate and differential head is a [multidimensional_property_space]." ;
      owl:disjointWith iso-dm:MultidimensionalScale , iso-dm:MultidimensionalNumberSpace , iso-dm:MultidimensionalProperty , iso-dm:MultidimensionalNumber .

iso-dm:MultidimensionalScale
      pca-dmdoc:definition
              "A [multidimensional_scale] is a [scale] that is also a [multidimensional_object]." ;
      pca-dmdoc:example "EXAMPLE	A [Celsius, seconds] scale is a [multidimensional_scale] on which temperature variation over time can be plotted." .

iso-dm:Namespace
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfInformationRepresentation ;
                owl:onProperty pca-dm:hasClassOfPart
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfInformationRepresentation ;
                owl:onProperty pca-dm:hasClassOfWhole
              ] ;
      pca-dmdoc:definition
              "A [namespace] is a [class_of_arrangement_of_individual] where the class_of_whole and class_of_part are members of [class_of_information_representation] and the part is the most significant part of the whole that is the namespace." ;
      pca-dmdoc:example "EXAMPLE	The STRING WC1: is the namespace in the identifier WC1:1234." ;
      owl:equivalentClass
              [ owl:unionOf (iso-dm:LeftNamespace iso-dm:RightNamespace)
              ] .

iso-dm:NumberRange
      pca-dmdoc:definition
              "A [number_range] is a one dimensional [number_space]." ;
      pca-dmdoc:example "EXAMPLE	The number space -273.1 to +infinity is a [number_range]." ;
      owl:disjointWith iso-dm:MultidimensionalNumberSpace .

iso-dm:NumberSpace
      pca-dmdoc:definition
              "A [number_space] is a [class_of_number] that is a continuum." ;
      pca-dmdoc:example "EXAMPLE	The integers from 1 to 5 and the reals from 0.000 to 1.000 are examples of [number_space]." ;
      owl:disjointWith iso-dm:EnumeratedNumberSet .

iso-dm:OtherRelationship
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Thing ;
                owl:onProperty pca-dm:hasEnd2
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasEnd1
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Thing ;
                owl:onProperty pca-dm:hasEnd1
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasEnd2
              ] ;
      pca-dmdoc:definition
              "An [other_relationship] is a [relationship] that is not a member of any of the other explicit subtypes of [relationship]. The meaning of an [other_relationship] is specified by a [classification] by an instance of [class_of_relationship_with_signature]." ;
      pca-dmdoc:example "EXAMPLE	The [relationship] that indicates that a car is manufactured by Ford can be represented by an instance of [other_relationship]. The [role_and_domain] that classifies the end_1 and end_2 attributes is given by the class_of_end_1 and class_of_end_2 attributes respectively for the [class_of_relationship_with_signature] that classifies the [other_relationship]. Where the [class_of_relationship_with_signature] is also a [class_of_relationship_with_related_end_1] or a [class_of_relationship_with_related_end_2] then the end_1 or end_2 respectively of the [other_relationship] shall take the value specified by the related attribute." ;
      owl:disjointWith iso-dm:PossibleRoleAndDomain , iso-dm:RepresentationOfThing , iso-dm:ResponsibilityForRepresentation , iso-dm:TemporalSequence , iso-dm:RelativeLocation , iso-dm:UsageOfRepresentation , iso-dm:Recognition , iso-dm:Specialization .

iso-dm:ParticipatingRoleAndDomain
      pca-dmdoc:definition
              "A [participating_role_and_domain] is a [role_and_domain] that is also a [class_of_individual] that indicates a participating role in an [activity]." ;
      pca-dmdoc:example "EXAMPLE	'Pumper and centrifugal pump' is an instance of  [participating_role_and_domain]." .

iso-dm:Participation
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Activity ;
                owl:onProperty pca-dm:hasWhole
              ] ;
      pca-dmdoc:definition
              "A [participation] is a [composition_of_individual] that indicates that a [possible_individual] is a participant in an [activity]." ;
      pca-dmdoc:example "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]." ;
      pca-dmdoc:note "NOTE	The [possible_individual] that is the part in the [participation] is may be a temporal part of a [whole_life_individual] that is classified by the [role_and_domain] that indicates the role it plays in the [activity]." ;
      owl:disjointWith iso-dm:TemporalBounding .

iso-dm:PeriodInTime
      pca-dmdoc:definition
              "A [period_in_time] is a [possible_individual] that is all space for part of time - a temporal part of the universe." ;
      pca-dmdoc:example """EXAMPLE 1	July 2000 is an instance of [period_in_time].
EXAMPLE 2	The period described by UTC 2000-11-21T06:00 to UTC 2000-11-21T11:53 is an instance of [period_in_time] compliant with ISO8601.""" .

iso-dm:Phase
      pca-dmdoc:definition
              "A [phase] is a [class_of_arranged_individual] based on the nature of the boundary behaviour of material resulting from its atomic and molecular bonding." ;
      pca-dmdoc:example "EXAMPLE	The classes known as 'liquid' and 'solid' can be represented by instances of [phase]." ;
      pca-dmdoc:note "NOTE	[phase] excludes types of internal structure such as crystalline. " .

iso-dm:PhysicalObject
      pca-dmdoc:definition
              """A [physical_object] is a [possible_individual] that is a distribution of
matter, energy, or both. """ ;
      pca-dmdoc:example """EXAMPLE 1	A piece of metal is a [physical_object].
EXAMPLE 2	A tree is a [physical_object]
EXAMPLE 3	The thing identified by tag P101 is a [physical_object].
EXAMPLE 4	A light beam is a [physical_object].
EXAMPLE 5	A tank that is built and dismantled on site is both a [materialized_physical_object] and  a [functional_physical_object].""" .

iso-dm:PointInTime
      pca-dmdoc:definition
              "An [event] that is the whole space extension with zero extent in time." ;
      pca-dmdoc:example "EXAMPLE	The time known as UTC 1999-05-13T16:31:23.56 is a [point_in_time]." ;
      pca-dmdoc:note "NOTE 	In using this part of ISO15926, a [point_in_time] should be represented by a [representation_of_Gregorian_date_and_UTC_time]." .

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

iso-dm:PossibleRoleAndDomain
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasPlayed
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:PossibleIndividual ;
                owl:onProperty pca-dm:hasPlayer
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasPlayer
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:RoleAndDomain ;
                owl:onProperty pca-dm:hasPlayed
              ] ;
      pca-dmdoc:definition
              "A [possible_role_and_domain] is a [relationship] that indicates that a player [possible_individual] can possibly play the played [role_and_domain]." ;
      pca-dmdoc:example "EXAMPLE	Acting as an anchor is a possible role for pump 1234." ;
      owl:disjointWith iso-dm:Specialization , iso-dm:RelativeLocation , iso-dm:Recognition , iso-dm:UsageOfRepresentation , iso-dm:TemporalSequence , iso-dm:RepresentationOfThing , iso-dm:ResponsibilityForRepresentation .

iso-dm:Property
      pca-dmdoc:definition
              "A [property] is a [class_of_individual] that is a member of a continuum of a [class_of_property]. The [property] may be quantified by mapping to a number on a scale." ;
      pca-dmdoc:example "EXAMPLE	A particular degree of hotness can be represented as an instance of [property]." ;
      pca-dmdoc:note """NOTE 1	A member of a [property] is a [possible_individual] that has the same degree or magnitude of the quality or characteristic represented by the [property] as other members.
NOTE 2	The types of characteristic or quality, such as temperature or density, are instances of [class_of_property].
NOTE 3	Duplicate properties (e.g. that map to the same number on the same scale) should not be created within the same data store.""" ;
      owl:disjointWith iso-dm:Status .

iso-dm:PropertyForShapeDimension
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasProperty
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Property ;
                owl:onProperty pca-dm:hasProperty
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasShapeDimension
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ShapeDimension ;
                owl:onProperty pca-dm:hasShapeDimension
              ] ;
      pca-dmdoc:definition
              "A [property_for_shape_dimension] is a [class_of_relationship] that indicates that the members of the [shape_dimension] are of the [property]." ;
      pca-dmdoc:example "EXAMPLE	10m diameter is a 10m length." .

iso-dm:PropertyQuantification
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Property ;
                owl:onProperty pca-dm:hasInput
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ArithmeticNumber ;
                owl:onProperty pca-dm:hasResult
              ] ;
      pca-dmdoc:definition
              "A [property_quantification] is a [functional_mapping] whose members map a [property] to an [arithmetic_number]." ;
      pca-dmdoc:example "EXAMPLE	The link that maps a particular mass to the number 4.2 can be represented by an instance of [property_quantification]." ;
      pca-dmdoc:note """NOTE 1	The actual representation of the number is done by linking the [arithmetic_number] to a [class_of_EXPRESS_information_representation] via a [class_of_representation_of_thing].
NOTE 2	The unit or scale of the quantification is given by classifying the [property_quantification] by a [scale].""" .

iso-dm:PropertyRange
      pca-dmdoc:definition
              "A [property_range] is a [property_space] that is a continuous subset of a [single_property_dimension]." ;
      pca-dmdoc:example "EXAMPLE	-10C to +20C is a [property_range] of temperature." .

iso-dm:PropertySpace
      pca-dmdoc:definition
              "A [property_space] is a [class_of_property] whose members are a coherent continuum of [property]." ;
      pca-dmdoc:example """EXAMPLE 1	The set of temperature properties, known as temperature, is a [property_space].
EXAMPLE 2	The members of the pressure and flow rate [class_of_property] that fall on a particular pump curve is a [property_space].""" ;
      owl:disjointWith iso-dm:EnumeratedPropertySet .

iso-dm:PropertySpaceForClassOfShapeDimension
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasPropertySpace
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:PropertySpace ;
                owl:onProperty pca-dm:hasPropertySpace
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasClassOfShapeDimension
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfShapeDimension ;
                owl:onProperty pca-dm:hasClassOfShapeDimension
              ] ;
      pca-dmdoc:definition
              "A [property_space_for_class_of_shape_dimension] is a [class_of_class_of_relationship] that indicates the [property_space] that a [class_of_shape_dimension] is from." ;
      pca-dmdoc:example "EXAMPLE	Diameter is a length dimension." .

iso-dm:RealNumber
      pca-dmdoc:definition
              "A [real_number] is an [arithmetic_number] that is a real number." ;
      pca-dmdoc:example "EXAMPLE	3.2146 is a representation of a real number." ;
      owl:disjointWith iso-dm:MultidimensionalNumber , iso-dm:IntegerNumber .

iso-dm:Recognition
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Thing ;
                owl:onProperty pca-dm:hasRecognized
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Activity ;
                owl:onProperty pca-dm:hasRecognizing
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasRecognized
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasRecognizing
              ] ;
      pca-dmdoc:definition
              "A [recognition] is a [relationship] that indicates that a [thing] is recognized through an [activity]." ;
      pca-dmdoc:example "EXAMPLE	Measurement activity #358 recognized that the room was a member of the 20 Celsius [property]." ;
      owl:disjointWith iso-dm:RelativeLocation , iso-dm:RepresentationOfThing , iso-dm:TemporalSequence , iso-dm:Specialization , iso-dm:ResponsibilityForRepresentation , iso-dm:UsageOfRepresentation .

iso-dm:Relationship
      pca-dmdoc:definition
              "A [relationship] is an [abstract_object] that indicates something that one thing has to do with another." ;
      pca-dmdoc:note "NOTE	Only classes of binary relationship are supported. More complex objects can be supported using [multidimensional_object] and [class_of_multidimensional_object]." ;
      owl:equivalentClass
              [ owl:unionOf (iso-dm:Approval iso-dm:CauseOfEvent iso-dm:ClassOfRelationshipWithSignature iso-dm:Classification iso-dm:ComparisonOfProperty iso-dm:CompositionOfIndividual iso-dm:ConnectionOfIndividual iso-dm:FunctionalMapping iso-dm:IndirectProperty iso-dm:IndividualUsedInConnection iso-dm:IntendedRoleAndDomain iso-dm:InvolvementByReference iso-dm:LifecycleStage iso-dm:OtherRelationship iso-dm:PossibleRoleAndDomain iso-dm:Recognition iso-dm:RelativeLocation iso-dm:RepresentationOfThing iso-dm:ResponsibilityForRepresentation iso-dm:Specialization iso-dm:TemporalSequence iso-dm:UsageOfRepresentation)
              ] .

iso-dm:RelativeLocation
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasLocator
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasLocated
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:PossibleIndividual ;
                owl:onProperty pca-dm:hasLocated
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:PossibleIndividual ;
                owl:onProperty pca-dm:hasLocator
              ] ;
      pca-dmdoc:definition
              "A [relative_location] is a [relationship] that indicates that the position of one [possible_individual] is relative to another." ;
      pca-dmdoc:example "EXAMPLE	A being the located relative to B being the locator in a [relative_location] that is classified by the [class_of_relative_location] above, indicates that A is above B." ;
      pca-dmdoc:note "NOTE	The [classification] of the [relative_location] indicates the nature of the [relative_location], e.g. above, below, beside." ;
      owl:disjointWith iso-dm:Specialization , iso-dm:UsageOfRepresentation , iso-dm:TemporalSequence , iso-dm:RepresentationOfThing , iso-dm:ResponsibilityForRepresentation .

iso-dm:RepresentationForm
      pca-dmdoc:definition
              "A [representation_form] is a  [class_of_class_of_information_representation] that distinguishes the form of representation." ;
      pca-dmdoc:example "EXAMPLE	Hexadecimal, text, script, symbol, picture, diagram, semaphore, Morse code, music score, MIDI file format, and XML can each be represented by instances of [representation_form]." ;
      owl:disjointWith iso-dm:DocumentDefinition , iso-dm:Language .

iso-dm:RepresentationOfGregorianDateAndUtcTime
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom xsd:long ;
                owl:onProperty pca-dm:hasMonth
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasSecond
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom xsd:long ;
                owl:onProperty pca-dm:hasDay
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasYear
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom xsd:long ;
                owl:onProperty pca-dm:hasMinute
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasHour
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasMonth
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom xsd:double ;
                owl:onProperty pca-dm:hasSecond
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom xsd:long ;
                owl:onProperty pca-dm:hasHour
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasDay
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom xsd:long ;
                owl:onProperty pca-dm:hasYear
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasMinute
              ] ;
      pca-dmdoc:definition
              "A [representation_of_Gregorian_date_and_UTC_time] is a [class_of_information_representation] whose members are representations of time using the UTC system of time identification as specified in ISO 8601:2000 together with the Gregorian system for representing dates. All times shall be represented using UTC representation of time. Dates shall follow the Gregorian calendar." ;
      pca-dmdoc:note "NOTE	Coordinated Universal Time (UTC) is the basis for legal time worldwide and follows TAI (see below) exactly except for an integral number of seconds, presently 32. These leap seconds are inserted on the advice of the International Earth Rotation Service (IERS) (http://hpiers.obspm.fr) to ensure that, on average over the years, the Sun is overhead within 0.9 seconds of 12:00:00 UTC on the meridian of Greenwich. UTC is thus the modern successor of Greenwich Mean Time, GMT, which was used when the unit of time was the mean solar day. International Atomic Time (TAI) is calculated by the BIPM from the readings of more than 200 atomic clocks located in metrology institutes and observatories in more than 30 countries around the world. TAI is made available every month in the BIPM Circular T (ftp://62.161.69.5/pub/tai/publication). It is estimated that TAI does not lose or gain with respect to an imaginary perfect clock by more than about one tenth of a microsecond (0.0000001 second) per year." .

iso-dm:RepresentationOfThing
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:PossibleIndividual ;
                owl:onProperty pca-dm:hasSign
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Thing ;
                owl:onProperty pca-dm:hasRepresented
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasSign
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasRepresented
              ] ;
      pca-dmdoc:definition
              "A [representation_of_thing] is a [relationship] that indicates that a [possible_individual] is a sign for a [thing]." ;
      pca-dmdoc:example "EXAMPLE	The relationship between a nameplate with its serial number and other data, and a particular pressure vessel ([materialized_physical_object]) is an example of [representation_of_thing] that is an [identification]." ;
      pca-dmdoc:note "NOTE	In general it will be [class_of_representation_of_thing] that will be of interest, rather than each [representation_of_thing]. However, [representation_of_thing] will be of interest when individual copies of documents are managed and controlled." ;
      owl:disjointWith iso-dm:TemporalSequence , iso-dm:UsageOfRepresentation , iso-dm:Specialization , iso-dm:ResponsibilityForRepresentation .

iso-dm:ResponsibilityForRepresentation
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:PossibleIndividual ;
                owl:onProperty pca-dm:hasController
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasControlled
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:RepresentationOfThing ;
                owl:onProperty pca-dm:hasControlled
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasController
              ] ;
      pca-dmdoc:definition
              "A [responsibility_for_representation] is a [relationship] that indicates that the controller [possible_individual] administers the controlled [representation_of_thing]." ;
      pca-dmdoc:example "EXAMPLE	The responsibility for the administration of this standard lies with ISO." ;
      owl:disjointWith iso-dm:Specialization , iso-dm:TemporalSequence , iso-dm:UsageOfRepresentation .

iso-dm:RightNamespace
      pca-dmdoc:definition
              "A [right_namespace] is a [namespace] that indicates that the [class_of_part] is the right most part of the [class_of_whole]." ;
      pca-dmdoc:example "EXAMPLE	When ZH is the namespace in 5367ZH, this is indicated by a [right_namespace] relationship between them." ;
      owl:disjointWith iso-dm:LeftNamespace .

iso-dm:Role
      pca-dmdoc:definition
              "A [role] is a [role_and_domain] that indicates what some thing has to do with an [activity], [relationship], or [multidimensional_object]." ;
      pca-dmdoc:example """EXAMPLE 1	Employee is a [role] that indicates what a temporal part of a person has to do with an employment relation.
EXAMPLE 2	Pumper is a [role] that indicates what a temporal part of a pump has to do with a pumping activity.""" .

iso-dm:RoleAndDomain
      pca-dmdoc:definition
              "A [role_and_domain] is a [class] that specifies the domain and role  for an end of a [class_of_relationship] or [class_of_multidimensional_object]." ;
      pca-dmdoc:example "EXAMPLE	\"Husband and man\" and \"wife and woman\" are examples of [role_and_domain]." ;
      pca-dmdoc:note "NOTE	A [role_and_domain] is analogous to specifying an EXPRESS attribute or its inverse." .

iso-dm:Scale
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:NumberSpace ;
                owl:onProperty pca-dm:hasCodomain
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:PropertySpace ;
                owl:onProperty pca-dm:hasDomain
              ] ;
      pca-dmdoc:definition
              "A [scale] is a [class_of_isomorphic_functional_mapping] whose members are members of [property_quantification]. It indicates the [number_space] a [property_space] maps to for the [scale] in question." ;
      pca-dmdoc:example "EXAMPLE	The link that is known as the Celsius scale between the [class_of_number] [-273, inf] and the [class_of_property] temperature can be represented by an instance of [scale]." ;
      owl:disjointWith iso-dm:ClassOfScaleConversion .

iso-dm:Shape
      pca-dmdoc: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." ;
      pca-dmdoc:example """EXAMPLE 1	20mm diameter circle and 10-20mm diameter circles are examples of [shape].
EXAMPLE 2	Irregular forms such as the outer envelope of a model of pump can be represented by instances of [shape].""" .

iso-dm:ShapeDimension
      pca-dmdoc:definition
              "A [shape_dimension] is a [class_of_class_of_individual] that is a set of [individual_dimension] that define an aspect of a shape." ;
      pca-dmdoc:example "EXAMPLE	Diameter of 5m, height of 3mm, and width of 10cm are members of [shape_dimension]." .

iso-dm:SinglePropertyDimension
      pca-dmdoc:definition
              "A [single_property_dimension] is a [property_space] that is a single and complete continuum of properties each of which maps to a single number." ;
      pca-dmdoc:example "EXAMPLE	Temperature, pressure, viscosity, and length are examples of [single_property_dimension]." .

iso-dm:SpatialLocation
      pca-dmdoc:definition
              "A [spatial_location] is a [physical_object] that has continuity of relative position." ;
      pca-dmdoc:example "EXAMPLE	Geographic datum, license block, construction area, country, air corridor, maritime traffic zone, hazard control zone, 4D points, lines, planes, solids." .

iso-dm:Specialization
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Class ;
                owl:onProperty pca-dm:hasSubclass
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Class ;
                owl:onProperty pca-dm:hasSuperclass
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasSubclass
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasSuperclass
              ] ;
      pca-dmdoc:definition
              "A [specialization] is a [relationship] that indicates that all members of the subclass are members of the superclass. [specialization] is transitive. " ;
      pca-dmdoc:example "EXAMPLE	Centrifugal pump is a [specialization] of pump." ;
      pca-dmdoc:note "NOTE	If A is a [specialization] of B and B is a [specialization] of C, then A is necessarily a [specialization] of C." ;
      owl:disjointWith iso-dm:UsageOfRepresentation , iso-dm:TemporalSequence .

iso-dm:SpecializationByDomain
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:RoleAndDomain ;
                owl:onProperty pca-dm:hasSubclass
              ] ;
      pca-dmdoc:definition
              "A [specialization_by_domain] is a [specialization] that indicates that the member of the [role_and_domain] is a [specialization] of the domain [class]." ;
      pca-dmdoc:example "EXAMPLE	Manufacturing company is a specialization of the company domain." ;
      owl:disjointWith iso-dm:SpecializationOfIndividualDimensionFromProperty , iso-dm:SpecializationByRole .

iso-dm:SpecializationByRole
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:RoleAndDomain ;
                owl:onProperty pca-dm:hasSubclass
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Role ;
                owl:onProperty pca-dm:hasSuperclass
              ] ;
      pca-dmdoc:definition
              "A [specialization_by_role] is a [specialization] that indicates that the [role_and_domain] is of the [role] indicated by the superclass." ;
      pca-dmdoc:example "EXAMPLE	Manufacturing company is a specialization by role of manufacturer." ;
      owl:disjointWith iso-dm:SpecializationOfIndividualDimensionFromProperty .

iso-dm:SpecializationOfIndividualDimensionFromProperty
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:IndividualDimension ;
                owl:onProperty pca-dm:hasSubclass
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Property ;
                owl:onProperty pca-dm:hasSuperclass
              ] ;
      pca-dmdoc:definition
              "A [specialization_of_individual_dimension_from_property] is a [specialization] that indicates the members of the dimension are members of the property." ;
      pca-dmdoc:example "EXAMPLE	A diameter of 10m is a length of 10m." .

iso-dm:Status
      pca-dmdoc:definition
              "A [status] is a [class_of_individual] that is a characteristic or quality that is described by discrete, unordered values." ;
      pca-dmdoc:example "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]." ;
      pca-dmdoc:note "NOTE	Degrees of openness or paintedness are represented as instances of [property] and not instances of [status]." .

iso-dm:Stream
      pca-dmdoc:definition
              "A [stream] is a [physical_object] that is material or energy moving along a path, where the path is the basis of identity and may be constrained. The stream consists of the temporal parts of those things that are in the stream whilst they are in it." ;
      pca-dmdoc:example """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].""" .

iso-dm:TemporalBounding
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Event ;
                owl:onProperty pca-dm:hasPart
              ] ;
      pca-dmdoc:definition
              "A [temporal_bounding] is a [composition_of_individual] that indicates that the part [event] is a temporal boundary of the whole [possible_individual]." ;
      owl:equivalentClass
              [ owl:unionOf (iso-dm:Beginning iso-dm:Ending)
              ] .

iso-dm:TemporalSequence
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasPredecessor
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:PossibleIndividual ;
                owl:onProperty pca-dm:hasPredecessor
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasSuccessor
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:PossibleIndividual ;
                owl:onProperty pca-dm:hasSuccessor
              ] ;
      pca-dmdoc:definition
              "A [temporal_sequence] is a [relationship] that indicates that one [possible_individual] precedes another in a temporal sense." ;
      pca-dmdoc:example """EXAMPLE 1	The [relationship] that indicates that the [possible_individual] that is the construction phase of a plant precedes the [possible_individual] that is the commissioning phase of a plant can be represented by an instance of [temporal_sequence].
EXAMPLE 2	The [relationship] that indicates that the [period_in_time] known as the industrial revolution preceded the [period_in_time] known as the information revolution can be represented by an instance of [temporal_sequence].""" ;
      owl:disjointWith iso-dm:UsageOfRepresentation .

iso-dm:TemporalWholePart
      pca-dmdoc:definition
              "A [temporal_whole_part] is a [composition_of_individual] that indicates that one [possible_individual] is a temporal part of another [possible_individual]. The spatial extent of the temporal part is that of the temporal whole for the period of the existence of the temporal part. Relationships that apply to the whole [possible_individual] also apply to the temporal parts of the [possible_individual], except when the relationships relate to the temporal nature of the whole. So if a [possible_individual] is connected so are all its temporal parts, but being a [whole_life_individual] is not inherited by its temporal parts." ;
      pca-dmdoc:example """EXAMPLE 1	The relation that indicates that an operating period of a pump is a temporal part of the pump can be represented by an instance of [temporal_whole_part].
EXAMPLE 2	The relationship that indicates that the time period known as March 1999 is part of the period known as 1st Quarter 1999 can be represented by an instance of [temporal_whole_part].""" ;
      pca-dmdoc:note "NOTE	Since [temporal_whole_part] is transitive (inherited from its supertype) a hierarchy of temporal parts is possible, with a [whole_life_individual] at the top." ;
      owl:disjointWith iso-dm:TemporalBounding , iso-dm:Participation .

iso-dm:Thing
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasWhyDeleted
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasRecordLogicallyDeleted
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasRecordCopyCreated
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasRecordCreated
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasRecordCreator
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:RepresentationOfGregorianDateAndUtcTime ;
                owl:onProperty pca-dm:hasRecordLogicallyDeleted
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:RepresentationOfGregorianDateAndUtcTime ;
                owl:onProperty pca-dm:hasRecordCreated
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom xsd:normalizedString ;
                owl:onProperty pca-dm:hasId
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ClassOfInformationRepresentation ;
                owl:onProperty pca-dm:hasWhyDeleted
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasId
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:PossibleIndividual ;
                owl:onProperty pca-dm:hasRecordCreator
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:RepresentationOfGregorianDateAndUtcTime ;
                owl:onProperty pca-dm:hasRecordCopyCreated
              ] ;
      pca-dmdoc: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 [possible_individual], or an [abstract_object]." ;
      pca-dmdoc:note """NOTE 1	Every [thing] is identifiable within a system. System identifiers created by other systems and received as part of a data exchange may be stored for future reference as an identification, referring to the originating organisation or system.
NOTE 2	Every example provided for other entity data types declared in this schema is also an example of [thing].""" ;
      owl:equivalentClass
              [ owl:unionOf (iso-dm:AbstractObject iso-dm:PossibleIndividual)
              ] .

iso-dm:UnionOfSetOfClass
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:EnumeratedSetOfClass ;
                owl:onProperty pca-dm:hasInput
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Class ;
                owl:onProperty pca-dm:hasResult
              ] ;
      pca-dmdoc:definition
              "A [union_of_set_of_class] is a [functional_mapping] that indicates that the membership of the result [class] is the union of the members of the [enumerated_set_of_class] classes." ;
      pca-dmdoc:example "EXAMPLE The union of the [enumerated_set_of_class] {{A,B,C},{B,C,D},{C,D,E}} is {A,B,C,D,E}." .

iso-dm:UpperBoundOfNumberRange
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:ArithmeticNumber ;
                owl:onProperty pca-dm:hasClassified
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:NumberRange ;
                owl:onProperty pca-dm:hasClassifier
              ] ;
      pca-dmdoc:definition
              "An [upper_bound_of_number_range] is a [relationship] that indicates an [arithmetic_number] is the largest value in a [number_range]." ;
      pca-dmdoc:example "EXAMPLE	5.3 is the upper bound of the range [3.1 to 5.3]." .

iso-dm:UpperBoundOfPropertyRange
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:Property ;
                owl:onProperty pca-dm:hasClassified
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:PropertyRange ;
                owl:onProperty pca-dm:hasClassifier
              ] ;
      pca-dmdoc:definition
              "An [upper_bound_of_property_range] is a [classification] that indicates that the [property] is the upper bound of the [property_range]." ;
      pca-dmdoc:example "EXAMPLE	+20 Celsius is the upper bound of the range -10 to +20 Celsius." .

iso-dm:UsageOfRepresentation
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasUser
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:PossibleIndividual ;
                owl:onProperty pca-dm:hasUser
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:cardinality "1"^^xsd:nonNegativeInteger ;
                owl:onProperty pca-dm:hasUsed
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom iso-dm:RepresentationOfThing ;
                owl:onProperty pca-dm:hasUsed
              ] ;
      pca-dmdoc:definition
              "A [usage_of_representation] is a [relationship] that indicates that the [representation_of_thing] is used by the [possible_individual]. Usage does not imply responsibility." ;
      pca-dmdoc:example "EXAMPLE	The sign \"P101\" is used by the XYZ company to represent a particular pump in a design." .

iso-dm:WholeLifeIndividual
      pca-dmdoc:definition
              "A [whole_life_individual] is a [possible_individual] that is a member of a [class_of_individual], and is not a temporal part of any other [possible_individual] that is also a member of the same [class_of_individual]. A [whole_life_individual] includes its past and future. " ;
      pca-dmdoc:example """EXAMPLE 1	A plastic cup (bounded by its creation and destruction [event]s) can be represented by an instance of [whole_life_individual]. The cup whilst it stands on this table is a temporal part of this [whole_life_individual].
EXAMPLE 2	The universe for all time is a [whole_life_individual].""" ;
      pca-dmdoc:note "NOTE	A possible future temporal part of the [whole_life_individual] is a [possible_individual] that is related to the [whole_life_individual] by a [temporal_whole_part] relation." .