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