 SUMO   View all facts   Glossary   Help Entity > Abstract > Class > Relation > Function > FunctionQuantity > ElectricConductanceMeasure > Siemens
UpElectricConductanceMeasure, SystemeInternationalUnit  Siemens subject fact
 Siemens documentation SI 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^2 is an instance of ElectricConductanceMeasure 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 