SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Function > FunctionQuantity > ElectricConductanceMeasure
Next FunctionQuantity: ElectricCurrentMeasure    Up: FunctionQuantity    Previous FunctionQuantity: DoseEquivalentMeasure   

ElectricConductanceMeasure 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
SiemensdomainSubclassSystemeInternationalUnitSI ElectricConductanceMeasure. Symbol: S. In the case of direct current, the conductance in Siemens is the reciprocal of the resistance in Ohms; in the case of alternating current, it is the reciprocal of the impedance in ohms. siemens = A/V = m^(-2)*kg(-1)*s^(3)*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: ElectricCurrentMeasure    Up: FunctionQuantity    Previous FunctionQuantity: DoseEquivalentMeasure