 SUMO   View all facts   Glossary   Help Entity > Abstract > Class > Relation > Function > FunctionQuantity > ElectricPotentialMeasure
Next FunctionQuantityElectricResistanceMeasure    UpFunctionQuantity    Previous FunctionQuantityElectricCurrentMeasure  ElectricPotentialMeasure subject fact
 ElectricPotentialMeasure is a kind of FunctionQuantity FunctionQuantity documentation 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 Function is first domain of AssignmentFn is first domain of closedOn is first domain of range is first domain of rangeSubclass PhysicalQuantity is partitioned into ConstantQuantity, FunctionQuantity Relation is second domain of subrelation Quantity is second domain of AdditionFn is second domain of DivisionFn is second domain of greaterThan is second domain of greaterThanOrEqualTo is second domain of lessThan is second domain of lessThanOrEqualTo is second domain of MaxFn is second domain of MinFn is second domain of MultiplicationFn is second domain of RemainderFn is second domain of SubtractionFn Class has axiom `(<=> (instance ?CLASS Class) (subclass ?CLASS Entity))` has axiom `(forall (?INT) (domain disjointDecomposition ?INT Class))` has axiom `(forall (?INT) (domain exhaustiveDecomposition ?INT Class))` is third domain of domain is third domain of domainSubclass Abstract has axiom `(<=> (instance ?ABS Abstract) (not (exists (?POINT) (or (located ?ABS ?POINT) (existant ?ABS ?POINT)))))` is disjoint from Physical Kinds of ElectricPotentialMeasure :

• MicroVolt (4 facts) - Submultiple of Volt. Symbol: mV. A UnitOfMeasure for measuring electrical potential equal to one millionth of a volt. 1 MicroVolt = 10^(-6) Volt
• MilliVolt (4 facts) - Submultiple of Volt. Symbol: mV. A unit of electrical potential equal to one thousandth of a Volt. 1 MilliVolt = 10^(-3) Volt
• Volt (5 facts) - SI 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) Next FunctionQuantityElectricResistanceMeasure    UpFunctionQuantity    Previous FunctionQuantityElectricCurrentMeasure