*Sievert* | *documentation* 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) | |

**is an ***instance* of DoseEquivalentMeasure | |

**is an ***instance* of SystemeInternationalUnit | |

UnitOfMeasure | **has axiom** (=> (*and* (*equal* (*MeasureFn* ?NUMBER ?UNIT) ?QUANT) (*subclass* ?UNIT ?QUANTTYPE) (*not* (*equal* ?QUANTTYPE UnitOfMeasure))) (*subclass* ?QUANT ?QUANTTYPE))
| |

**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)))))
| |

**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)))))
| |

**is second ***domain* of *MeasureFn* | |

Function | **is first ***domain* of *AssignmentFn* | |

**is first ***domain* of *closedOn* | |

**is first ***domain* of *range* | |

**is first ***domain* of *rangeSubclass* | |

PhysicalQuantity | **is partitioned into** ConstantQuantity, FunctionQuantity | |

Class | **is third ***domain* of *domain* | |

**is third ***domain* of *domainSubclass* | |

Abstract | **is ***disjoint* from Physical | |