(equal     (MeasureFn ?NUMBER Angstrom)     (MeasureFn         (MultiplicationFn ?NUMBER 1.0E-10) Meter))	Merge.kif 7441-7443	A real number angstrom(s) is equal to the real number and 1.0E-10 meter(s)
(equal     (MeasureFn ?NUMBER AngularDegree)     (MeasureFn         (MultiplicationFn ?NUMBER             (DivisionFn Pi 180.0)) Radian))	Merge.kif 7647-7649	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 7633-7635	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 7710-7712	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 7625-7627	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 7270-7272	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 7266-7268	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 7009-7011	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 7510-7512	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 7356-7358	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 7428-7430	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 7688-7690	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 7454-7456	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 7364-7366	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 7462-7464	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 7721-7723	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 7554-7557	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 7029-7032	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 7732-7734	A real number mega byte(s) is equal to the real number and 1024 kilo byte(s)
(equal     (MeasureFn ?NUMBER Mile)     (MeasureFn         (MultiplicationFn ?NUMBER 1609.344) Meter))	Merge.kif 7470-7472	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 7018-7021	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 7372-7374	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 7519-7521	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 7501-7503	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 7615-7617	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