(equal     (MeasureFn ?NUMBER Byte)     (MeasureFn         (MultiplicationFn ?NUMBER 8) Bit))	Merge.kif 7425-7427	Nombre r�el Byte(s) est nombre r�el + 8 Bit(s)
(equal     (MeasureFn ?NUMBER Calorie)     (MeasureFn         (MultiplicationFn ?NUMBER 4.1868) Joule))	Merge.kif 7345-7347	Nombre r�el Calorie(s) est nombre r�el + 4.1868 Joule(s)
(equal     (MeasureFn ?NUMBER CelsiusDegree)     (MeasureFn         (DivisionFn             (SubtractionFn ?NUMBER 32.0) 1.8) FahrenheitDegree))	Merge.kif 7012-7014	Nombre r�el CelsiusDegree(s) est nombre r�el + 32.0) + 1.8 FahrenheitDegree(s)
(equal     (MeasureFn ?NUMBER CelsiusDegree)     (MeasureFn         (SubtractionFn ?NUMBER 273.15) KelvinDegree))	Merge.kif 7008-7010	Nombre r�el CelsiusDegree(s) est nombre r�el + 273.15) KelvinDegree(s)
(equal     (MeasureFn ?NUMBER Centimeter)     (MeasureFn         (MultiplicationFn ?NUMBER 0.01) Meter))	Merge.kif 6780-6782	Nombre r�el Centimeter(s) est nombre r�el + 0.01 Meter(s)
(equal     (MeasureFn ?NUMBER Cup)     (MeasureFn         (DivisionFn ?NUMBER 2) Pint))	Merge.kif 7239-7241	Nombre r�el Cup(s) est nombre r�el + 2 Pint(s)
(equal     (MeasureFn ?NUMBER DayDuration)     (MeasureFn         (MultiplicationFn ?NUMBER 24) HourDuration))	Merge.kif 7087-7089	Nombre r�el DayDuration(s) est nombre r�el + 24 HourDuration(s)
(equal     (MeasureFn ?NUMBER ElectronVolt)     (MeasureFn         (MultiplicationFn ?NUMBER 1.60217733E-19) Joule))	Merge.kif 7161-7163	Nombre r�el ElectronVolt(s) est nombre r�el + 1.60217733E-19 Joule(s)
(equal     (MeasureFn ?NUMBER EuroCent)     (MeasureFn         (MultiplicationFn ?NUMBER 0.01) EuroDollar))	Merge.kif 7405-7407	Nombre r�el EuroCent(s) est nombre r�el + 0.01 EuroDollar(s)
(equal     (MeasureFn ?NUMBER FootLength)     (MeasureFn         (MultiplicationFn ?NUMBER 0.3048) Meter))	Merge.kif 7186-7188	Nombre r�el FootLength(s) est nombre r�el + 0.3048 Meter(s)
(equal     (MeasureFn ?NUMBER HourDuration)     (MeasureFn         (MultiplicationFn ?NUMBER 60) MinuteDuration))	Merge.kif 7095-7097	Nombre r�el HourDuration(s) est nombre r�el + 60 MinuteDuration(s)
(equal     (MeasureFn ?NUMBER Inch)     (MeasureFn         (MultiplicationFn ?NUMBER 0.0254) Meter))	Merge.kif 7193-7195	Nombre r�el Inch(s) est nombre r�el + 0.0254 Meter(s)
(equal     (MeasureFn ?NUMBER KiloByte)     (MeasureFn         (MultiplicationFn ?NUMBER 1024) Byte))	Merge.kif 7435-7437	Nombre r�el KiloByte(s) est nombre r�el + 1024 Byte(s)
(equal     (MeasureFn ?NUMBER Kilogram)     (MeasureFn         (MultiplicationFn ?NUMBER 1000) Gram))	Merge.kif 7279-7282	Nombre r�el Kilogram(s) est nombre r�el + 1000 Gram(s)
(equal     (MeasureFn ?NUMBER Kilometer)     (MeasureFn         (MultiplicationFn ?NUMBER 1000) Meter))	Merge.kif 6799-6802	Nombre r�el Kilometer(s) est nombre r�el + 1000 Meter(s)
(equal     (MeasureFn ?NUMBER MegaByte)     (MeasureFn         (MultiplicationFn ?NUMBER 1024) KiloByte))	Merge.kif 7445-7447	Nombre r�el MegaByte(s) est nombre r�el + 1024 KiloByte(s)
(equal     (MeasureFn ?NUMBER Micrometer)     (MeasureFn         (MultiplicationFn ?NUMBER 0.0000001) Meter))	Geography.kif 7097-7100	Nombre r�el Micrometer(s) est nombre r�el + 0.0000001 Meter(s)
(equal     (MeasureFn ?NUMBER Mile)     (MeasureFn         (MultiplicationFn ?NUMBER 1609.344) Meter))	Merge.kif 7200-7202	Nombre r�el Mile(s) est nombre r�el + 1609.344 Meter(s)
(equal     (MeasureFn ?NUMBER Millimeter)     (MeasureFn         (MultiplicationFn ?NUMBER 0.001) Meter))	Merge.kif 6789-6792	Nombre r�el Millimeter(s) est nombre r�el + 0.001 Meter(s)
(equal     (MeasureFn ?NUMBER MinuteDuration)     (MeasureFn         (MultiplicationFn ?NUMBER 60) SecondDuration))	Merge.kif 7103-7105	Nombre r�el MinuteDuration(s) est nombre r�el + 60 SecondDuration(s)
(equal     (MeasureFn ?NUMBER Ounce)     (MeasureFn         (DivisionFn ?NUMBER 8) Cup))	Merge.kif 7248-7250	Nombre r�el Ounce(s) est nombre r�el + 8 Cup(s)
(equal     (MeasureFn ?NUMBER Pint)     (MeasureFn         (DivisionFn ?NUMBER 2) Quart))	Merge.kif 7230-7232	Nombre r�el Pint(s) est nombre r�el + 2 Quart(s)
(equal     (MeasureFn ?NUMBER PoundForce)     (MeasureFn         (MultiplicationFn ?NUMBER 4.448222) Newton))	Merge.kif 7335-7337	Nombre r�el PoundForce(s) est nombre r�el + 4.448222 Newton(s)
(equal     (MeasureFn ?NUMBER PoundMass)     (MeasureFn         (MultiplicationFn ?NUMBER 453.59237) Gram))	Merge.kif 7296-7298	Nombre r�el PoundMass(s) est nombre r�el + 453.59237 Gram(s)
(equal     (MeasureFn ?NUMBER Quart)     (MeasureFn         (DivisionFn ?NUMBER 4) UnitedStatesGallon))	Merge.kif 7221-7223	Nombre r�el Quart(s) est nombre r�el + 4 UnitedStatesGallon(s)
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners