SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Function > FunctionQuantity > AbsorbedDoseMeasure
Next FunctionQuantity: CapacitanceMeasure    Up: FunctionQuantity    Previous FunctionQuantity: UnaryConstantFunctionQuantity   

AbsorbedDoseMeasure comparison table
Subject be third domain of is an instance of documentation be disjoint from be first domain of be second domain of partition into have axiom
GraydomainSubclassSystemeInternationalUnitSI 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)PhysicalrangeSubclassMeasureFnConstantQuantity, FunctionQuantity
(=>
    (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)))))

Next FunctionQuantity: CapacitanceMeasure    Up: FunctionQuantity    Previous FunctionQuantity: UnaryConstantFunctionQuantity