SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Function > FunctionQuantity > ElectricResistanceMeasure > MicroOhm
Next ElectricResistanceMeasureOhm    UpElectricResistanceMeasure, UnitOfMeasure    Previous ElectricResistanceMeasureMegaOhm   

MicroOhm 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
ElectricResistanceMeasurerangeSubclassSubtractionFnA 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)))))
UnitOfMeasureSubtractionFnMeasureFnA standard of measurement for some dimension. For example, the Meter is a UnitOfMeasure for the dimension of length, as is the Inch. There is no intrisic property of a UnitOfMeasure that makes it primitive or fundamental; rather, a system-of-units (e.g. SystemeInternationalUnit) defines a set of orthogonal dimensions and assigns units for each
(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)))))
MicroOhmSubtractionFnMeasureFnSubmultiple of Ohm. Electric resistance unit equal to the millionth part of an Ohm. 1 MicroOhm = 10^(-6) Ohms
(MeasureFn ?NUMBER MicroOhm)
(MeasureFn (MultiplicationFn ?NUMBER 0.000001) Ohm))
domainSubclass UnitOfMeasure

Next ElectricResistanceMeasureOhm    UpElectricResistanceMeasure, UnitOfMeasure    Previous ElectricResistanceMeasureMegaOhm