ГОСТ Р 56271-2014
PhysicalObject(x) -* Posstblelndividual(x)
PointlnTime(x) -» Event(x)
Possible Individual(x) — Thing(x)
PossibleRoleAndDomain(x) — Relationship{x)
Properly(x) — ClassOflndividual{x)
PropertyForShapeDimension(x) — ClassOfRelationship(x)
PropertyQuantification{x) -* FunctionalMapping(x)
PropertyRange(x) -» PropertySpace<x)
PropertySpace(x) — ClassOfProperty(x)
PropertySpaceForClassOtShapeOimension(x) — ClassOfClassOfRelationship(x)
RealNumber(x) —♦ArithmeticNumber(x)
Recognition(x) -» Relationship(x)
Relationship(x) -♦ AbstractObject(x)
RelativeLocation(x) — Relationship(x)
RepresentationForm(x) — ClassOfClassOnnformationRepresentabon(x)
RepresentationOfGregorianDateAndUtcTime<x) -» ClassOflnformationRepresentatioo(x)
RepresentationOfThing(x) — Relationship^)
ResponsibilityForRepresentation(x) — Relationship^)
RightNamespace(x) — Namespace(x)
Rote(x) — RoleAndDomain(x)
RoteAndDomain(x) — Class(x)
Scale(x) — ClassOflsomorphicFunctionalMapping(x)
Shape{x) -* Property(x)
ShapeDimension(x) —»ClassOfClassOflndividual(x)
SinglePropertyOimension(x) — PropertySpace(x)
SpatialLocation(x) — PhysrcalObject(x)
Specialization(x) -» Relationship(x)
SpecializationByDomain(x) -* Specialization(x)
Specialu:ationByRole(x) -* Specialization^)
SpecializationOflndividualDimensionFrofnProperty(x) -♦ Specialization(x)
Status(x) — ClassOflndividual(x)
Stream(x) — PhysicalObject(x)
TemporalBounding(x) —Composit»onOflr>dividual(x)
TemporalSequence(x) -+ Relationship(x)
TemporalWhdePart(x) — CompositionOflndividual(x)
UnionOfSetOfClass(x) -* FunctionalMapping(x)
UpperBoundOfNumberRange(x) —*Classification(x)
UpperBoundDfPropertyRange(x) -♦ Classification(x)
UsageOfRepresentation(x) -►Relationship(x)
WholeLifelndividual(x) — PossibtelndivkJual(x)
B.4 Абстрактныо аксиомы
AbstractObject(x) -» (Class(x) v MultidimensionalObject(x) v Relationship(x))
ClassOfAbstractObject(x) -*
(ClassOfClass(x) v ClassOfMultidimensionalObject(x) v ClassOfRelationship(x)>
ClassOfConnectionOflndividual(x) — (ClassOfDirectConnection(x) v ClassOflndirectConnection(x))
ClassOfExpresslnformationRepresentation(x) — (ExpressBinary(x) v ExpressBootean(x) v
Expresslnteger(x) v ExpressLogical(x) v ExpressReaJ(x) v ExpressString(x))
Namespace(x) — (LeftNamespace{x) v RightNamespace{x))
Relationship(x) -♦ (Approval(x) v CauseOfEvent(x) v ClassOfRelationshipWithSignature(x) v
Classification(x) v CompahsonOfProperty(x) v CompositkxiOflndiv»dual{x)v ConnectionOflndividual(x) v
Fur>ctk>nalMappir.g(x)v IndirectProperty(x) v lndividualUsedlnConnection{x) v
IntendedRoieAndDomam(x) v InvotvementByReference(x) v LifecycleStage{x) v OtherRetationship(x) v
PossibleRoteAndDomain(x) v Recognition(x) v RelativeLocation(x) v RepresentationOfThing(x) v
ResponsibilityForRepresentation(x) v Specialization^) v TemporalSequence(x) v UsageOfRepresentation(x))
TemporalBounding(x) -» (Beginning(x) v Ending(x))
Thing(x) -♦ (AbstractObject(x) v Possiblelndividual(x))
B.5 Аксиомы непересечения
-•{IntegerNumber(x) A{MultidimensionalNumber(x)))
-■(RealNiimbefM A(IntegerNumber(x) v MultidimensionalNumber<x)))
-’{AssemblyOflndividual(x)A(FeatureWhotePart(x)))
53