equal

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


(equal
    (MeasureFn ?NUMBER AngularDegree)
    (MeasureFn
        (MultiplicationFn ?NUMBER
            (DivisionFn Pi 180.0)) Radian))
Merge.kif 7040-7042 A real number angular degree(s) is equal to the real number and pi and 180.0 radian(s)
(equal
    (MeasureFn ?NUMBER BritishThermalUnit)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1055.05585262) Joule))
Merge.kif 7026-7028 A real number british thermal unit(s) is equal to the real number and 1055.05585262 joule(s)
(equal
    (MeasureFn ?NUMBER Byte)
    (MeasureFn
        (MultiplicationFn ?NUMBER 8) Bit))
Merge.kif 7098-7100 A real number byte(s) is equal to the real number and 8 bit(s)
(equal
    (MeasureFn ?NUMBER Calorie)
    (MeasureFn
        (MultiplicationFn ?NUMBER 4.1868) Joule))
Merge.kif 7018-7020 A real number calorie(s) is equal to the real number and 4.1868 joule(s)
(equal
    (MeasureFn ?NUMBER CelsiusDegree)
    (MeasureFn
        (DivisionFn
            (SubtractionFn ?NUMBER 32) 1.8) FahrenheitDegree))
Merge.kif 6691-6693 A real number celsius degree(s) is equal to (the real number and 32) and 1.8 fahrenheit degree(s)
(equal
    (MeasureFn ?NUMBER CelsiusDegree)
    (MeasureFn
        (SubtractionFn ?NUMBER 273.15) KelvinDegree))
Merge.kif 6687-6689 A real number celsius degree(s) is equal to (the real number and 273.15) kelvin degree(s)
(equal
    (MeasureFn ?NUMBER Centimeter)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.01) Meter))
Merge.kif 6459-6461 A real number centimeter(s) is equal to the real number and 0.01 meter(s)
(equal
    (MeasureFn ?NUMBER Cup)
    (MeasureFn
        (DivisionFn ?NUMBER 2) Pint))
Merge.kif 6912-6914 A real number cup(s) is equal to the real number and 2 pint(s)
(equal
    (MeasureFn ?NUMBER DayDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 24) HourDuration))
Merge.kif 6765-6767 A real number day duration(s) is equal to the real number and 24 hour duration(s)
(equal
    (MeasureFn ?NUMBER ElectronVolt)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1.60217733E-19) Joule))
Merge.kif 6834-6836 A real number electron volt(s) is equal to the real number and 1.60217733E-19 joule(s)
(equal
    (MeasureFn ?NUMBER EuroCent)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.01) EuroDollar))
Merge.kif 7078-7080 A real number euro cent(s) is equal to the real number and 0.01 euro dollar(s)
(equal
    (MeasureFn ?NUMBER FootLength)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.3048) Meter))
Merge.kif 6859-6861 A real number foot length(s) is equal to the real number and 0.3048 meter(s)
(equal
    (MeasureFn ?NUMBER HourDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 60) MinuteDuration))
Merge.kif 6773-6775 A real number hour duration(s) is equal to the real number and 60 minute duration(s)
(equal
    (MeasureFn ?NUMBER Inch)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.0254) Meter))
Merge.kif 6866-6868 A real number inch(s) is equal to the real number and 0.0254 meter(s)
(equal
    (MeasureFn ?NUMBER KiloByte)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1024) Byte))
Merge.kif 7108-7110 A real number kilo byte(s) is equal to the real number and 1024 byte(s)
(equal
    (MeasureFn ?NUMBER Kilogram)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1000) Gram))
Merge.kif 6952-6955 A real number kilogram(s) is equal to the real number and 1000 gram(s)
(equal
    (MeasureFn ?NUMBER Kilometer)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1000) Meter))
Merge.kif 6478-6481 A real number kilometer(s) is equal to the real number and 1000 meter(s)
(equal
    (MeasureFn ?NUMBER MegaByte)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1024) KiloByte))
Merge.kif 7118-7120 A real number mega byte(s) is equal to the real number and 1024 kilo byte(s)
(equal
    (MeasureFn ?NUMBER Micrometer)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.0000001) Meter))
Geography.kif 6435-6438 A real number micrometer(s) is equal to the real number and 0.0000001 meter(s)
(equal
    (MeasureFn ?NUMBER Mile)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1609.344) Meter))
Merge.kif 6873-6875 A real number mile(s) is equal to the real number and 1609.344 meter(s)
(equal
    (MeasureFn ?NUMBER Millimeter)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.001) Meter))
Merge.kif 6468-6471 A real number millimeter(s) is equal to the real number and 0.001 meter(s)
(equal
    (MeasureFn ?NUMBER MinuteDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 60) SecondDuration))
Merge.kif 6781-6783 A real number minute duration(s) is equal to the real number and 60 second duration(s)
(equal
    (MeasureFn ?NUMBER Ounce)
    (MeasureFn
        (DivisionFn ?NUMBER 8) Cup))
Merge.kif 6921-6923 A real number ounce(s) is equal to the real number and 8 cup(s)
(equal
    (MeasureFn ?NUMBER Pint)
    (MeasureFn
        (DivisionFn ?NUMBER 2) Quart))
Merge.kif 6903-6905 A real number pint(s) is equal to the real number and 2 quart(s)
(equal
    (MeasureFn ?NUMBER PoundForce)
    (MeasureFn
        (MultiplicationFn ?NUMBER 4.448222) Newton))
Merge.kif 7008-7010 A real number pound force(s) is equal to the real number and 4.448222 newton(s)

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