ГОСТ Р 56271-2014
0
0
0
-’{ClassOfClassOfUsageOfRepresenlation(x) А(ClassOfOimensionForShape(x) v ClassOfNamespace(x) v
ClassOfScale(x) v DimensionOfShape(x) v PropertySpaceForClassOfShapeDim
0
nsion(x)))
-,{ClassOfDimensionForShape{x) A{ClassOfNamespace(x) v ClassOfScale(x) v DimensionOfShape<x) v
Prop rtySpaceForClassOfShapeDimension<x)))
-■{ClassOfNamospaceJx)A(ClassOfScale(x) v DimonstonOfShapofx) v
ProportySpaceForClassOfShapoDimension^x)))
-*{ClassOfScal
0
<x)A(DimensionOfShapo(x) v Prop
0
rtySpaceFofClassOfShapeDtmension(x)))
-,(DirT> nsionOfShape(x) A(Prop©rtySpaceForClassOfShapaDimension(x)))
-,{ClassOfArrar>gementOflndividual(x) A(CiassOfPartidpabon(x) v ClassOfTomporalWholePartfx)))
-’(ClassOfTemporalWholePart(x) A(ClassOfParticipation(x)))
-’(ClassOroirectConnection(x)A(ClassOflndirectConnection(x)))
-’{ExpressBoolean(x)A(ExprossBinary(x)))
-,(Expresslnteger<x)A(Expr
0
SsBinary(x) v ExpressBcolean(x) v ExpressLogical(x) v ExpressReal(x)))
-•{ExpressLog*cal{x) A(ExprossBinary(x) v ExpressBool
0
an(x)))
-•(ExpressReal(x) A(ExpressBinary(x) v ExpressBootean(x) v ExpressLogical(x)))
-•{ExpressString(x) A(Expr
0
SsBir>ary(x) v ExprossBoolean(x) v Express!nteger(x) v ExpressLogical(x) v
ExpressReal(x)))
-•{ClassOfAnrar>gedlndrvkJiial(x)A(ClassOfPeriodlnTim
0
(x) v IndividualDimonsionfx) v Prop
0
rty(x) v
Status(x)))
-’{ClassOfEvent(x)A(ClassOfArrangadlndividual(x) v ClassOfPoriodlnTim
0
(x) v IndividualDimension(x) v
Prop
0
rty{x) v Status(x)))
-,{ClassOfPofiodlnTime{x) A(lndividualDim©nsion(x) v Property(x) v Status(x)))
-*(lndividualDim
0
nsion(x) A(Property(x) v Status(x)))
-•{Property(x)A(Status(x)))
-’(ClassOfExpresslnformationR
0
pres
0
ntation(x) A(RapresantationOfGregorianDateAndlltcTimefx)))
-KScale(x)A(ClassOfScal
0
Conversion(x)))
-’(ClassOfLeftNamespacalx) A(ClassOfRightNamaspacefx)))
-’{NumberSpace(x) A(EnumeratedNumberS
0
t(x)))
-’{PropertySpace(x)A(EnumeratodPropartySoUx)))
-’{ClassOfApproval(x)A(ClassOfApprovalByStatus(x) v CiassOfAsserlion<x)v
ClassOfCauseO(BeginningOfClassOflndividual{x) v ClassOfCauseOfEndingOfC?assOflndividual(x) v
ClassOfClassification(x) v ClassOfCompositionOflndividual(x) v ClassOfConnectionOflndividual(x) v
ClassOfFunctionalMapping(x) v ClassOflr»difectProperty(x) v ClassOflndividualUsedlnConn©ction(x) v
ClassOflntend dRoleAndDomain(x) v ClassOflnvolvementByReference(x) v ClassOfLifecydeStage(x) v
ClassOfPossiblaRolaAndDomainfx) v ClassOfR
0
Cognition(x) v ClassOfRelationshipWithSignalur
0
(x>v
ClassO(R
0
lat(V
0
Location(x) v ClassOfRepr©sentationOfThir>g(x) v ClassOfRepr
0
sentationTranslatk»n(x) v
ClassOfR
0
sponsibilityForRepresentation(x) v ClassOfSp
0
dalization(x) v ClassOfTemporalS
0
qu
0
nc«(x) v
ClassOfUsageOJRepres
0
nlation{x) v Dimonsk)nOflrvdiv»dual(x) v PropertyForShapeDim
0
nsk)n(x)))
-’{ClassOfApprovalByStatus(x)A(ClassOfAssertion(x) v
ClassOfCauseOfBeginningOfClassOflndividual{x) v ClassOfCauseOfEndingOfClassOflndividual(x) v
ClassOfClassification(x) v ClassOfCompositionOflndividual(x) v ClassOfConnectionOflndividual{x) v
ClassOfFunctionalMapping(x) v ClassOflndirectProperty(x) v ClassOflndividualUsedlnConnedion(x) v
ClassOflntendedRoleAndDomain(x) v ClassOflnvolvementByReferencelx) v ClassOfLifocydeStag
0
(x) v
ClassOfPossiWeRoleAndDomain(x) v ClassOfR
0
Cognition(x) v ClassOfRelattonshipWithSignatur
0
(x) v
ClassOfR
0
latiV
0
Location(x) v ClassOfRepr
0
sentationOfThing(x) v ClassOfRepr
0
sentatk>nTrans!ation(x) v
ClassOfR
0
sponsibilityForRepresentation(x) v ClassOfSpadalrzation(x) v ClassOfTemporalS
0
quence(x) v
ClassOfUsageOIRopresontationtx) v Dim©nsionOflndivkJual(x) v PropertyForShapeDimensran(x)))
-’{ClassOfAssertion(x) A(ClassOfPossibleRoteAndDomain(x) v ClassOfRocognition(x) v
ClassOfRelattonshipWilhSignature(x) v ClassOfRelativeLocation(x) v ClassOfRepresentationOfThing(x) v
ClassOfR
0
pr
0
sentatk>nTranslation(x) v ClassOfResponsitoilityForRepresentation(x) v
ClassOfSpedalizat*on(x) v ClassOrT
0
mporaISequence(x) v ClassOfUsageOfRepr
0
sentat*on(x) v
DimensionOflndividual(x) v PropertyFofShapeDimens»on(x)))
-»(ClassOfCaus
0
OfBeginningOfClassOflr>dtv*duaI(x)A(ClassOfAssertion(x) v
ClassOfCauseOfEndingOfClassOflndividual(x) v ClassOfClassification(x) v
ClassOfCompositionOflrvdivtdual(x) v ClassOfConnect*onOflndiv»dual(x) v
ClassOfFunctionalMapping(x) v ClassOflndirectProperty(x) v ClassOflndividualUsedlnConnedion(x) v
ClassOflntend©dRol
0
AndDomain(x) v ClassOflnvoIvementByReferencefx) v ClassOfLifocydoStag
0
(x) v
ClassOfPossiWeRoleAndDomain(x) v ClassOfRocognition(x) v ClassOfRelationshipWithSignatur
0
(x) v
ClassOfR
0
latiV
0
Location(x) v ClassOfReprosontationOfThingfx) v ClassOfRepr
0
sentationTranslation(x) v
ClassOfR
0
sponsibilityForRepf
0
sen!ation(x) v ClassOfSpadalization(x) v ClassOfTemporalS
0
qu
0
nce(x) v
ClassOfUsageOfRopres©ntation{x) v DimervsionOflr>divkJual(x) v PropertyForShapeDimens>on(x)))
-*{ClassOfCaus
0
OfEndingOfClassOfIndividual(x) A(ClassOfAss
0
rtton(x) v ClassOfClassification{x) v
ClassOfComposittoriOflndivtdual<x) v ClassOfConnecbonOflndivkiual(x) v
55