SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > UnaryConstantFunctionQuantity > TimeDependentQuantity > ActivityMeasure
Next TimeDependentQuantityElectricChargeMeasure    UpTimeDependentQuantity    Previous TimeDependentQuantityFrequencyMeasure   

ActivityMeasure 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
BecquereldomainSubclassSystemeInternationalUnitSI ActivityMeasure. Symbol: Bq. It measures the amount of radioactivity contained in a given sample of matter. It is that quantity of a radioactive element in which there is one atomic disintegration per SecondDuration. Becquerel = s^(-1)PhysicalSubtractionFnMeasureFnConstantQuantity, 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 TimeDependentQuantityElectricChargeMeasure    UpTimeDependentQuantity    Previous TimeDependentQuantityFrequencyMeasure