ГОСТ Р 56271-2014
Fur>ctk>nalMapping(x) — 9y(haslnput(x: у))
FunctionalMapping(x)Аhaslnput(x; у)Аhaslnput(x; z) — у =z
haslnterest(x; у) -♦ (LifecycleStage(x))
LifecycleStage(x)Ahaslnterest(x; y) -• Possiblelndividual(y)
LifecycleStage(x) — 9y{haslnterest(x; y))
LifecycleStage(x) лhaslnterest(x; y)Ahaslnterest(x; z) -♦ у = z
haslnterested(x; y) — (LifecydeStage(x))
LifecycleStage(x) Ahaslnterested(x; y) —* Possiblelndividual(y)
LifecycleStage(x) — 9y{haslnterested(x; y))
LifecycleStage(x)Ahaslnterested(x; y)Ahaslnteresled(x; z) —у = z
haslnvolved(x; y) -♦ (InvolvementByReference(x))
InvotvementByReference(x) AhaslnvoJved{x; y) — Thing(y)
lnvolvementByReference<x) — 9y(haslnvo<ved(x: y))
lnvo!vementByReference(x) лhaslnvo)ved{x: у)Ahaslnvolved(x; z) — у =z
haslnvolver(x: y) —»(InvolvementByRelerence(x))
IrwotvementByReference(x) лhaslnvolver(x; y) —Activily(y)
lnvotvementByReference{x) — 9y(haslnvolver(x; y))
lnvo!vementByReference<x) лhaslnvolver(x: y)Ahaslnvolver(x; z) -♦ у = z
hasLesserElement(x; y) -* (ComparisonOfProperty(x))
ComparisonOfProperty(x)AhasLesserElement(x: y) — Property(y)
ComparisonOfProperty(x) -• 9y(hasLesserElement(x; y))
CompansonOfProperty(x)AhasLesserElement(x: у) AhasLesserElement(x; z) — у =z
hasLocated(x: y) — (RelativeLocation(x))
RelativeLocation(x) AhasLocated(x; y) — Possiblelndividual(y)
RelativeLocation(x) — 9y(hasLocated(x; y))
RelativeLocation(x) AhasLocated(x; y) AhasLocated(x; z) — у =z
hasLocator<x; y) -♦ (RelativeLocation(x))
Re!ativeLocation{x) AhasLocator(x; y)Possiblelndiv»dual(y)
RelativeLocation(x) — 9y(hasLocator(x; y))
RelativeLocation(x) AhasLocator(x; y) AhasLocator(x; z) — у =z
hasMaximumCardinality(x; y) -* (Cardinality(x))
Cardinality(x)AhasMaximumCardinaIity(x; y) -* INTEGER(y)
Cardinality(x)AhasMaximumCardinatity(x: y)AhasMaxirrvumCardinality(x: z) —»у =z
hasMinimumCardinality{x; y) -* (Cardinality(x))
Cardinality(x)AhasMinimumCardinality(x: y) —»INTEGER(y)
Cardinality(x)AhasMinimumCardinality(x: у) лhasMinimumCardinality(x: z) -* у = z
hasMinute(x: y) — {RepresentationOfGregohanDateAndUtcTime{x))
RepresentalionOfGregorianDateAndlltcTime(x) лhasMinute(x: y) -►INTEGER(y)
Repres
0
ntationOfGregorianDateAr>dUtcTime{x) лhasMinute(x; y)AhasMinute(x; z) — у =z
hasMonth{x; y) — (RepresentationOfGregonanDateAndUtcTime(x))
RepresentationOfGregorianDateAndUtcTime(x) AhasMonth(x; y) -» INTEGER(y)
RepresentationOfGregorianDateAndUtcTime(x) AhasMonth(x; y)AhasMonth(x; z) — у =z
hasOptionalElement(x; y) — (ClassOfMultidimensionalObject(x))
ClassOfMultidimercs»ona!Object(x) -♦ 9y(hasOptionalElement(x: y))
ClassOfMultidimervsionalObject(x) AhasOptionaIEIerrvent(x: y) AhasOptronalElement(x; z) — у = z
hasParameterPosition(x; y) -» (ClassOfMu)t*dirnensionalObject(x))
ClassOfMultidimensk)nalC>bject{x) AhasParameterPosit»on(x; y) AhasParameterPosition(x: z) —•у = z
hasParameters{x; y) — (ClassOfMultidimensranalObject(x))
ClassOfMultidimens»onalObject(x) AhasParameters(x; y)AhasParameters{x; z) -» у = z
hasPart(x; y) -►(Composit*ooOflndivkJual{x))
CompositionOflndividual(x)AhasPart(x; y) -♦ Posstblelndividual(y)
CompositionOflndividual(x) — 9y(hasPait(x: y))
CompositionOflndividuat(x)AhasPart(x; y)AhasParl(x: z)-*y = z
hasPattern(x; y) — (ClassOfRepresentationOfThing(x))
ClassOfRepresentationOrrhing(x)AhasPattem(x; y) —ClassOfln(ormationRepresentation(y)
ClassOfRepresentationOfThing(x)-♦ 9y(hasPattern(x; y))
ClassOfRepresentationOfThing(x)AhasPatlem(x; y) AhasPattem(x: z) —у = z
hasP!ayed(x; y) -♦ (ClassOflntendedRoleAndDomain(x) v ClassOfPossibleRoleAndDomain(x) v
IntendedRo)eAndDomain(x) v PossibleRoleAndDomain(x))
ClassOflntendedRoleAndDomain(x)AhasRayed(x: y) — RoleAndDomain(y)
ClassOflntendedRolGAndDomain(x) — 9y(hasPlayed(x: y))
ClassOflntendedRoleAndDomain(x)AhasRayed(x: y)AhasPlayed(x: z) —у = z
ClassOfPossibteRoleAndDomain(x)AhasPlayed(x; y) -» RoleAndDomain(y)
64