Siemens concept from the SUMO knowledge base

Entity > Abstract > Class > Relation > Function > FunctionQuantity > ElectricConductanceMeasure > Siemens

Up: ElectricConductanceMeasure, 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 2001-11-30 13:35:16.0
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))
2001-11-30 13:35:31.0
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)))))
2001-11-30 13:35:31.0
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)))))
2001-11-30 13:35:31.0
is second domain of MeasureFn

Function is first domain of AssignmentFn 2001-11-30 13:34:18.0
is first domain of closedOn
is first domain of range
is first domain of rangeSubclass

PhysicalQuantity is partitioned into ConstantQuantity, FunctionQuantity 2001-11-30 13:34:58.0

Class is third domain of domain 2001-11-30 13:33:51.0
is third domain of domainSubclass

Abstract is disjoint from Physical 2001-11-30 13:33:32.0

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
Class	*is third domain* of** domainSubclass
Abstract	*is disjoint* from** Physical