Candela Comparison Table

Entity > Abstract > Class > Relation > Function > FunctionQuantity > LuminosityIntensityMeasure > Candela

Up: LuminosityIntensityMeasure, SystemeInternationalUnit

Candela comparison table

Subject be first domain of be second domain of documentation have axiom be third domain of is a kind of is an instance of

LuminosityIntensityMeasure rangeSubclass SubtractionFn A FunctionQuantity is a Function that maps from one or more instances of ConstantQuantity to another instance of ConstantQuantity. For example, the velocity of a particle would be represented by a FunctionQuantity mapping values of time (which are ConstantQuantities) to values of distance (also ConstantQuantities). Note that all instances of FunctionQuantity are Functions with a fixed arity. Note too that all elements of the range of a FunctionQuantity have the same physical dimension as the FunctionQuantity itself
(<=>
(instance ?ABS Abstract)
(not
(exists (?POINT)
(or
(located ?ABS ?POINT)
(existant ?ABS ?POINT)))))
domainSubclass FunctionQuantity

SystemeInternationalUnit SubtractionFn MeasureFn The Class of Systeme International (SI) units
(=>
(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)))))
UnitOfMeasure

Candela rangeSubclass MeasureFn SI 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 Steradian
(=>
(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)))))
domainSubclass SystemeInternationalUnit

Subject	be first domain of	be second domain of	documentation	have axiom	be third domain of	is a kind of	is an instance of
LuminosityIntensityMeasure	rangeSubclass	SubtractionFn	A FunctionQuantity is a Function that maps from one or more instances of ConstantQuantity to another instance of ConstantQuantity. For example, the velocity of a particle would be represented by a FunctionQuantity mapping values of time (which are ConstantQuantities) to values of distance (also ConstantQuantities). Note that all instances of FunctionQuantity are Functions with a fixed arity. Note too that all elements of the range of a FunctionQuantity have the same physical dimension as the FunctionQuantity itself	(<=> (instance ?ABS Abstract) (not (exists (?POINT) (or (located ?ABS ?POINT) (existant ?ABS ?POINT)))))	domainSubclass	FunctionQuantity
SystemeInternationalUnit	SubtractionFn	MeasureFn	The Class of Systeme International (SI) units	(=> (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)))))		UnitOfMeasure
Candela	rangeSubclass	MeasureFn	SI 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 54010^12 Hertz* and that has a radiant intensity in that direction of 1/683 Watt per Steradian	(=> (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)))))	domainSubclass		SystemeInternationalUnit

Up: LuminosityIntensityMeasure, SystemeInternationalUnit