SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Function > FunctionQuantity > ElectricPotentialMeasure > Volt
Next ElectricPotentialMeasureMicroVolt    UpElectricPotentialMeasure, SystemeInternationalUnit    Previous ElectricPotentialMeasureMilliVolt   

Volt 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
ElectricPotentialMeasurerangeSubclassSubtractionFnA 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)
(exists (?POINT)
(located ?ABS ?POINT)
(existant ?ABS ?POINT)))))
SystemeInternationalUnitSubtractionFnMeasureFnThe Class of Systeme International (SI) units
(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)))))
VoltrangeSubclassMeasureFnSI ElectricPotentialMeasure. Symbol: V. It is the difference of electric potential between two points of a conducting wire carrying a constant current of 1 Ampere, when the power dissipated between these points is equal to 1 Watt. Volt = W/A = m^2*kg*s^(-3)*A^(-1)
(MeasureFn ?NUMBER MilliVolt)
(MeasureFn (MultiplicationFn ?NUMBER .001) Volt))
domainSubclass SystemeInternationalUnit

Next ElectricPotentialMeasureMicroVolt    UpElectricPotentialMeasure, SystemeInternationalUnit    Previous ElectricPotentialMeasureMilliVolt