(equal     (MeasureFn ?NUMBER Byte)     (MeasureFn         (MultiplicationFn ?NUMBER 8) Bit))	Merge.kif 7425-7427	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 7345-7347	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.0) 1.8) FahrenheitDegree))	Merge.kif 7012-7014	A real number celsius degree(s) is equal to (the real number and 32.0) and 1.8 fahrenheit degree(s)
(equal     (MeasureFn ?NUMBER CelsiusDegree)     (MeasureFn         (SubtractionFn ?NUMBER 273.15) KelvinDegree))	Merge.kif 7008-7010	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 6780-6782	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 7239-7241	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 7087-7089	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 7161-7163	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 7405-7407	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 7186-7188	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 7095-7097	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 7193-7195	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 7435-7437	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 7279-7282	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 6799-6802	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 7445-7447	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 7097-7100	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 7200-7202	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 6789-6792	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 7103-7105	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 7248-7250	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 7230-7232	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 7335-7337	A real number pound force(s) is equal to the real number and 4.448222 newton(s)
(equal     (MeasureFn ?NUMBER PoundMass)     (MeasureFn         (MultiplicationFn ?NUMBER 453.59237) Gram))	Merge.kif 7296-7298	A real number pound mass(s) is equal to the real number and 453.59237 gram(s)
(equal     (MeasureFn ?NUMBER Quart)     (MeasureFn         (DivisionFn ?NUMBER 4) UnitedStatesGallon))	Merge.kif 7221-7223	A real number quart(s) is equal to the real number and 4 united states gallon(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