MultiplicationFn

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


(equal
    (MeasureFn ?NUMBER RankineDegree)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1.8) KelvinDegree))
Merge.kif 7316-7318 NumeroReale RankineDegree(s is uguale a NumeroReale + 1.8 KelvinDegree(s
(equal
    (MeasureFn ?NUMBER Slug)
    (MeasureFn
        (MultiplicationFn ?NUMBER 14593.90) Gram))
Merge.kif 7304-7306 NumeroReale Slug(s is uguale a NumeroReale + 14593.90 Gram(s
(equal
    (MeasureFn ?NUMBER UnitedKingdomGallon)
    (MeasureFn
        (MultiplicationFn ?NUMBER 4.54609) Liter))
Merge.kif 7257-7259 NumeroReale UnitedKingdomGallon(s is uguale a NumeroReale + 4.54609 Liter(s
(equal
    (MeasureFn ?NUMBER UnitedStatesCent)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.01) UnitedStatesDollar))
Merge.kif 7391-7393 NumeroReale UnitedStatesCent(s is uguale a NumeroReale + 0.01 UnitedStatesDollar(s
(equal
    (MeasureFn ?NUMBER UnitedStatesGallon)
    (MeasureFn
        (MultiplicationFn ?NUMBER 3.785411784) Liter))
Merge.kif 7212-7214 NumeroReale UnitedStatesGallon(s is uguale a NumeroReale + 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