SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Function > FunctionQuantity > AbsorbedDoseMeasure > Gray
UpAbsorbedDoseMeasure, SystemeInternationalUnit

Gray
subjectfact 
Graydocumentation SI AbsorbedDoseMeasure. Symbol: Gy. It measures the dose of radiation absorbed in living tissue. It is equal approximately to the absorbed dose delivered when the energy per unit mass imparted to matter by ionizing radiation is 1 Joule per Kilogram. Gray = J/kg = m^2*s^(-2)2001-11-30 13:34:22.0
is an instance of AbsorbedDoseMeasure2001-11-30 13:34:22.0
is an instance of SystemeInternationalUnit2001-11-30 13:34:22.0
UnitOfMeasurehas axiom
(=>
(and
(equal (MeasureFn ?NUMBER ?UNIT) ?QUANT)
(subclass ?UNIT ?QUANTTYPE)
(not (equal ?QUANTTYPE UnitOfMeasure)))
(subclass ?QUANT ?QUANTTYPE))
2001-11-30 13:35:31.0
has axiom
(=>
(and
(instance ?FUNCTION RelationExtendedToQuantities)
(instance ?FUNCTION BinaryFunction)
(instance ?NUMBER1 RealNumber)
(instance ?NUMBER2 RealNumber)
(equal (AssignmentFn ?FUNCTION ?NUMBER1 ?NUMBER2) ?VALUE))
(forall (?UNIT)
(=>
(instance ?UNIT UnitOfMeasure)
(equal (AssignmentFn ?FUNCTION
(MeasureFn ?NUMBER1 ?UNIT)
(MeasureFn ?NUMBER2 ?UNIT))
(MeasureFn ?VALUE ?UNIT)))))
2001-11-30 13:35:31.0
has axiom
(=>
(and
(instance ?REL RelationExtendedToQuantities)
(instance ?REL BinaryRelation)
(instance ?NUMBER1 RealNumber)
(instance ?NUMBER2 RealNumber)
(holds ?REL ?NUMBER1 ?NUMBER2))
(forall (?UNIT)
(=>
(instance ?UNIT UnitOfMeasure)
(holds ?REL (MeasureFn ?NUMBER1 ?UNIT) (MeasureFn ?NUMBER2 ?UNIT)))))
2001-11-30 13:35:31.0
is second domain of MeasureFn2001-11-30 13:35:31.0
Functionis first domain of AssignmentFn2001-11-30 13:34:18.0
is first domain of closedOn2001-11-30 13:34:18.0
is first domain of range2001-11-30 13:34:18.0
is first domain of rangeSubclass2001-11-30 13:34:18.0
PhysicalQuantityis partitioned into ConstantQuantity, FunctionQuantity2001-11-30 13:34:58.0
Classis third domain of domain2001-11-30 13:33:51.0
is third domain of domainSubclass2001-11-30 13:33:51.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0