equal
(
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.60217733
E-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