ГОСТ Р 56271-2014
ClassOfPossibleRoleAndDomain(x) -♦ 9y(hasPlayed(x: у))
ClassOfPossibleRoleAndDomain(x)АhasPlayed(x; у)лhasPlayed(x; z) —у =z
IntendedRoleAndDomain(x) лhasPlayed(x; у) -♦ RoleAndDomain(y)
lntendedRctfeAndDomain<x) —9y(hasPlayed(x; y})
IntendedRoleAndDomam(x) лhasPlayed(x; y) AhasPlayed(x; z) -* у = z
PossibleRoleAndDomain(x) лhasPlayed(x: y) -» RoleAndDomain(y)
PossibleRoleAndDomain(x) —9y(hasPlayed(x: y))
PossibleRoleAndDomain(x) лhasPlayed(x; у) лhasPlayed(x; z) -♦ у = z
hasPlayer<x; y) -♦ (IntendedRoleAndDomain(x) v PossibleRoleAndDomain(x))
IntendedRdeAndDomain(x) лhasPlayer(x: y) —• PossibtelndivkJual(y)
IntendedRoleAndDomain(x) — 9y(hasPlayer(x; y)>
IntendedRoteAndDomain(x)AhasPlayer(x: у)лhasPlayer(x: z) — у =z
PossibleRoleAndDomain(x) AhasPlayer{x: y) —Possiblelndividual{y)
PossibleRoleAndDomain(x) -* 9y(hasPlayer(x: y))
PossibleRdeAndDomain(x) AhasPlayer(x: у)AhasPlayer(x; z) — у = z
hasPosi!ion(x; y) — (MultidimensionalObjecl(x))
Mu)tidimensionalObject(x)AhasPosi1ion<x: y)AhasPosrtion(x: z) — у = z
hasPossessor(x; y) — (IndirectProperty(x))
IndirectProperty(x) AhasPossessor(x; y) — Possiblelndivtdual(y)
IndirectProperty(x) —9y(hasPossessor(x; y))
IndirectProperty(x) AhasPossessor(x; y) AhasPossessor(x; z) -* у =z
hasPredecessor(x; y) — (TemporalSequervce(x))
TemporalSequence(x)AhasPredecessor(x: y) -* Possiblelndividual(y)
TemporalSequence(x) — 9y{hasPredecessor(x; y))
TemporalSequence(x)AhasPredecessor(x; y) AhasPredecessor(x: z) —у =z
hasProperty(x; y) — (IndirectProperty(x) v PropertyForShapeDimension(x))
lndirectProperty(x) лhasProperty(x; y) -♦ Property(y)
IndirectProperty(x) -* 9y(hasProperty(x; y))
IndirectProperty(x) AhasProperty(x; y)AhasProperly{x; z) —у =z
PropertyForShapeOimension(x)AhasProperty(x; y) -* Property(y)
PropertyForShapeDimension(x) — 9y(hasProperty{x: y))
PropertyForShapeDimensior>(x)AhasProperty(x; y)AhasProperty(x: z) —у = z
hasPropertySpace(x; y) -►(ClassOflndirectProperty(x) v PropertySpaceForClassOfShapeDimension(x))
ClassOflndirectProperty(x)AhasPropertySpace(x. y) —»PropertySpace(y)
ClassOflndirectProperty(x) — 9y(hasPropertySpace(x; y)>
ClassOflndirectProperty(x)AhasPropertySpace(x: y) AhasPropertySpace(x: z) — у = z
PropertySpaceForClassOfShapeDimension(x) AhasPropertySpace(x: y) — PropertySpace{y)
PropertySpaceForClassOfShapeDimensiorKx) — 9y(hasPropertySpace(x: y))
ProperlySpaceForClassOfShapeDimensionfx)AhasPropertySpace(x: у) лhasPropertySpace(x; z) -• у =z
hasRecognized(x; y) — (Recognition^))
Recognition(x) лhasRecognized(x; y) — Thing(y)
Recognition(x) -* 9y(hasRecognized(x; y))
Recognition(x)AhasRecognized(x; y)AhasRecognized(x: z) — у = z
hasRecognizing(x: y) — (Recognilion(x))
Recognition(x) AhasRecognizing{x; y) -* Activrty(y)
Recognition(x) — 9y(hasRecognizing(x: y))
Recognition(x) AhasRecognizing(x; y)AhasRecognizing(x; z) -* у =z
hasRecordCopyCreated(x: y) -• (Thing(x))
Thing(x) AhasRecordCopyCreated(x: y) — RepresentationOfGregorianDateAndUtcTime(y)
Thing(x)AhasRecordCopyCreated(x; у) AhasRecordCopyCreated(x: z) — у = z
hasRecordCreated(x; y) — (Thing(x))
Thing(x)AhasRecordCreated(x: y) — RepresentationOfGregorianDateAndUtcTime(y)
Thing(x)AhasReoordCreated(x: у) AhasRecofdCreated(x; z) — у = z
hasRecordCreator(x; y) -* (Thing(x))
Thing(x)AhasReoordCreator(x; y) -* Possiblelndividual(y)
Thing(x)AhasRecordCreator(x; y)AhasRecordCreator(x: z) — у =z
hasRecordLogicallyDeleted(x; y) -» (Thing(x))
Thing(x)AhasRecordLogicallyDeleted(x: y) — RepresentationOfGregonanDateAndUtcTime(y)
Thing(x)AhasRecordLogicallyDeleted(x; y)AhasRecordLogicallyDeleted(x; z) — у =z
hasRelated<x; y) -* (ClassOfRelationshipWithRelatedEndl(x) v ClassOfRe(ationshipWithRelatedEnd2(x))
ClassOfRelationshipWithRelatedEndl(x)AhasRelated(x; y) —Thing(y)
ClassOfRelationshipWilhRelatedEndl(x) — 9y(hasRelated(x: y))
ClassOfRelationshipWithRelatedEndl(x)AhasRelated(x: y)AhasRelated(x: z) — у = z
65