ГОСТ Р 56271-2014
ClassOfTempofalSequence(x) лhasClassOfSuccessoffx; у) — ClassOflndividual(y)
ClassOfTempofalSequence(x) — 9y(hasClassOfSuccessori;x: у))
ClassOfTemporalSequence(x)AhasClassOfSuccessof(x: у)лhasClassOfSuccessor(x; z) — у =z
hasClassOfSuperclass(x: y) — {ClassOfSpecialization(x))
ClassOfSpecializatkjn(x)лhasClassOfSuperdass(x; y) -* ClassOfCtass(y)
ClassOfSpecialization(x) -* 9y(hasClassOfSuperdass(x; y))
ClassOfSpecialization(x)AhasClassOfSuperdass(x; у)AhasClassOfSuperclass(x: z) — у = z
hasClassOfUsage<x: y) -* (ClassOflndividualUsedlnConneclion(x))
ClassOflndividualUsedlnConnection(x)лhasClassOflJsage(x: y) — ClassOflndrvidual(y)
ClassOflndividualUsedlnConnection(x) -» 9y(hasClassOfUsage(x; y))
ClassOflndividualUsedlnConnection(x)лhasClassOfUsage(x; y)AhasClassOfUsage(x; z) -* у =z
hasClassOfUsed(x: y) —{ClassOfUsageOfRepresentation{x))
ClassOfUsageOfRepresentation(x) AhasClassOfllsed(x; y) — ClassOfRepresentationOfThing(y)
ClassOfUsageOfRepresentation(x) -♦ 9y(hasClassOfUsed{x: y))
ClassOfUsageOfRepresentation(x) AhasClassOfUsed(x: y)AhasClassOfUsed(x: z) — у =z
hasClassOfWhole(x; y) — (ClassOfCompositionOflndivKJual(x))
ClassOfComposil*onOflndiv»dual{x)AhasClassOfWhole(x: y) — ClassOflndividual(y)
ClassOfCompositionOflndiv»dual(x) -♦ 9y(hasClassOIWhole(x: y))
Class01CompositionOflfKlividual{x)AhasClassOfWhole(x; у) AhasClassOfWhole(x; z) —у = z
hasClassified(x; y) -♦ (CIassificatic»i(x))
Classification^) AhasClassified(x; y) -* Thing(y)
Classificabon(x) —9y(hasClassified(x; y))
Classification^) AhasClassified(x: y) AhasClassified(x; z) —у =z
hasClassifier(x: y) — (Classification(x))
Classification(x) AhasClassifier(x: y) —Class(y)
Classification{x) — 9y(hasClassifier(x; y))
Classification{x) AhasClassifier(x: y) AhasClassifier<x; z)у =z
hasCodomain(x: y) -►(ClassOfFundionalMapping(x))
ClassOfFunctionalMapping(x)AhasCodomain(x; y) — Class(y)
ClassOtFunctionalMapping(x) -» 9y(hasCodomain(x; y))
ClassOfFunctionalMapping(x) AhasCodomain(x; y)AhasCodomain(x; z) — у =z
hasConnection(x; y) -♦ (lndiv»duaIUsedlnConnGction(x))
IndividualUsedlnConnection(x)AhasConnection(x: y) — ConnectionOflndividual(y)
IndividualUsedlnConnection(x) — 9y(hasConnection(x; y))
IndividualUsedlnConnection(x)AhasConnection(x: y) AhasConnecbon(x; z) -» у =z
hasContent(x: y) -♦ (ExpressBinary(x) v ExpressBodean(x) v Expresslnteger(x) v ExpressLogical(x) v
ExpressReal(x) v ExpressString(x))
ExpressBinary(x)AhasContent(x; y) -* BINARY(y)
ExpressBinary(x) — 9y(hasContent(x; y))
ExpressBinary(x)AhasContent(x; y)AhasContent(x: z) — у = z
ExpressBmary(x)AExpfessBinary(y) AhasContent{x: z)AhasContent(y: z) -♦ x =у
ExpressBoolean(x) AhasContent{x: y) — BOOLEAN{y)
ExpressBoolean(x) — 9y(hasContent(x: y))
ExpressBoolean(x) AhasContent{x; y) AhasContent(x; z) -* у =z
ExpressBoolean(x)AExpressBootean(y)AhasContent(x; z)AhasContent(y; z) -• x = у
Expresslnteger(x)AhasContent(x; y) -♦ INTEGER(y)
Expresslnteger(x) -» 9y(hasContent(x; y))
Expresslnteger(x)AhasContent(x; y) AhasContent{x; z) — у = z
Expresslnteger(x)AExpresslnteger(y)AhasContent(x; z)AhasContent(y; z) —x = у
ExpressLogical(x) AhasContent(x: y) — LOGICAL(y)
ExpressLogical{x) -• 9y(hasContent(x: y))
ExpressLogical(x) AhasContent(x; y) AhasContent(x; z) -» у =z
ExpressLogical(x)AExpressLogical(y)AhasContent(x: z)AhasContent(y: z) —x = у
ExpressReal(x) AhasContent(x; y) -* REAL(y)
ExpressReal(x) — 9y(hasContent(x; y))
ExpressReal(x)AhasContent(x; y)AhasContent(x; z) — у = z
ExpressReal(x)AExpressReal(y)AhasContent(x: z) AhasContent{y: z) — x = у
ExpressString(x)AhasContent(x; y) -♦ STRING{y)
ExpressString(x) -♦ 9y(hasContent(x; y))
ExpressString(x)AhasContent(x; y) AhasContent(x: z) — у = z
ExpressString(x)AExpressString(y)AhasContent(x; z)AhasContentfy: z) —x = у
hasControlled(x; y) -* (ResponsibilityForRepresentat»on(x))
ResponsibihtyForRepresentation(x)AhasControlted(x: y) — RepresentationOfThing(y)
62