InformationOnIndividualDocumentR194854EE2CD94674987A5C91B8F642F3MMT APPROVEDTemplateForIndividualInDocumentDocument [hasDocument] is a member of document class [hasDocumentType] which contains[hasInformation] information.A temporal part of an instance of InformationObject is classified with a class-of-temporal-part of an instance of ClassOfInformationObject which is a specialization of a class-of-temporal-part of an instance of ClassOfInformationRepresentation.The physical file of the Shape Catalog for PandID symbols is a member of a given Shape Catalog, and theinformation content of the latter is defined with a specialization of a given Shape Catalog Contents.That ClassOfInformationRepresentation can be defined with other templates.InformationOnIndividualDocument.png1dm:InformationObject2dm:ClassOfInformationObject3dm:ClassOfInformationRepresentation4dm:TemporalWholePart5dm:InformationObject6dm:Classification7dm:ClassOfTemporalWholePart8dm:ClassOfInformationObject9dm:Specialization10dm:ClassOfTemporalWholePart11dm:ClassOfInformationRepresentation12dm:Beginning13dm:PointInTime14dm:ClassOfidentification15dm:RepresentationOfGregorianDateAndUtcTime1hasDocumentdm:InformationObject2hasDocumentTypedm:ClassOfInformationObject3hasInformationdm:ClassOfInformationRepresentation
InformationObject(x1) &
ClassOfInformationObject(x2) &
ClassOfinformationRepresentation(x3) &
exists u1 exists u2 exists u3 exists u4 exists u5(
TemporalWholePartTemplate(u1, x1) &
InformationObject(u1) &
ClassificationTemplate(u1, u2) &
ClassOfTemporalWholePartTemplate(u2, x2) &
ClassOfInformationObject(u2) &
SpecializationTemplate(u2, u3) &
ClassOfTemporalWholePartTemplate(u3, x3) &
ClassOfinformationRepresentation(u3) &
BeginningTemplate(u4, u1) &
PointInTime(u4) &
ClassOfIdentificationTemplate(u5, u4) &
RepresentationOfGregorianDateAndUtcTime(u5) .]]>