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