equal |
(equal (MeasureFn ?NUMBER Byte) (MeasureFn (MultiplicationFn ?NUMBER 8) Bit)) |
Merge.kif 7425-7427 | RealNumber Byte(s) ist gleich ** RealNumber und 8 Bit(s) %n{nicht} |
(equal (MeasureFn ?NUMBER Calorie) (MeasureFn (MultiplicationFn ?NUMBER 4.1868) Joule)) |
Merge.kif 7345-7347 | RealNumber Calorie(s) ist gleich ** RealNumber und 4.1868 Joule(s) %n{nicht} |
(equal (MeasureFn ?NUMBER CelsiusDegree) (MeasureFn (DivisionFn (SubtractionFn ?NUMBER 32.0) 1.8) FahrenheitDegree)) |
Merge.kif 7012-7014 | RealNumber CelsiusDegree(s) ist gleich (** RealNumber und 32.0) und 1.8 FahrenheitDegree(s) %n{nicht} |
(equal (MeasureFn ?NUMBER CelsiusDegree) (MeasureFn (SubtractionFn ?NUMBER 273.15) KelvinDegree)) |
Merge.kif 7008-7010 | RealNumber CelsiusDegree(s) ist gleich (** RealNumber und 273.15) KelvinDegree(s) %n{nicht} |
(equal (MeasureFn ?NUMBER Centimeter) (MeasureFn (MultiplicationFn ?NUMBER 0.01) Meter)) |
Merge.kif 6780-6782 | RealNumber Centimeter(s) ist gleich ** RealNumber und 0.01 Meter(s) %n{nicht} |
(equal (MeasureFn ?NUMBER Cup) (MeasureFn (DivisionFn ?NUMBER 2) Pint)) |
Merge.kif 7239-7241 | RealNumber Cup(s) ist gleich ** RealNumber und 2 Pint(s) %n{nicht} |
(equal (MeasureFn ?NUMBER DayDuration) (MeasureFn (MultiplicationFn ?NUMBER 24) HourDuration)) |
Merge.kif 7087-7089 | RealNumber DayDuration(s) ist gleich ** RealNumber und 24 HourDuration(s) %n{nicht} |
(equal (MeasureFn ?NUMBER ElectronVolt) (MeasureFn (MultiplicationFn ?NUMBER 1.60217733E-19) Joule)) |
Merge.kif 7161-7163 | RealNumber ElectronVolt(s) ist gleich ** RealNumber und 1.60217733E-19 Joule(s) %n{nicht} |
(equal (MeasureFn ?NUMBER EuroCent) (MeasureFn (MultiplicationFn ?NUMBER 0.01) EuroDollar)) |
Merge.kif 7405-7407 | RealNumber EuroCent(s) ist gleich ** RealNumber und 0.01 EuroDollar(s) %n{nicht} |
(equal (MeasureFn ?NUMBER FootLength) (MeasureFn (MultiplicationFn ?NUMBER 0.3048) Meter)) |
Merge.kif 7186-7188 | RealNumber FootLength(s) ist gleich ** RealNumber und 0.3048 Meter(s) %n{nicht} |
(equal (MeasureFn ?NUMBER HourDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) MinuteDuration)) |
Merge.kif 7095-7097 | RealNumber HourDuration(s) ist gleich ** RealNumber und 60 MinuteDuration(s) %n{nicht} |
(equal (MeasureFn ?NUMBER Inch) (MeasureFn (MultiplicationFn ?NUMBER 0.0254) Meter)) |
Merge.kif 7193-7195 | RealNumber Inch(s) ist gleich ** RealNumber und 0.0254 Meter(s) %n{nicht} |
(equal (MeasureFn ?NUMBER KiloByte) (MeasureFn (MultiplicationFn ?NUMBER 1024) Byte)) |
Merge.kif 7435-7437 | RealNumber KiloByte(s) ist gleich ** RealNumber und 1024 Byte(s) %n{nicht} |
(equal (MeasureFn ?NUMBER Kilogram) (MeasureFn (MultiplicationFn ?NUMBER 1000) Gram)) |
Merge.kif 7279-7282 | RealNumber Kilogram(s) ist gleich ** RealNumber und 1000 Gram(s) %n{nicht} |
(equal (MeasureFn ?NUMBER Kilometer) (MeasureFn (MultiplicationFn ?NUMBER 1000) Meter)) |
Merge.kif 6799-6802 | RealNumber Kilometer(s) ist gleich ** RealNumber und 1000 Meter(s) %n{nicht} |
(equal (MeasureFn ?NUMBER MegaByte) (MeasureFn (MultiplicationFn ?NUMBER 1024) KiloByte)) |
Merge.kif 7445-7447 | RealNumber MegaByte(s) ist gleich ** RealNumber und 1024 KiloByte(s) %n{nicht} |
(equal (MeasureFn ?NUMBER Micrometer) (MeasureFn (MultiplicationFn ?NUMBER 0.0000001) Meter)) |
Geography.kif 7097-7100 | RealNumber Micrometer(s) ist gleich ** RealNumber und 0.0000001 Meter(s) %n{nicht} |
(equal (MeasureFn ?NUMBER Mile) (MeasureFn (MultiplicationFn ?NUMBER 1609.344) Meter)) |
Merge.kif 7200-7202 | RealNumber Mile(s) ist gleich ** RealNumber und 1609.344 Meter(s) %n{nicht} |
(equal (MeasureFn ?NUMBER Millimeter) (MeasureFn (MultiplicationFn ?NUMBER 0.001) Meter)) |
Merge.kif 6789-6792 | RealNumber Millimeter(s) ist gleich ** RealNumber und 0.001 Meter(s) %n{nicht} |
(equal (MeasureFn ?NUMBER MinuteDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) SecondDuration)) |
Merge.kif 7103-7105 | RealNumber MinuteDuration(s) ist gleich ** RealNumber und 60 SecondDuration(s) %n{nicht} |
(equal (MeasureFn ?NUMBER Ounce) (MeasureFn (DivisionFn ?NUMBER 8) Cup)) |
Merge.kif 7248-7250 | RealNumber Ounce(s) ist gleich ** RealNumber und 8 Cup(s) %n{nicht} |
(equal (MeasureFn ?NUMBER Pint) (MeasureFn (DivisionFn ?NUMBER 2) Quart)) |
Merge.kif 7230-7232 | RealNumber Pint(s) ist gleich ** RealNumber und 2 Quart(s) %n{nicht} |
(equal (MeasureFn ?NUMBER PoundForce) (MeasureFn (MultiplicationFn ?NUMBER 4.448222) Newton)) |
Merge.kif 7335-7337 | RealNumber PoundForce(s) ist gleich ** RealNumber und 4.448222 Newton(s) %n{nicht} |
(equal (MeasureFn ?NUMBER PoundMass) (MeasureFn (MultiplicationFn ?NUMBER 453.59237) Gram)) |
Merge.kif 7296-7298 | RealNumber PoundMass(s) ist gleich ** RealNumber und 453.59237 Gram(s) %n{nicht} |
(equal (MeasureFn ?NUMBER Quart) (MeasureFn (DivisionFn ?NUMBER 4) UnitedStatesGallon)) |
Merge.kif 7221-7223 | RealNumber Quart(s) ist gleich ** RealNumber und 4 UnitedStatesGallon(s) %n{nicht} |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |