SUMO   View all facts   Glossary   Help

Entity > Abstract > Quantity > PhysicalQuantity > UnitOfMeasure > SystemeInternationalUnit

SystemeInternationalUnit
subject			fact

SystemeInternationalUnit	documentation The Class of Systeme International (SI) units
	is a kind of UnitOfMeasure
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
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

Kinds of SystemeInternationalUnit :

• Ampere (6 facts) - SI ElectricCurrentMeasure. Symbol: A. It is one of the base units in SI. It is defined as follows: the Ampere is that constant current which, if maintained in two straight parallel conductors of infinite length, of negligible circular cross-section, and placed 1 Meter apart in a vacuum, would produce between these conductors a force equal to 2*10^(-7) Newton per Meter of length
• Becquerel (3 facts) - SI ActivityMeasure. Symbol: Bq. It measures the amount of radioactivity contained in a given sample of matter. It is that quantity of a radioactive element in which there is one atomic disintegration per SecondDuration. Becquerel = s^(-1)
• Candela (3 facts) - SI LuminosityIntensityMeasure. Symbol: cd. It is one of the base units in SI, and it is currently defined as follows: the Candela is the luminous intensity, in a given direction, of a source that emits monochromatic radiation of frequency 540*10^12 Hertz and that has a radiant intensity in that direction of 1/683 Watt per Steradian
• Celsius (4 facts) - A ThermodynamicTemperatureMeasure. Kelvin differs from the Celsius scale in that the triple point of water is defined to be 273.16 degrees Kelvin while it is 0 degrees Celsius. The boiling point of water is 100 degrees Celsius. The magnitudes of intervals in the two scales are the same. By definition the conversion constant is 273.1
• CoulombFn (5 facts) - 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
• Farad (3 facts) - SI 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^2
• Gray (3 facts) - SI AbsorbedDoseMeasure. Symbol: Gy. It measures the dose of radiation absorbed in living tissue. It is equal approximately to the absorbed dose delivered when the energy per unit mass imparted to matter by ionizing radiation is 1 Joule per Kilogram. Gray = J/kg = m^2*s^(-2)
• Henry (3 facts) - SI InductanceMeasure. Symbol: H. One Henry is equivalent to one Volt divided by one Ampere per SecondDuration. If a current changing at the rate of one Ampere per SecondDuration induces an electromotive force of one Volt, the circuit has an inductance of one Henry. Henry = Wb/A = m^2*kg*s^(-2)*A^(-2)
• Hertz (6 facts) - SI FrequencyMeasure. Symbol: Hz. It is the number of cycles per second. Hertz = s^(-1)
• Joule (6 facts) - SI EnergyMeasure. Symbol: J. It is the work done when the point of application of 1 Newton is displaced a distance of 1 Meter in the direction of the force. Joule = N*m = m^2*kg*s^(-2)
• Kelvin (5 facts) - SI ThermodynamicTemperatureMeasure. Symbol: K. It is one of the base units in SI (it is also a unit in the ITS system). It is defined as follows: the Kelvin is the fraction 1/273.16 of the thermodynamic temperature of the triple point of water
• Kilogram (8 facts) - SI MassMeasure. Symbol: kg. It is one of the base units in SI (it is also the basic unit of mass in the MKS system), and it is equal to the mass of the international prototype of the Kilogram
• Lumen (3 facts) - SI LuminousFluxMeasure. Symbol: lm. It is the amount streaming outward through one solid angle of 1 Steradian from a uniform point source having an intensity of one Candela. Lumen = cd*sr = cd * 1
• Lux (3 facts) - SI IlluminanceMeasure. Symbol: lx. It is the amount of illumination provided when one Lumen is evenly distributed over an area of 1 square Meter. This is also equivalent to the illumination that would exist on a surface all points of which are one Meter from a point source of one Candela. Lux = lm/m^2 = m^(-2)*cd
• Meter (9 facts) - SI LengthMeasure. Symbol: m. It is one of the base units in SI, and it is currently defined as follows: the Meter is the length of the path traveled by light in a vacuum during a time interval of 1/299792458 of a SecondDuration
• Mole (3 facts) - SI AmountOfSubstanceUnit. symbol: mol. It is one of the base units in SI. It is defined as follows: the Mole is the amount of substance of a system which contains as many elementary entities as there are atoms in 0.012 Kilograms of carbon 12. Note that, when this UnitOfMeasure is used, the elementary entities must be specified - they may be atoms, molecules, ions, electrons, etc. or groups of such particles
• Newton (4 facts) - SI ForceMeasure. Symbol: N. It is that force which gives to a mass of 1 Kilogram an acceleration of 1 Meter per SecondDuration. Newton = m*kg*s^(-2)
• Ohm (5 facts) - SI ElectricResistanceMeasure. It is the electric resistance between two points of a conductor when a constant difference of potential of 1 Volt, applied between these two points, produces in this conductor a current of 1 Ampere, this conductor not being the force of any electromotive force. Ohm = V/A = m^2*kg*s^(-3)*A^(-2)
• Pascal (4 facts) - SI PressureMeasure. Symbol:Pa. It is the pressure of one Newton per square Meter. Pascal = N/m^2 = m^(-1)*kg*s^(-2)
• Radian (4 facts) - SI PlaneAngleMeasure. Symbol: rad. It is the angle of a circle subtended by an arc equal in length to the circle's radius. Another definition is: the plane angle between two radii of a circle which cut off on the circumference an arc equal in length to the radius. Radian = m/m = 1
• SecondDuration (7 facts) - SI TimeDuration. Symbol: s. It is one of the base units in SI, and it is currently defined as follows: the SecondDuration is the duration of 9192631770 periods of the radiation corresponding to the transition between the two hyperfine levels of the ground state of the cesium 133 atom
• Siemens (3 facts) - 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
• Sievert (3 facts) - SI DoseEquivalentMeasure. Symbol: Sv. It is a unit of biologic dose of ionizing radiation. The Sievert makes it possible to normalize doses of different types of radiation. It takes into account the relative biologic effectiveness of ionizing radiation, since each form of such radiation--e.g., X rays, gamma rays, neutrons-- has a slightly different effect on living tissue for a given absorbed dose. The dose equivalent of a given type of radiation (in Sievert) is the dose of the radiation in Gray multiplied by a quality factor that is based on the relative biologic effectiveness of the radiation. Accordingly, one Sievert is generally defined as the amount of radiation roughly equivalent in biologic effectiveness to one Gray of gamma radiation. Sievert = J/kg = m^2*s^(-2)
• Steradian (3 facts) - SI SolidAngleMeasure. Symbol: sr. It is the solid angle of a sphere subtended by a portion of the surface whose area is equal to the square of the sphere's radius. Another definition is: the solid angle which, having its vertex in the center of the sphere, cuts off an area of the surface of the sphere equal to that of a square with sides of length equal to the radius of the sphere. Steradian = m^2/m^2 = 1
• Tesla (3 facts) - SI MagneticFluxDensityMeasure. Symbol: T. One Tesla equals one Weber per square Meter. Tesla = Wb/m^2 = kg*s^(-2)*A^(-1)
• Volt (5 facts) - SI ElectricPotentialMeasure. Symbol: V. It is the difference of electric potential between two points of a conducting wire carrying a constant current of 1 Ampere, when the power dissipated between these points is equal to 1 Watt. Volt = W/A = m^2*kg*s^(-3)*A^(-1)
• Watt (5 facts) - SI PowerMeasure. Aymbol: W. A UnitOfMeasure that measures power, i.e. energy produced or expended divided by TimeDuration. It is the power which gives rise to the production of energy (or work) at the rate of one Joule per SecondDuration. Watt = J/s = m^2*kg*s^(-3)
• Weber (3 facts) - SI MagneticFluxMeasure. Symbol: Wb. It is the magnetic flux which, linking a circuit of one turn, produces in it an electromotive force of 1 Volt as it is reduced to zero at a uniform rate in 1 SecondDuration. Weber = V*s = m^2*kg*s^(-2)*A^(-1)

Next UnitOfMeasure: UnitedKingdomGallon    Up: UnitOfMeasure    Previous UnitOfMeasure: Slug