DefinitionOfDocumentContentsFormat
90F66448499A49EEA9D5EC654A135551
UPDATED MAR2023
coDocumentHasContentsInFormatDefining that the contents of a ClassOfInformationObject are in a given format by making it a specialization of a ClassOfInformationRepresentation, that is classified with a RepresentationForm.
The API 610 PUMP DATA SHEET has contents that are in ASCII format.
TemplateForClassInDocumentAny member of [EssentialType] class [hasDocument] has contents that are represented in [hasFormat] RepresentationFormCL-DOCS-250-20220129.png
[1]
dm:ClassOfInformationObject
[2]
dm:RepresentationForm
[3]dm:ClassOfTemporalWholePart[4]dm:ClassOfOfInformationObject[5]dm:Specialization[6]dm:ClassOfExpressInformationRepresentation[7]dm:Classification[8]dm:ClassOfClassOfInformationRepresentation[9]dm:Specialization
1hasDocumentdm:ClassOfInformationObject2hasFormatdm:RepresentationForm
ClassOfInformationObject(hasDocument) &
RepresentationForm(hasFormat) &
exists u1 exists u2 exists u3(
ClassOfTemporalWholePartTemplate(u1, hasDocument) &
ClassOfInformationObject(u1) &
SpecializationTemplate(u1, u2) &
ClassOfExpressInformationRepresentation(u2) &
ClassificationTemplate(u2, u3) &
ClassOfClassOfInformationRepresentation(u3) &
SpecializationTemplate(u3, hasFormat)) .]]>