ГОСТ Р 56271-2014
DimensiooOfShapeTnple(x; у; z) -» DimensionOfShape(x) лhasDimension(x; у)АhasShape(x: z)
Dimer*stonOfShapeTemplate(y: z) «—9u(DimensionOfShapeTriple(u: y; z))
FunctionalMappingTriple(x: y; z) ♦- FunctionalMapping(x)Ahaslnput(x: у) лhasResult(x: z)
Functk>nalMappingTemplate(y: z)«-»9u{FunctionalMappir>gTriple(u; y; z))
lndirectPropertyTriple(x: y; z) •—IndirectProperty(x)AhasPossessorfx; y)AhasProperty(x; z)
lndirectPropertyTemplate(y: z)*- 9u(lndirectPropertyTriple(u; y; z>)
lndrvidoalUsedlnConnectionTriple(x: y; z) -♦ lndividualUsedlnConneclion(x)AhasConnection(x: y)AhasUsage(x: z)
lndividualUsedlnConnectionTemplate(y: z) «-• 9u{lndividualUsedlnConnectionTriple(u: y; z))
lntendedRoleAndDomainTriple(x; y: z) •—lntendedRoleAndDomain(x)AhasPlayed(x: y) ft hasPlayer(x; z)
lntendedRoleAndDomainTemplate(y; z)9u(lntendedRoleAndDomainTriple{u; y; z))
lntersedionOfSetOfClassTripte(x; y: z) *- IntersectionOfSetOfCtass(x) Ahaslnput(x; y)AhasResultfx: z)
lntersectionOfSetOfClassTemplate(y; z)9u(lntersectK)nOfSetOfClassTrip!e(u: y; z))
lnvotvementByReferenceTriple(x; y; z) -• InvolvementByReference(x) Ahaslnvolved(x; y)Ahaslnvolver(x; z)
lnvolvementByReferenceTemplate(y; z) «-*9u(lnvolvementByReferenceTripl©{u; y: z))
LifecycleStageTrip!e(x; y; z)LifecycleStage(x)Ahaslnterest(x; y)Ahaslnterested(x; z)
LifecycleStageTemplate(y; z) <-• 9u(Li{ecydeStageTnple{u; y; z))
LowerBoundOfNumberRangeTripte(x; y: z) ♦-
LowerBoundOfNumberRange(x) AhasClassified(x: y) AhasClassirier(x; z)
LowerBoundOfNumbefRang
0
TempIate(y; z) «-*9u(Lo-/.erBoundOfNumberRar>geTriple(u; y: z))
LowerBoundOfPropertyRangeTripJe<x: y: z)
LowerBound01Prop€rtyRange(x) AhasClassified(x; y) AhasClassif»er(x; z)
LowerBoundOfPropertyRangeTemplate(y; z) — 9u(L<werBoundOfPropertyRangeTriple(u: y; z))
OtherRelationshipTrip»e(x; y; z)OtherReiationship(x)AhasEnd1(x; y)AhasEnd2(x; z)
Other RelalionshipTemplate(y: z) -• 9u(OtherRelationshipTriple(u: y: z))
PossibleRoteAndDomainTriple(x; y; z) —• PossibteRoleAndDomain(x) AhasPlayed(x: y)AhasPlayer(x; z)
PossibleRoleAndDomainTemplate(y; z) *-*9u(PossibleRoleAndDomainTripIe(u; y; z))
PropertyForShapeOimensionTriple(x; y: z) •-
PropertyForShapeDimension(x)AhasProperty(x; y)AhasShapeDimension(x; z)
PropertyForShapeOimensionTemplate(y; z) -• 9u(PropertyForShapeDimensionTnple(u: y: z))
PropertyOuantificationTriple(x; y: z) *- PropertyQuantiFication{x)Ahaslnput(x: у) AhasResult(x: z)
PropertyQuantificationTemplatefy; z) -* 9u(PropertyQuantificationTriple(u; y; z))
PropertySpaceForClassOfShapeOimensionTripte(x; y: z) »-♦
PropertySpaceForClassOfShapeOimension(x) AhasClassOfShapeDimension(x; y) AhasPropertySpace(x; z)
PropertySpaceForClassOfShapeDimensionTemplate{y; z)9u(PropertySpaceForClassOfShapeOimensionTriple(u; y; z))
RecognitionTriple(x; y; z) —• Recognition(x) лhasRecognized(x; y)AhasRecognizing(x; z)
RecognitionTemplate(y; z) •-»9u(RecognitionTrip!e(u; y: z))
RelativeLocationTriple(x; y. z) *- RelativeLocation{x) AhasLocated(x; y)AhasLocator(x; z)
RelaliveLocationTemplate(y; z) -♦ 9u(RelativeLocationTriple(u; y; z))
RepresentationOfThingTriple(x: y; z) •-»RepresentabonOfThir>g(x)лhasRepresented(x; y) AhasSign(x; z)
RepresentationOfThingTemp!ate(y: z) — 9u{RepresentationOfThir>gTriple(u; y; z))
ResponsibilityForRepresentationTriple(x: y; z) -*
ResponsibilityForRepresentation(x)AhasControlted(x: у) лhasController(x; z)
ResponsibihtyForRepresentationTemplate(y; z) *-♦9u{ResponsibitityForRepresentationTriple(u; y; z))
ScaleTripte(x; y: z) *- Scale(x)AhasCodomam(x: y)AhasDomain(x; z) ScateTemplate(y; z) S9u(ScaleTriple<u; y: z))
SpecializationTnple(x: y: z) -« Specialization(x)AhasSubclass{x; y)AhasSuperclass(x: z)
SpedalizationTemplate(y: z) *-* 9u(Specializat»onTriple{u; y; z))
SpedalizationByRoleTripte(x; y: z) ♦-»SpecializationByRole(x) AhasSubdass(x; y)AhasSuperclass(x; z)
SpedalizationByRoleTemplate(y; z)«—9u(SpeaalizationByRoleTripIe(u; y; z))
SpedalizationOflndividualDimensionFromPropertyTriple(x; y; z) •-»
SpedalizationOflndividualDimensionFromProperty(x) AhasSubdass(x; y)AhasSuperdass(x; z)
SpedatizationOflndividualDimensionFromPropertyTemplate(y; z)
9u(Specializatk>nOflndiv(dualDimensionFromPropertyTriple{u; y: z))
TemporatSequenceTriple{x; y. z)Tempora)Sequence(x)AhasPredecessor(x; y) AhasSuccessor(x; z)
TemporalSequenceTemplate(y; z) ♦-»9u(Tempora!SequenceTrip)e(u; y; z))
UnionOfSetOfClassTriple<x; y: z)UreonOfSetOfClass(x)Ahaslnput(x; y)AhasResult(x; z)
UnionOfSetOfClassTemplate(y: z) — 9u(UnionOtSetO(ClassTriple(u; y: z))
UpperBoundOfNumberRangeTriple(x; y: z)
UpperBoundOtNumberRange<x) AhasCtassified(x: y) AhasCtassifier(x; z)
UpperBoundOfNumberRangeTemplate(y. z )«-»9u(UpperBoundOfNumberRangeTriple{u; y: z))
UpperBoundOfPropertyRangeTriple(x; y: z) ♦-
70