ГОСТ Р 56271-2014
ResponsibilityForRepresentation(x) — 9y(hasControlJed(x; у))
ResponsibilrtyForRepresentation(x)АhasControlled(x: у) лhasContrdled(x: z) — у =z
hasController(x: у) — (ClassOfClassOfResponsibilityForRepresentation(x) v
ClassOfResponsibilityFoiRepresentation(x) v ResponsibaityFofRepresentation(x))
ClassOfClassOfResponsibilityForRepresentation(x) лhasContrctfler(x. y) — Possibtelndividual{y)
ClassOfClassOfResponsibi!ityForRepresentation(x) —9y(hasConlro!ler(x; y))
ClassOfClassOfResponsibilityForRepresentation(x) AhasController(x: у) AhasContrdter(x; z) — у = z
ClassOfResponsibililyForRepresentation(x)AhasController(x; y) -♦ Possiblelndividual(y)
ClassOfResponsibilityForRepresentation(x) -* 9y(hasController(x; y))
ClassOfResponsibilityForRepresentation(x)AhasController(x: y)AhasController(x: z) -»у = z
ResponsibilityForRepresentation(x)лhasController(x; y) — Possiblelndividual(y)
ResponsibilityForRepresentation(x) — 9y(hasContro»er(x: y))
ResponsibilityForRepresenlation(x)AhasController{x; y)AhasControl!er(x: z) — у =z
hasDay{x: y) — (RepresentationOfGregorianDateAndUtcTime<x))
RepresentalionOfGregorianDateAndUtcTime(x) AhasDay(x; y) — INTEGER(y)
RepresentationOfGregorianDateAndUtcTime(x) AhasDay(x; y)AhasDay(x; z) —у =z
hasDimension(x; y) — (DimensionOfShape(x))
DimensionOfShape(x) AhasDimension(x: y) — ShapeDimension(y)
Dimens»onOfShape{x) —»9y(hasDimenston(x: y))
DimensionOfShape<x) AhasDimenston(x: y) AhasDimension(x; z) —у =z
hasDomain(x; y) -* (ClassOfFunctionalMapping(x))
ClassOfFunctionalMapping(x)AhasDomain(x; y) -» Class(y)
ClassOfFunctionalMapping(x) — 9y(hasDomain(x; y))
ClassOfFunctranalMapping(x)AhasDomain(x; y)AhasDomam(x: z) -• у =z
hasElements(x; y) — (MuttidimensionalObject(x))
MulbdimensionalObjecl(x) — 9y(hasElements(x: y))
MultkJimensionalObject(x) AhasElements(x: y) AhasElements(x; z) -* у = z
hasEnd1(x; y) -* (OtherRelationship<x))
OtherRelationship(x)AhasEnd1(x; y) — Thtng(y)
OtherRelationship(x) -♦ 9y(hasEnd1(x; y))
OtherRelationship(x)AhasEnd1(x: y)AhasEnd1(x; z) -» у = z
hasEnd1Cardinality(x; y) — (ClassOfRelationship(x))
ClassOfRelationship<x) AhasEnd1Cardinality(x; y) — Cardinality(y)
ClassOfRelationship(x) AhasEnd1Cardinality(x; у) AhasErvd1Cardinality(x; z) -* у = z
hasEnd2(x: y) -» (OtherRelationship<x))
OtherRelationship(x)AhasEnd2(x; y) -♦ Thing(y)
OtherRelationship(x) -* 9y(hasEnd2(x: y))
OlherRelationship(x)AhasEnd2(x; y)AhasEr>d2(x; z) —у = z
hasEnd2Cardinality(x; y) -* (ClassOfRelationship(x))
ClassOfRelattonship{x) AhasEnd2Cardinality(x; y) — Cardinality(y)
ClassOfRelationship<x) AhasEnd2Cardinality(x; y) AhasEnd2Cardinality(x: z) -♦ у = z
hasGreaterElemenl(x; y) -* (ComparisonOfProperty(x))
CompansonOfProperty(x)AhasGreaterElement(x: y) — Property(y)
ComparisonOfProperty(x) — 9y(hasGreaterElement(x: y))
ComparrsonOfProperty(x)AhasGreaterElement(x: y) AhasGreaterElement(x: z) -»у = z
hasHour{x; y) — (RepresentationOfGregorianDateAndUtcTime(x))
RepresentationOfGregorianDateAndUtcTime(x) AhasHour(x; y) -* INTEGER(y)
RepresentationOfGregorianDateAndUtcTime(x) AhasHour(x; y) AhasHour<x; z) -• у =z
hasld(x; y) -♦ (Thing(x))
Thing(x)Ahasld(x; y) — STRING(y)
Thing(x) — 9y(hasld(x; y))
Thing(x)Ahasld(x; y)Ahasld(x: z) —у =z
Thing(x)ATbing(y)Ahasld(x; z)Ahasld(y: z) -• x = у
haslndividual(x; y) -►(DimensionOflndividual(x))
DimenstonOflndividual(x)Ahaslndividual(x: y) -♦ Possiblelrvdivkiual(y)
DimensionOflndividual(x) -♦ 9y{haslndividual(x; y)>
DimensjonOflndivkiual(x)Ahaslndividual(x; y) Ahaslr>dividual(x: z) —у = z
haslndividualDimension(x: y) -♦ (DimensionOflndividual<x))
DimertskxiOflndivkJual(x)AhaslndividualDimension(x; y) -» IndividualDimension(y)
DimervsionOflndiv*dual(x) -♦ 9y{haslndividualDimension(x; y))
DimensranOflr>div»dual(x)AhaslndividualDimension(x; y)AhaslndividualDimension(x; z) —у =z
haslnput(x: y) —♦(FuncbonalMapping(x))
FunctionalMapping(x)Ahaslrvput<x: y) -♦ Thing(y)
63