 SUMO   View all facts   Glossary   Help Entity > Abstract > Class > Relation > Function > FunctionQuantity > CapacitanceMeasure > Farad
UpCapacitanceMeasure, SystemeInternationalUnit  Farad subject fact
 Farad documentation 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 is an instance of CapacitanceMeasure is an instance of SystemeInternationalUnit UnitOfMeasure has axiom `(=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (subclass ?UNIT ?QUANTTYPE) (not (equal ?QUANTTYPE UnitOfMeasure))) (subclass ?QUANT ?QUANTTYPE))` has axiom `(=> (and (instance ?FUNCTION RelationExtendedToQuantities) (instance ?FUNCTION BinaryFunction) (instance ?NUMBER1 RealNumber) (instance ?NUMBER2 RealNumber) (equal (AssignmentFn ?FUNCTION ?NUMBER1 ?NUMBER2) ?VALUE)) (forall (?UNIT) (=> (instance ?UNIT UnitOfMeasure) (equal (AssignmentFn ?FUNCTION (MeasureFn ?NUMBER1 ?UNIT) (MeasureFn ?NUMBER2 ?UNIT)) (MeasureFn ?VALUE ?UNIT)))))` has axiom `(=> (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)))))` is second domain of MeasureFn 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 Class is third domain of domain is third domain of domainSubclass Abstract is disjoint from Physical 