MultiplicationFn
(
equal
(
MeasureFn
?NUMBER
RankineDegree
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1.8)
KelvinDegree
))
Merge.kif 7316-7318
A real number
rankine degree
(s) is
equal
to
the real number
and 1.8
kelvin degree
(s)
(
equal
(
MeasureFn
?NUMBER
Slug
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 14593.90)
Gram
))
Merge.kif 7304-7306
A real number
slug
(s) is
equal
to
the real number
and 14593.90
gram
(s)
(
equal
(
MeasureFn
?NUMBER
UnitedKingdomGallon
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 4.54609)
Liter
))
Merge.kif 7257-7259
A real number
united kingdom gallon
(s) is
equal
to
the real number
and 4.54609
liter
(s)
(
equal
(
MeasureFn
?NUMBER
UnitedStatesCent
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.01)
UnitedStatesDollar
))
Merge.kif 7391-7393
A real number
united states cent
(s) is
equal
to
the real number
and 0.01
united states dollar
(s)
(
equal
(
MeasureFn
?NUMBER
UnitedStatesGallon
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 3.785411784)
Liter
))
Merge.kif 7212-7214
A real number
united states gallon
(s) is
equal
to
the real number
and 3.785411784
liter
(s)
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