(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