Scale(Ceteius)
ExpressReaI(-40)
ExpressReaI(+40)
3u
((ClassOflndividual(PressureTransmitter)
AClassOflndirectProperty(AmbientTemperalure)
лPropertyRange<u)
лЗиО
((ClassOflndirectProperty(uO)
AhasClassOfPossessor(uO; PressureTransmitter)
AhasPropertySpace(uO: u))
лClassOfRelationship{uO)
AClassOfRelationshipfAmbientTemperature)
A3y
((Speoalization(y)
AhasSubdass(y; uO)
AhasSuperdass(y: AmbientTemperature))
A3z
(Classifrcation(z)
AhasClassified(z; y)
AhasClassifier(z: End2UniversalRestriction)))))
л 3у,
зу2
((ExpressReal(-40)
AThing(y1>
A3z
(ClassOfldentificatton(z)
AhasPattern{z; -40
AhasRepresented(z; y1)))
л(ExpressReal(+40
AThing(y2)
A3z
(ClassOfldentificatKxi(z)
AhasPattern(z;+40
AhasRepresented(z: y2)))
APropertyRange(u)
AScale(Celsius)
AArithrneticNumber(y,)
AArithmeticNumber<y2)
о
АЗУю
3Уг
((PropertyRange(u)
AProperty(y10)
AProperty(y20)
A3z
(LowerBoundOfPropertyRange(z)
AhasClassified(z: y1Q)
AhasClassifier(z; u))
A3z
(Upper
8
ourxiOfPropertyRange(z)
AhasClassified(z: y^)
AhasClassifier^z; u)))
л(Property(у,p)
AArithmeticNumberfy.,)
AScate(Celsius)
A3u
((PropertyQuantification(u)
Ahaslnput(u; y10)
AhasResult(u; y.,))
A3z
(Ctassification(z)
AhasClassified{z: u)