equal

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


(equal
    (MeasureFn ?NUMBER Angstrom)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1.0E-10) Meter))
Merge.kif 7441-7443
(equal
    (MeasureFn ?NUMBER AngularDegree)
    (MeasureFn
        (MultiplicationFn ?NUMBER
            (DivisionFn Pi 180.0)) Radian))
Merge.kif 7647-7649
(equal
    (MeasureFn ?NUMBER BritishThermalUnit)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1055.05585262) Joule))
Merge.kif 7633-7635
(equal
    (MeasureFn ?NUMBER Byte)
    (MeasureFn
        (MultiplicationFn ?NUMBER 8) Bit))
Merge.kif 7710-7712
(equal
    (MeasureFn ?NUMBER Calorie)
    (MeasureFn
        (MultiplicationFn ?NUMBER 4.1868) Joule))
Merge.kif 7625-7627
(equal
    (MeasureFn ?NUMBER CelsiusDegree)
    (MeasureFn
        (DivisionFn
            (SubtractionFn ?NUMBER 32) 1.8) FahrenheitDegree))
Merge.kif 7270-7272
(equal
    (MeasureFn ?NUMBER CelsiusDegree)
    (MeasureFn
        (SubtractionFn ?NUMBER 273.15) KelvinDegree))
Merge.kif 7266-7268
(equal
    (MeasureFn ?NUMBER Centimeter)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.01) Meter))
Merge.kif 7009-7011
(equal
    (MeasureFn ?NUMBER Cup)
    (MeasureFn
        (DivisionFn ?NUMBER 2) Pint))
Merge.kif 7510-7512
(equal
    (MeasureFn ?NUMBER DayDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 24) HourDuration))
Merge.kif 7356-7358
(equal
    (MeasureFn ?NUMBER ElectronVolt)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1.60217733E-19) Joule))
Merge.kif 7428-7430
(equal
    (MeasureFn ?NUMBER EuroCent)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.01) EuroDollar))
Merge.kif 7688-7690
(equal
    (MeasureFn ?NUMBER FootLength)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.3048) Meter))
Merge.kif 7454-7456
(equal
    (MeasureFn ?NUMBER HourDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 60) MinuteDuration))
Merge.kif 7364-7366
(equal
    (MeasureFn ?NUMBER Inch)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.0254) Meter))
Merge.kif 7462-7464
(equal
    (MeasureFn ?NUMBER KiloByte)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1024) Byte))
Merge.kif 7721-7723
(equal
    (MeasureFn ?NUMBER Kilogram)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1000) Gram))
Merge.kif 7554-7557
(equal
    (MeasureFn ?NUMBER Kilometer)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1000) Meter))
Merge.kif 7029-7032
(equal
    (MeasureFn ?NUMBER MegaByte)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1024) KiloByte))
Merge.kif 7732-7734
(equal
    (MeasureFn ?NUMBER Mile)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1609.344) Meter))
Merge.kif 7470-7472
(equal
    (MeasureFn ?NUMBER Millimeter)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.001) Meter))
Merge.kif 7018-7021
(equal
    (MeasureFn ?NUMBER MinuteDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 60) SecondDuration))
Merge.kif 7372-7374
(equal
    (MeasureFn ?NUMBER Ounce)
    (MeasureFn
        (DivisionFn ?NUMBER 8) Cup))
Merge.kif 7519-7521
(equal
    (MeasureFn ?NUMBER Pint)
    (MeasureFn
        (DivisionFn ?NUMBER 2) Quart))
Merge.kif 7501-7503
(equal
    (MeasureFn ?NUMBER PoundForce)
    (MeasureFn
        (MultiplicationFn ?NUMBER 4.448222) Newton))
Merge.kif 7615-7617

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners