MultiplicationFn

-------------------------


(equal
    (MeasureFn ?NUMBER RankineDegree)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1.8) KelvinDegree))		 Merge.kif 7316-7318
(equal
    (MeasureFn ?NUMBER Slug)
    (MeasureFn
        (MultiplicationFn ?NUMBER 14593.90) Gram))		 Merge.kif 7304-7306
(equal
    (MeasureFn ?NUMBER UnitedKingdomGallon)
    (MeasureFn
        (MultiplicationFn ?NUMBER 4.54609) Liter))		 Merge.kif 7257-7259
(equal
    (MeasureFn ?NUMBER UnitedStatesCent)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.01) UnitedStatesDollar))		 Merge.kif 7391-7393
(equal
    (MeasureFn ?NUMBER UnitedStatesGallon)
    (MeasureFn
        (MultiplicationFn ?NUMBER 3.785411784) Liter))		 Merge.kif 7212-7214


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