| Subject |
have domain1 |
be first domain of |
have range |
be second domain of |
documentation |
have axiom |
be third domain of |
is an instance of |
|---|
| Ampere | | rangeSubclass | | MeasureFn | 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 | (equal
(MeasureFn ?NUMBER PicoAmpere)
(MeasureFn (MultiplicationFn ?NUMBER 1.0E-12) Ampere))
| domainSubclass | SystemeInternationalUnit |
| Becquerel | | SubtractionFn | | MeasureFn | 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) | (=>
(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)))))
| domainSubclass | SystemeInternationalUnit |
| Candela | | rangeSubclass | | MeasureFn | 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 | (=>
(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)))))
| domainSubclass | SystemeInternationalUnit |
| Celsius | | MagnitudeFn | | measure | 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 | (equal
(MeasureFn ?NUMBER Celsius)
(MeasureFn (SubtractionFn ?NUMBER 273.15) Kelvin))
| | ThermodynamicTemperatureMeasure |
| CoulombFn | SecondDuration | SubtractionFn | Ampere | MeasureFn | 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 | (=>
(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)))))
| domainSubclass | SystemeInternationalUnit |
| Farad | | rangeSubclass | | MeasureFn | 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 | (=>
(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)))))
| domainSubclass | SystemeInternationalUnit |
| Gray | | rangeSubclass | | MeasureFn | 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) | (=>
(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)))))
| domainSubclass | SystemeInternationalUnit |
| Henry | | rangeSubclass | | MeasureFn | 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) | (=>
(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)))))
| domainSubclass | SystemeInternationalUnit |
| Hertz | | SubtractionFn | | MeasureFn | SI FrequencyMeasure. Symbol: Hz. It is the number of cycles per second. Hertz = s^(-1) | (equal
(MeasureFn ?NUMBER KiloHertz)
(MeasureFn (MultiplicationFn ?NUMBER 1000) Hertz))
| domainSubclass | SystemeInternationalUnit |
| Joule | | rangeSubclass | | MeasureFn | 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) | (equal
(MeasureFn ?NUMBER ElectronVolt)
(MeasureFn (MultiplicationFn ?NUMBER 1.60217733E-19) Joule))
| domainSubclass | SystemeInternationalUnit |
| Kelvin | | MagnitudeFn | | measure | 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 | (equal
(MeasureFn ?NUMBER Rankine)
(MeasureFn (MultiplicationFn ?NUMBER 1.8) Kelvin))
| | ThermodynamicTemperatureMeasure |
| Kilogram | | DensityFn | | MeasureFn | 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 | (equal
(MeasureFn ?NUMBER Kilogram)
(MeasureFn (MultiplicationFn ?NUMBER 1000) Gram))
| | SystemeInternationalUnit |
| Lumen | | rangeSubclass | | MeasureFn | 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 | (=>
(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)))))
| domainSubclass | SystemeInternationalUnit |
| Lux | | rangeSubclass | | MeasureFn | 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 | (=>
(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)))))
| domainSubclass | SystemeInternationalUnit |
| Meter | | MagnitudeFn | | length | 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 | (equal
(MeasureFn ?NUMBER Kilometer)
(MeasureFn (MultiplicationFn ?NUMBER 1000) Meter))
| distance | SystemeInternationalUnit |
| Mole | | MagnitudeFn | | MeasureFn | 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 | (=>
(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)))))
| | SystemeInternationalUnit |
| Newton | | rangeSubclass | | MeasureFn | 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) | (equal
(MeasureFn ?NUMBER PoundForce)
(MeasureFn (MultiplicationFn ?NUMBER 4.448222) Newton))
| domainSubclass | SystemeInternationalUnit |
| Ohm | | rangeSubclass | | MeasureFn | 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) | (equal
(MeasureFn ?NUMBER MicroOhm)
(MeasureFn (MultiplicationFn ?NUMBER 0.000001) Ohm))
| domainSubclass | SystemeInternationalUnit |
| Pascal | | rangeSubclass | | MeasureFn | SI PressureMeasure. Symbol:Pa. It is the pressure of one Newton per square Meter. Pascal = N/m^2 = m^(-1)*kg*s^(-2) | (equal
(MeasureFn ?NUMBER MegaPascal)
(MeasureFn (MultiplicationFn ?NUMBER 1.0E6) Pascal))
| domainSubclass | SystemeInternationalUnit |
| Radian | | TangentFn | | MeasureFn | 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 | (equal
(MeasureFn ?NUMBER AngularDegree)
(MeasureFn (MultiplicationFn ?NUMBER (DivisionFn Pi 180)) Radian))
| | SystemeInternationalUnit |
| SecondDuration | | CoulombFn | | frequency | 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 | (equal
(MeasureFn ?NUMBER PicoSecond)
(MeasureFn (MultiplicationFn ?NUMBER 1.0E-12) SecondDuration))
| | TimeDuration |
| Siemens | | rangeSubclass | | MeasureFn | 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 | (=>
(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)))))
| domainSubclass | SystemeInternationalUnit |
| Sievert | | rangeSubclass | | MeasureFn | 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) | (=>
(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)))))
| domainSubclass | SystemeInternationalUnit |
| Steradian | | MagnitudeFn | | MeasureFn | 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 | (=>
(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)))))
| | SystemeInternationalUnit |
| Tesla | | rangeSubclass | | MeasureFn | SI MagneticFluxDensityMeasure. Symbol: T. One Tesla equals one Weber per square Meter. Tesla = Wb/m^2 = kg*s^(-2)*A^(-1) | (=>
(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)))))
| domainSubclass | SystemeInternationalUnit |
| Volt | | rangeSubclass | | MeasureFn | 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) | (equal
(MeasureFn ?NUMBER MilliVolt)
(MeasureFn (MultiplicationFn ?NUMBER .001) Volt))
| domainSubclass | SystemeInternationalUnit |
| Watt | | SubtractionFn | | MeasureFn | 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) | (equal
(MeasureFn ?NUMBER KiloWatt)
(MeasureFn (MultiplicationFn ?NUMBER 1000) Watt))
| domainSubclass | UnitOfMeasure |
| Weber | | rangeSubclass | | MeasureFn | 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) | (=>
(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)))))
| domainSubclass | SystemeInternationalUnit |
SUMO View all facts Glossary Help
