ГОСТ Р 56271-2014
ClassOfClassOfRepresentation{x)АhasClassOfPattern(x; у) -»
ClassOfClassOflnformabonRepresentation(y)
ClassOfClassO(Representatior>(x} -♦ 9y(hasClassOfPattern(x; у))
ClassOrciassOfRepresentation{x)AhasClassOfPalternfx; у) лhasClassOfPattem(x: z) —•у = z
hasClassOfPlayer(x; y) —{ClassOflntendedRoleAndDomain(x) v ClassOfPossibleRoteAndDomain(x))
ClassOflntendedRoleAndDomain(x)AhasClassOfPlayer(x; y) —ClassOflndividual(y)
ClassOflntendedRoleAndDomain(x) -• 9y(hasClassOfP1ayer(x; y))
ClassOflntendedRoleAndDomain(x)AhasClassOfPlayei(x; у)AhasClassOfPlayer(x; z) -♦ у =z
ClassOfPossibleRoleAndDomain(x)AhasClassOfPlayer(x; y) — ClassOflndividual(y)
ClassOfPossibteRoleAndDomain(x) —9y(hasClassOfPlayer(x: y))
ClassOfPossibleRoleAndDomain(x)AhasClassOfPlayer(x: y) AhasClassOfRayer(x; z) -♦ у = z
hasClassOfPossessor(x; y) -* (ClassOflndirectProperty(x))
ClassOflrvdirectProperty(x) AhasClassOfPossessor(x; y) -* ClassOflndivkJuaKy)
ClassOflndirectProperty(x) — 9y(hasClassOfPossessor(x; y))
ClassOflndiredProperty(x)AhasClassOfPossessor<x; y)AhasClassOfPossessor(x: z) — у =z
hasClassOfPredecessor{x: y) — (ClassOfT
0
mporalSequence(x))
ClassOfTemptxalSequence(x) AhasClassOfPredec®ssor(x; y) -* C!assOflndividual(y}
ClassOfTempofalSaquence<x) —♦9y(hasClassOfPredecessor(x: у»
ClassOfTempofalSequence(x)AhasClassOfPredecessorix; y)AhasClassOfPredecessor(x; z) — у =z
hasClassOfRecognized(x; y) -♦ (ClassOfRecognition(x))
ClassOfRecognition(x)л hasClassOfRecogniz©d(x; y) —»Class(y)
ClassOfRecognition(x) — 9y(hasCIassOfRecognized(x; y))
ClassOfRecognitk>n(x)AhasClassOfRecognized(x; y)AhasClassOfRecognized(x; z) — у =z
hasClassOfRecognizing(x: y) -* (ClassOfRecognition(x))
ClassOfRecognitton(x) AhasClassOfRecognizing(x; y) —ClassO(Activity{y)
ClassOfRecognition(x) — 9y(hasClassOfRecognizing(x: y))
ClassOfRecognitk>n(x) AhasClassOfRecognizing(x: y) AhasCiassOfRecx)gnizing(x: z) —у = z
hasClassOfRepresented(x: y) — (ClassOfCiassOfRepresentation{x))
ClassOfClassOfRepresentation{x)AhasClassOfRepresented(x; y) — Class(y)
ClassOfClassOfRepresentation(x) — 9y(hasClassOfRepresented{x; y))
ClassOfCIassOfRepresentation{x)AhasClassOfRepresented(x: y) AhasClassOfRepresented(x: z) —у = z
hasClassOfSecond(x; y) —*
(ClassOfClassOfRepresentationTranslatk>n(x) v ClassOfRepresentatranTranslation(x))
ClassOfClassOfRepresenlationTranslation(x)AhasClassOfSecond(x; y) —»
ClassOfClassOflnformalionRepresentalion(y)
ClassOfClassOfRepresentationTranslalion(x) -»9y(hasClassOfSecond(x; y))
ClassOfClassO(RepresentationTranslation(x)AhasClassOfSecond(x; y) AhasClassOfSecond(x; z) —• у =z
ClassOfRefxesentalionTranslation(x)AhasClassOfSecond{x; y) — ClassOflnformat»onRepres
6
ntabon(y)
ClassOfRepresentationTranslation(x) — 9y(hasClassOfSecond(x: y))
ClassOfRepresenlationTranslation(x)AhasClassOfSecond{x: y)AhasClassOfSecond(x: z) —у = z
hasClassOfShape(x; y) -♦ (ClassOfDimensionForShape(x))
ClassOfDimensionForShape(x)AhasClassO(Shape(x; y) — ClassOfShape(y)
ClassOfDimensionForShape(x) —9y(hasClassOfShape(x: y))
ClassOfDimensionForShape(x) AhasClassOfShape(x; y) AhasClassOfShape(x; z) -♦ у =z
hasClassOfShapaDimension{x; y) — (PropertySpaceForClassOfShapeDim
0
nsion(x))
ProperlySpaceForClassOfShapeDim
0
nsion(x) AhasClassOfShapeDimension(x; y) -*
ClassOfShapeDimonsiorHy)
Prop
0
rtySpaceForClassOfShap
0
Dimension(x) —
9
y(hasClassOfShapeDim
0
nsion(x; y))
PropertySpaceForClassOfShapeOim
0
nsion{x) AhasClassO(ShapeDixTiension(x; y) A
hasClassOfShapeDim©nsion(x; z) — у =z
hasClassOfSida1(x; y) — (ClassOfConnectionOflndividual(x))
ClassOfConn
0
cbonOflndiv»dual(x)AhasClassOfSide1(x: y) —♦ClassOflndividual(y)
ClassOfConn
0
ctionOflndividual(x) —
9
y(hasClassOfSid
0
l(x; y))
ClassOfConn
0
cbonOflndivkJuaI(x)AhasClassOfSid
0
l(x: y) AhasCiassOfSid
0
l(x; z) — у =z
hasClassOfSido2(x; y) — (ClassOfConnectionOflndividual(x))
ClassOfConn
0
clionOflndividua!(x)AhasClassOfSide2(x: y) —»ClassOflndividual(y)
ClassOfConnecbonOflndiv»dual(x) —9y{hasClassOfSido2(x: y))
ClassOfConn
0
ctionOfIrKJividual(x)AhasClassOfSide2(x: y)AhasClassOfStde2(x; z) —у =z
hasClassOfSubclass(x; y) — (CiassOfSpecialization<x))
ClassOfSp«cialization(x)AhasC!assO(Subclass(x; y) -* ClassOfClass(y)
ClassOfSpecializatkxi(x) — 9y(hasClassOISubclass(x; y))
ClassOfSp©cializatton(x)AhasClassOfSubdass(x; y)AhasClassOfSubclass(x; z) —у = z
hasClassOfSuocessortx; y) -♦ (ClassOfTempora]Sequ
0
nce(x))
61