ClassOfCompositionDefinition
R823CE5C0E8D04CC6BCA985F818DFC40C
UPDATED MAR2023
coHasAsCompositionPartMembers of a ClassOfIndividual have members of another ClassOfIndividual as a part of a composition, with Cardinalities; the defined ClassOfCompositionOfIndividual can be used for the classification of instances of CompositionOfIndividual at Individual level.
Fluid A is a component of Fluid Mixture M. The latter can have zero to infinite components.
At instantiation of this template it is mandatory to add meta:valEffectiveDate with the dateTime that the represented information became effective.
TemplateForStructureOfClass[hasCardinalityOfWhole] member(s) of [EssentialType] class [hasClassOfWhole] have [hasCardinalityOfPart] member(s) of [EssentialType] class [hasClassOfPart] as parts in a compositionCL-STRUC-060-20220129.png
[1]
dm:ClassOfArrangedIndividual
[2]
dm:ClassOfIndividual
[3]dm:ClassOfCompositionOfIndividual
[4]dm:Cardinality[5]dm:Cardinality[6]dm:ClassOfTemporalWholePart[7]dm:ClassOfArrangedIndividual[8]dm:ClassOfTemporalWholePart[9]dm:ClassOfIndividual
1hasClassOfWholedm:ClassOfArrangedIndividual2hasClassOfPartdm:ClassOfIndividual3hasDefineddm:ClassOfCompositionOfIndividual4hasCardinalityOfWholedm:Cardinality5hasCardinalityOfPartdm:Cardinality
ClassOfIndividual(hasClassOfWhole) &
ClassOfIndividual(hasClassOfPart) &
ClassOfCompositionOfIndividualTriple(hasDefined, u2, u1) &
Cardinality(hasCardinalityOfWhole) &
Cardinality(hasCardinalityOfPart) &
exists u1 exists u2(
ClassOfTemporalWholePartTemplate(u1, hasClassOfWhole) &
ClassOfIndividual(u1) &
ClassOfTemporalWholePartTemplate(u2, hasClassOfPart) &
ClassOfIndividual(u2) &
end1Cardinality(hasDefined, hasCardinalityOfWhole) &
end2Cardinality(hasDefined, hasCardinalityOfPart)) .]]>