ГОСТ Р 56271-2014
ClassOfClassification(x) лhasClassOfClassified(x; у) -♦ Class(y)
ClassOfClassHicaticxn(x) — 9y(hasCiassOfClassified(x; у»
ClassOfClassification(x) лhasClassOfClassified(x; у)лhasClassOfClassified{x; z) — у =z
hasClassOTClassifierfx; у) — (ClassOfClassification(x))
ClassOfClassification(x) лhasClassOfClassifier(x: y) —ClassOfClass(y)
ClassOfClassification(x) — 9y(hasClassOfClassifier(x; y))
ClassOfClassification(x) AhasClassOfClassifier(x: y)AhasCIassOfClassifier(x: z) -♦ у = z
hasClassOfConnect»on(x: y) -♦ (ClassOflndividimlUsedlnConnection(x))
ClassOflndividualUsedlnConnection(x)AhasClassOfConnection(x; y) — ClassOfConnectranOflndivkJual(y)
ClassOflndividualUsedlnConnection(x) -» 9y{hasClassOfConnection(x; y))
ClassOflndividualUsedlnConnection(x)лhasClassOICoraiectKxi(x; y)AhasClassOfConnectionfx: z) — у = z
hasClassOfContfol‘ed(x: y) — (ClassOfResponsibilityForRepresentation(x))
ClassOfResponsibilityForRepfesentation(x)AhasClassOfControlled(x; y) —
ClassOfRepresentatk>nOfThing(y)
ClassOfResponsibilityForRepfesentalion(x) -♦ 9y(hasClassOfControlled(x; y))
ClassOfResponsibilityForRepresentationtx^hasCiassOfControlledfx; y)AhasClassOfControlled(x; z) -• у =z
hasClassOfDimension(x: y) — (ClassOfDimensionForShape<x))
ClassOfDimensionForShape(x) AhasClassOfDimension(x: y) — ClassOfShapeDimensior>{y)
ClassOfDimensionForShape{x) — 9y(hasClassOfDimension(x; y))
ClassOfDimensionForShape(x) AhasClassOroimension(x; y) AhasClassOfDimensiorv{x; z) — у =z
hasClassOfEnd1(x: y) — (ClassOfRelationshipWithSignature(x))
ClassOfRelationshipWithSignature(x)AhasClassOfEnd1(x: y) -♦ RoleAndDomain(y)
ClassOfRelationshipWithSignature(x) AhasClassOfEr»d1(x; y) AhasClassOfEnd1(x; z) — у =z
hasClassOfEnd2(x: y) —(ClassOfRelationshipWithSignature(x))
ClassOfRelationshipWithSignature(x) AhasClassOfEr»d2(x: y) -♦ RoleAndDomain(y)
ClassOfRelat*onshipWithSignature(x> AhasClassOfEnd2(x: y) AhasClassOfEnd2{x; z) —у =z
hasClassOfEnded(x; y) -* (ClassOfCauseOfEndingOfClassOflndividual(x))
ClassOfCauseOfEndingOfClassOflndividual(x)AhasClassOfEnded(x: y) — ClassOflndividual(y)
ClassOfCauseOfEndingOfClassOflndividual(x) — 9y(hasClassOfEnded(x; y))
ClassOfCauseOfEndingOfC)assOflndividual(x)AhasClassOfEnded(x: y)AhasClassOfEnded(x: z) —у = z
hasClassOfFirst(x; y) -*
{ClassOfClassOfRepresentatkjnT ranslatkxi(x) v ClassOfRepresentationTranslation(x))
ClassOfClassOfRepresentationTranslation(x)AhasClassOfFirst(x: y) -•
ClassOfClassOflnformat*onRepresentation{y)
ClassOfClassOfRepresentationTranslation(x) -»9y{hasC!assOfFirsl(x; y))
ClassOfClassOfRopresentationTranslation(x)AhasClassOfFirst(x: y) AhasCIassOfFirst(x; z) -» у = z
ClassOfRepresentatKjnTranslation(x) AhasClassOfFirst(x; y) — ClassOflnformationRepresentation(y)
ClassOfRepresentationTranslation(x) — 9y(hasClassOfFirst(x; y))
ClassOfRepresentationTranslation(x)AhasClassOfFirst(x; y)AhasClassOfFirst(x; z) —*у = z
hasClassOflnwtfved(x; y) — (ClassOflnvolvementByReference(x))
ClassOflnvolvementByReference(x)AhasClassOflnvo»ved(x: y) -• RoteAndDomain(y)
ClassOflnvolvementByReference(x) -* 9y(hasClassOflnvoJved(x; y))
ClassOflnvolvementByReference(x)AhasClassOflnvoh/ed(x: y) AhasClassOflnvolved(x; z) -♦ у =z
hasClassOflnvdver(x; y) — (ClassOflnvolvementByReference(x))
ClassOflnvolvementByReference(x)AhasClassOflnvotoer(x: y) — ClassOfActivity(y)
ClassOflnvolvementByReference(x) -» 9y(hasClassOflnvolver(x; y))
ClassOflnvolvementByReference(x)AhasClassOflnvo»ver(x: y)AhasClassOflnvotver(x; z) — у = z
hasClassOfl_ocated(x; y) -* (ClassOfRelativeLocation(x))
ClassOfRelativeLocation(x)AhasClassOfLocated(x; y) —►ClassOflndividual(y)
ClassOfRelativeLocation(x) -* 9y(hasClassOfLocated(x; y))
ClassOfRelativeLocation(x)AhasClassOfLocated(x; y)AhasClassOfLocated(x: z) -* у = z
hasClassOfi.ocator(x: y) — (ClassOfRelativeLocation(x))
ClassOfRelativeLocation(x)AhasClassOfLocalor<x; y) — ClassOflndivkJual(y)
ClassOfRelativeLocation(x) — 9y(hasClassOfLocator<x; y))
ClassOfRelativeLocation(x)AhasClassOfLocator(x: y)AhasClassOfLocator(x; z) —у =z
hasClassOfPart(x: y) — (ClassOfComposilionOflndividual(x) v ClassOfNamespace(x))
ClassOfComposiUonOflrrdividual{x)AhasClassOfPart(x; y) -* ClassOflndividual(y)
ClassO(Composit»onOflndividual{x) —• 9y(hasClassOfPart(x: y))
ClassOrcomposit»onOflf>divtdual{x)AhasClassOfPart(x: у)AhasClassOfPart(x; z) -♦ у = z
ClassOfNamespace(x) AhasClassOfPart(x; y) — ClassOflnformaUonRepresentation(y)
ClassOfNamespace(x) —*9y{hasClassOfPart(x: y))
ClassOfNamespace(x) AhasClassOfPart(x; y)AhasClassOfPart(x; z) -* у = z
hasClassOfPattem(x; y) —(ClassOfClassOfRepresentation(x))
60