SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > UnaryConstantFunctionQuantity > TimeDependentQuantity > ElectricChargeMeasure > CoulombFn

CoulombFn
subject			fact

CoulombFn	documentation SI ElectricChargeMeasure. Symbol: C. It is the quantity of electric charge transported through a cross section of a conductor in an electric circuit during each SecondDuration by a current of 1 Ampere. Coulomb = s*A
	has domain1 SecondDuration
	has range Ampere
	is an instance of ElectricChargeMeasure
	is an instance of SystemeInternationalUnit
TimeDependentQuantity	has axiom (=> (instance ?FUNCTION TimeDependentQuantity) (domain ?FUNCTION 1 TimeMeasure))
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
PhysicalQuantity	is partitioned into ConstantQuantity, FunctionQuantity
Function	is first domain of AssignmentFn
	is first domain of closedOn
	is first domain of range
	is first domain of rangeSubclass
Quantity	is first domain of AdditionFn
	is first domain of DivisionFn
	is first domain of ExponentiationFn
	is first domain of greaterThan
	is first domain of greaterThanOrEqualTo
	is first domain of lessThan
	is first domain of lessThanOrEqualTo
	is first domain of MaxFn
	is first domain of MinFn
	is first domain of MultiplicationFn
	is first domain of ReciprocalFn
	is first domain of RemainderFn
	is first domain of RoundFn
	is first domain of SubtractionFn
Abstract	is disjoint from Physical
Class	is third domain of domain
	is third domain of domainSubclass

Up: ElectricChargeMeasure, SystemeInternationalUnit