SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > Function > FunctionQuantity > CapacitanceMeasure > Farad |
Farad 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 |
---|---|---|---|---|---|---|---|
CapacitanceMeasure | 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 | (<=> | domainSubclass | FunctionQuantity | |
SystemeInternationalUnit | SubtractionFn | MeasureFn | The Class of Systeme International (SI) units | (=> | UnitOfMeasure | ||
Farad | rangeSubclass | MeasureFn | SI CapacitanceMeasure. Symbol: F. It is the capacitance of a capacitator between the plates of which there appears a difference of potential of 1 Volt when it is charged by a quantity of electricity equal to 1 Coulomb. Farad = C/V = m^(-2)*kg(-1)*s^4*A^2 | (=> | domainSubclass | SystemeInternationalUnit |