MultiplicationFn
(
equal
(
MeasureFn
?NUMBER
RankineDegree
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1.8)
KelvinDegree
))
Merge.kif 7316-7318
RealNumber
RankineDegree
(s) ist gleich
** RealNumber
und 1.8
KelvinDegree
(s) %n{nicht}
(
equal
(
MeasureFn
?NUMBER
Slug
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 14593.90)
Gram
))
Merge.kif 7304-7306
RealNumber
Slug
(s) ist gleich
** RealNumber
und 14593.90
Gram
(s) %n{nicht}
(
equal
(
MeasureFn
?NUMBER
UnitedKingdomGallon
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 4.54609)
Liter
))
Merge.kif 7257-7259
RealNumber
UnitedKingdomGallon
(s) ist gleich
** RealNumber
und 4.54609
Liter
(s) %n{nicht}
(
equal
(
MeasureFn
?NUMBER
UnitedStatesCent
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.01)
UnitedStatesDollar
))
Merge.kif 7391-7393
RealNumber
UnitedStatesCent
(s) ist gleich
** RealNumber
und 0.01
UnitedStatesDollar
(s) %n{nicht}
(
equal
(
MeasureFn
?NUMBER
UnitedStatesGallon
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 3.785411784)
Liter
))
Merge.kif 7212-7214
RealNumber
UnitedStatesGallon
(s) ist gleich
** RealNumber
und 3.785411784
Liter
(s) %n{nicht}
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