ГОСТ Р 56271-2014
0
ClassOfRelabonshipWilhRe!atedEnd2(x> лhasRelated{x; у) —Thing(y)
ClassOfRelat»onshipWithRelatedEnd2(x) — 9y(hasRelated(x; у))
ClassOfRelat»onshipWithRe!atedEnd2(x)AhasRelated(x: у)AhasRelated(x: z) — у = z
hasRepresented(x; y) -* (ClassOfRepresentaiionOfThing(x) v RepresentationOfThing(x))
ClassOfRepresentatk>nOfThing{x)AhasRepresented(x: y) — Thing{y)
ClassOfRepresentationOfThing{x} -♦ 9y(hasRepresented(x; y))
ClassOfRoprosentationOfThingfx)AhasRepresented(x: y) AhasRepresented(x: z) —у = z
RepresentationOfThing(x) лhasRepresented(x; y) -♦ Thing(y)
RepresentationOfThing(x) — 9y(hasRepresented(x: y))
R
0
presentationOfThing(x)лhasRepfesented(x; y)AhasRepresented(x; z) —у = z
hasResult(x; y)-♦ (FunctionalMapping(x))
FunctionalMapping(x)AhasResu!t(x: y) — Thing(y)
FunctionalMapping(x) — 9y(hasResult(x: y))
FunctionalMapping(x)AhasResult(x; y)AhasResull{x; z) — у =z
hasRoles(x; y) -» (ClassOfMultidimensionalObjecl(x))
ClassOfMultidimensionalObject(x) —9y(hasRoles(x: y))
ClassOfMultidimensiooalObject(x) AhasRoles(x: y)AhasRoles(x; z) -♦ у =z
hasSecond(x: y) —»(RepresentationOfGregorianDateAndUtcTim
0
<x))
RepresentationOfGregorianDateAndUtcTime(x) AhasSecond(x; y) -> REAL(y)
RepresentationOfGregorianDa!eAr>dUtcT1me<x) AhasSecond(x: y) AhasSecond(x: z) —у =z
hasShape(x: y) -* (DimensionOfShape{x))
DimensionOfShape<x)AhasShape(x; y) -* Shape(y)
DimensKjnOfShape(x) —9y(hasShape(x; y))
DimensionOfShape<x) AhasShapo<x; y)AhasShape(x: z) —у = z
hasShapeDimens>on(x; y) -* (PropertyForShapeDimens»on(x))
PropertyForShap
0
Oimension(x)AhasShapeDimens»on(x; y) —Shap
0
Dimension(y)
ProportyForShapoDimonsionfx) -*
9
y(hasShapeDin>
0
ns»on(x; y))
PropartyForShapaDimansionfx)AhasShapaDimensionfx: y)AhasShapaDimensionfx; z) — у =z
hasSide1(x; y) -* (ConnectionOflndividuai(x))
ConnectionOflndividual(x)AhasSide1(x; y) — Possibtelndividual(y)
ConnectionOflndividual(x) —9y(hasSide1(x; y))
ConnectionOflndividual(x)AhasSide1(x: y)AhasSido1(x: z) -* у = z
hasSide2(x; y) -» (ConnectionOMndividual(x))
ConnectionOflndividual(x)AhasSide2(x: y) — Possibtelndividual(y)
ConnectionOflndividual(x) -* 9y(hasSido2(x; y))
ConnectionOflndividual(x)AhasSide2{x: y)AhasSido2(x: z) — у = z
hasSignfx: y) —»(ReprasentationOfThingfx))
RapresantalionOfThingfx)AhasSignfx; y) -♦ Possiblelndividual(y)
R
0
pres
0
ntationOfThing(x) -* 9y(hasSign(x; y))
R
0
pres
0
ntationOfThing(x) AhasSign(x; y)AhasSign(x: z) —у =z
hasSubciass(x: y) -♦ (Spacializationfx))
Spacializationfx) AhasSubdassfx; y) -* Class(y)
Sp
0
dalization(x) —9y(hasSubdass(x; y))
Spacializationfx) AhasSubclass(x: y) AhasSubdassfx; z) — у =z
hasSuccessor{x; y) — <T mporalSequenc
0
(x))
TemporaiSequence(x)AhasSuccessorfx; y) — Possibtelndividual(y)
TemporalSequancefx) -►9y(hasSuccessor(x: y))
TemporalSequence(x)AhasSuccessorfx; y)AhasSuccessorfx: z) -* у = z
hasSuperdassfx; y) -* (Spedalization(x))
Sp
0
cialization(x) AhasSuperdassfx: y) — Class(y)
Sp
0
cialization(x) —9y(hasSuperclass(x; y))
Sp
0
dalization(x)AhasSuperdassfx: y)AhasSuperdassfx: z) — у = z
hasUsag
0
(x: y) — (Indh/idualUsedlnConnedionfx))
IndividualUsedlnConnection(x)AhasUsagefx; y) — Possibl
0
lndividual(y)
IndividualUsedlnConnection(x) — 9y(hasUsago<x; y))
IndividualUsedlnConnection(x)AhasUsagefx; y)AhasUsagefx; z) — у =z
hasUsed(x; y) — (UsageOfRopresentationfx))
UsageOfReprosentat*on(x)AhasUsed(x; y) -» ReprosentationOfThingfy)
UsageO(Repr
0
sentat»on(x) -» 9y(hasllsed(x; y))
UsageOfReprssentation(x)AhasUsed(x; y)AhasUsed(x; z) -» у = z
hasUser(x; y) — (ClassOfClassOfUsageOfRepresentation(x) v ClassOfUsageOfRapresontationfx) v
UsageOfReprosentationfx))
ClassOfCIassOfUsageOfReprosentationfx) AhasUserfx; y) — Possiblelndividual(y)
66