ClassOfInformationObjectHasFormatBeforeClassOfEvent
0F656D952BD942CAAB33DBE9CBED1DBA
UPDATED MAR2023
docHasFormatBeforeEvent
Any member of [EssentialType] class [hasPossessorType] has a [hasFormat] format before [hasEventType]
coDocumentHasFormatBeforeEventThe contents of members of a ClassOfInformationObject, before the occurrence members of a ClassOfEvent, are in a given format.
Members of document type "PIPING ISOMETRIC DRAWING" shall have a PDF format before the START OF FABRICATION.
At instantiation of this template it is mandatory to add meta:valEffectiveDate with the dateTime that the represented information became effective.
CL-DOCS-260-20220129.png
[1]
dm:ClassOfInformationObject
[2]
dm:RepresentationForm
[3]dm:ClassOfEvent[4]dm:ClassOfTemporalWholePart
[5]dm:ClassOfInformationObject[6]dm:Specialization[7]dm:ClassOfInformationRepresentation[8]dm:Classification[9]dm:ClassOfClassOfInformationRepresentation[10]dm:Specialization[11]dm:ClassOfTemporalSequence
1hasDocumentdm:ClassOfInformationObject2hasFormatdm:RepresentationFormuse the ID from RDL3hasEventTypedm:ClassOfEventuse the ID from RDL
ClassOfInformationObject(hasDocument) &
RepresentationForm(hasFormat) &
ClassOfEvent(hasEventType) &
exists u1 exists u2 exists u3(
ClassOfInformationObject(u1) &
ClassOfTemporalWholePartTemplate(u1, hasDocument) &
ClassOfTemporalSequenceTemplate(u1, hasEventType) &
ClassOfInformationRepresentation(u2) &
SpecializationTemplate(u1, u2) &
ClassOfClassOfInformationRepresentation(u3) &
ClassificationTemplate(u2, u3) &
SpecializationTemplate(u3, hasFormat)) .]]>