SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Function > FunctionQuantity > CapacitanceMeasure
Next FunctionQuantity: DensityMeasure    Up: FunctionQuantity    Previous FunctionQuantity: AbsorbedDoseMeasure   

CapacitanceMeasure comparison table
Subject be third domain of is an instance of documentation be disjoint from be first domain of be second domain of partition into have axiom
FaraddomainSubclassSystemeInternationalUnitSI 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^2PhysicalrangeSubclassMeasureFnConstantQuantity, FunctionQuantity
(=>
    (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)))))

Next FunctionQuantity: DensityMeasure    Up: FunctionQuantity    Previous FunctionQuantity: AbsorbedDoseMeasure