(equal     (MeasureFn ?NUMBER AngularDegree)     (MeasureFn         (MultiplicationFn ?NUMBER             (DivisionFn Pi 180.0)) Radian))	Merge.kif 7030-7032	A real number angular degree(s) is equal to the real number and pi and 180.0 radian(s)
(equal     (MeasureFn ?NUMBER BritishThermalUnit)     (MeasureFn         (MultiplicationFn ?NUMBER 1055.05585262) Joule))	Merge.kif 7016-7018	A real number british thermal unit(s) is equal to the real number and 1055.05585262 joule(s)
(equal     (MeasureFn ?NUMBER Byte)     (MeasureFn         (MultiplicationFn ?NUMBER 8) Bit))	Merge.kif 7088-7090	A real number byte(s) is equal to the real number and 8 bit(s)
(equal     (MeasureFn ?NUMBER Calorie)     (MeasureFn         (MultiplicationFn ?NUMBER 4.1868) Joule))	Merge.kif 7008-7010	A real number calorie(s) is equal to the real number and 4.1868 joule(s)
(equal     (MeasureFn ?NUMBER CelsiusDegree)     (MeasureFn         (DivisionFn             (SubtractionFn ?NUMBER 32) 1.8) FahrenheitDegree))	Merge.kif 6681-6683	A real number celsius degree(s) is equal to (the real number and 32) and 1.8 fahrenheit degree(s)
(equal     (MeasureFn ?NUMBER CelsiusDegree)     (MeasureFn         (SubtractionFn ?NUMBER 273.15) KelvinDegree))	Merge.kif 6677-6679	A real number celsius degree(s) is equal to (the real number and 273.15) kelvin degree(s)
(equal     (MeasureFn ?NUMBER Centimeter)     (MeasureFn         (MultiplicationFn ?NUMBER 0.01) Meter))	Merge.kif 6449-6451	A real number centimeter(s) is equal to the real number and 0.01 meter(s)
(equal     (MeasureFn ?NUMBER Cup)     (MeasureFn         (DivisionFn ?NUMBER 2) Pint))	Merge.kif 6902-6904	A real number cup(s) is equal to the real number and 2 pint(s)
(equal     (MeasureFn ?NUMBER DayDuration)     (MeasureFn         (MultiplicationFn ?NUMBER 24) HourDuration))	Merge.kif 6755-6757	A real number day duration(s) is equal to the real number and 24 hour duration(s)
(equal     (MeasureFn ?NUMBER ElectronVolt)     (MeasureFn         (MultiplicationFn ?NUMBER 1.60217733E-19) Joule))	Merge.kif 6824-6826	A real number electron volt(s) is equal to the real number and 1.60217733E-19 joule(s)
(equal     (MeasureFn ?NUMBER EuroCent)     (MeasureFn         (MultiplicationFn ?NUMBER 0.01) EuroDollar))	Merge.kif 7068-7070	A real number euro cent(s) is equal to the real number and 0.01 euro dollar(s)
(equal     (MeasureFn ?NUMBER FootLength)     (MeasureFn         (MultiplicationFn ?NUMBER 0.3048) Meter))	Merge.kif 6849-6851	A real number foot length(s) is equal to the real number and 0.3048 meter(s)
(equal     (MeasureFn ?NUMBER HourDuration)     (MeasureFn         (MultiplicationFn ?NUMBER 60) MinuteDuration))	Merge.kif 6763-6765	A real number hour duration(s) is equal to the real number and 60 minute duration(s)
(equal     (MeasureFn ?NUMBER Inch)     (MeasureFn         (MultiplicationFn ?NUMBER 0.0254) Meter))	Merge.kif 6856-6858	A real number inch(s) is equal to the real number and 0.0254 meter(s)
(equal     (MeasureFn ?NUMBER KiloByte)     (MeasureFn         (MultiplicationFn ?NUMBER 1024) Byte))	Merge.kif 7098-7100	A real number kilo byte(s) is equal to the real number and 1024 byte(s)
(equal     (MeasureFn ?NUMBER Kilogram)     (MeasureFn         (MultiplicationFn ?NUMBER 1000) Gram))	Merge.kif 6942-6945	A real number kilogram(s) is equal to the real number and 1000 gram(s)
(equal     (MeasureFn ?NUMBER Kilometer)     (MeasureFn         (MultiplicationFn ?NUMBER 1000) Meter))	Merge.kif 6468-6471	A real number kilometer(s) is equal to the real number and 1000 meter(s)
(equal     (MeasureFn ?NUMBER MegaByte)     (MeasureFn         (MultiplicationFn ?NUMBER 1024) KiloByte))	Merge.kif 7108-7110	A real number mega byte(s) is equal to the real number and 1024 kilo byte(s)
(equal     (MeasureFn ?NUMBER Micrometer)     (MeasureFn         (MultiplicationFn ?NUMBER 0.0000001) Meter))	Geography.kif 6435-6438	A real number micrometer(s) is equal to the real number and 0.0000001 meter(s)
(equal     (MeasureFn ?NUMBER Mile)     (MeasureFn         (MultiplicationFn ?NUMBER 1609.344) Meter))	Merge.kif 6863-6865	A real number mile(s) is equal to the real number and 1609.344 meter(s)
(equal     (MeasureFn ?NUMBER Millimeter)     (MeasureFn         (MultiplicationFn ?NUMBER 0.001) Meter))	Merge.kif 6458-6461	A real number millimeter(s) is equal to the real number and 0.001 meter(s)
(equal     (MeasureFn ?NUMBER MinuteDuration)     (MeasureFn         (MultiplicationFn ?NUMBER 60) SecondDuration))	Merge.kif 6771-6773	A real number minute duration(s) is equal to the real number and 60 second duration(s)
(equal     (MeasureFn ?NUMBER Ounce)     (MeasureFn         (DivisionFn ?NUMBER 8) Cup))	Merge.kif 6911-6913	A real number ounce(s) is equal to the real number and 8 cup(s)
(equal     (MeasureFn ?NUMBER Pint)     (MeasureFn         (DivisionFn ?NUMBER 2) Quart))	Merge.kif 6893-6895	A real number pint(s) is equal to the real number and 2 quart(s)
(equal     (MeasureFn ?NUMBER PoundForce)     (MeasureFn         (MultiplicationFn ?NUMBER 4.448222) Newton))	Merge.kif 6998-7000	A real number pound force(s) is equal to the real number and 4.448222 newton(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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners