SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Function > FunctionQuantity > LuminosityIntensityMeasure
Next FunctionQuantity: LuminousFluxMeasure    Up: FunctionQuantity    Previous FunctionQuantity: InductanceMeasure   

LuminosityIntensityMeasure 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
CandeladomainSubclassSystemeInternationalUnitSI LuminosityIntensityMeasure. Symbol: cd. It is one of the base units in SI, and it is currently defined as follows: the Candela is the luminous intensity, in a given direction, of a source that emits monochromatic radiation of frequency 540*10^12 Hertz and that has a radiant intensity in that direction of 1/683 Watt per SteradianPhysicalrangeSubclassMeasureFnConstantQuantity, 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: LuminousFluxMeasure    Up: FunctionQuantity    Previous FunctionQuantity: InductanceMeasure