SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Function > FunctionQuantity > DoseEquivalentMeasure > Sievert
Up: DoseEquivalentMeasure, SystemeInternationalUnit

Sievert
subjectfact 
Sievertdocumentation SI DoseEquivalentMeasure. Symbol: Sv. It is a unit of biologic dose of ionizing radiation. The Sievert makes it possible to normalize doses of different types of radiation. It takes into account the relative biologic effectiveness of ionizing radiation, since each form of such radiation--e.g., X rays, gamma rays, neutrons-- has a slightly different effect on living tissue for a given absorbed dose. The dose equivalent of a given type of radiation (in Sievert) is the dose of the radiation in Gray multiplied by a quality factor that is based on the relative biologic effectiveness of the radiation. Accordingly, one Sievert is generally defined as the amount of radiation roughly equivalent in biologic effectiveness to one Gray of gamma radiation. Sievert = J/kg = m^2*s^(-2)2001-11-30 13:35:16.0
is an instance of DoseEquivalentMeasure2001-11-30 13:35:16.0
is an instance of SystemeInternationalUnit2001-11-30 13:35:16.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