CoulombFn Comparison Table

Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > UnaryConstantFunctionQuantity > TimeDependentQuantity > ElectricChargeMeasure > CoulombFn

Up: ElectricChargeMeasure, SystemeInternationalUnit

CoulombFn comparison table

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

ElectricChargeMeasure rangeSubclass inverse A UnaryConstantFunction of continuous time. All instances of this Class map a time quantity into another ConstantQuantity such as temperature. For example, 'the temperature at the top of the Empire State Building' is a TimeDependentQuantity since its value depends on the time
(=>
(instance ?FUNCTION TimeDependentQuantity)
(domain ?FUNCTION 1 TimeMeasure))
domainSubclass TimeDependentQuantity

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

CoulombFn SecondDuration SubtractionFn Ampere MeasureFn SI ElectricChargeMeasure. Symbol: C. It is the quantity of electric charge transported through a cross section of a conductor in an electric circuit during each SecondDuration by a current of 1 Ampere. Coulomb = s*A
(=>
(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	have domain1	be first domain of	have range	be second domain of	documentation	have axiom	be third domain of	is a kind of	is an instance of
ElectricChargeMeasure		rangeSubclass		inverse	A UnaryConstantFunction of continuous time. All instances of this Class map a time quantity into another ConstantQuantity such as temperature. For example, 'the temperature at the top of the Empire State Building' is a TimeDependentQuantity since its value depends on the time	(=> (instance ?FUNCTION TimeDependentQuantity) (domain ?FUNCTION 1 TimeMeasure))	domainSubclass	TimeDependentQuantity
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
CoulombFn	SecondDuration	SubtractionFn	Ampere	MeasureFn	SI ElectricChargeMeasure. Symbol: C. It is the quantity of electric charge transported through a cross section of a conductor in an electric circuit during each SecondDuration by a current of 1 Ampere. Coulomb = s*A	(=> (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: ElectricChargeMeasure, SystemeInternationalUnit