ГОСТ Р 56271-2014
АhasClassifier(z; Celsius))))
лProperty(y20)
лArithmeticNumber(y2)
лScale<Celsius)
А3u
((PropertyQuantification(u)
Ahaslnput(u; y^)
AhasResult(u: y,))
A3z
(Classification(z)
AhasClassified(z; u)
AhasClassifier(z: Celsius))))))
F.3 Задание знамений кванторов существования
Кванторы существования заменяются на их значения (константы). Это аналогично назначению идентифика
торов элементов данных в архиве данных ИСО 15926. Результатом является множество элементарных утвержде
ний языка ИСО 15926-2. Используемые константы соответствуют данным, реализующим типы ИСО 15926-2анало
гичноданным в библиотеках справочных данных.
NumberRange{[-273.1 to Infinity))
ArithmeticNumber(-273.1)
ArithmeticNumber(l nfinity)
Lo\verBoundOfNumberRange<X)
hasClassif»ed(X: -273.1)
hasClassifier(X; [-273.1 to Infinity))
UpperBoundOfNumberRange(Y)
hasClassified(Y; Infinity)
hasClassifier(Y: [-273.1 to Infinity))
Scale(Celsius)
ExpressString(DegrC)
SingiePropertyDimension(Temperature)
Thing(Celsius)
ClassOfClassOfldentification(UomSymbolAssignment)
ClassOfldentification{Z)
hasPattem(Z: DegrC)
hasRepresented(Z; Celsius)
Classifiedtion(U)
hasClassified(U;Z)
hasClassifier(U; UomSymbolAssignment)
hasCodomain(Celsius: [-273.1 to Infinity))
hasDomain(Celsius:Temperature)
ClassOflndividual(PressureTransmitter)
ClassOflndirectPropefty(AmbientTemperature)
ExpressReal(-40)
ExpressReal(+40)
PropertyRange(W)
ClassOfIndirectProperty(V5)
hasClassOfPossessor(V5; PressureTransnritter)
hasPropertySpace(V5;W)
ClassOfRelationship(V5)
ClassOfRelationship(AmbienfTemperature)
Specialization(V
6
)
hasSubc!ass(V
6
; V5)
hasSuperclass(V
6
;AmbientTemperature)
Classification(V7)
hasClassified(V7; V
6
)
hasClassifier(V7: End2UniversalRestriction)
Thing(V
8
)
ClassOfldentification(V9)
hasPattem(V9; -40)
hasRepresented(V9: V
8
)
Thing(V10)
83