equal |
(equal (MeasureFn ?NUMBER Byte) (MeasureFn (MultiplicationFn ?NUMBER 8) Bit)) |
Merge.kif 7425-7427 | 等於 測量 RealNumber and 字節 and 測量 乘法 RealNumber and 8 and 位元 |
(equal (MeasureFn ?NUMBER Calorie) (MeasureFn (MultiplicationFn ?NUMBER 4.1868) Joule)) |
Merge.kif 7345-7347 | 等於 測量 RealNumber and 卡路里 and 測量 乘法 RealNumber and 4.1868 and 焦耳 |
(equal (MeasureFn ?NUMBER CelsiusDegree) (MeasureFn (DivisionFn (SubtractionFn ?NUMBER 32.0) 1.8) FahrenheitDegree)) |
Merge.kif 7012-7014 | 等於 測量 RealNumber and 攝氏度 and 測量 部 減法 RealNumber and 32.0 and 1.8 and 華氏度 |
(equal (MeasureFn ?NUMBER CelsiusDegree) (MeasureFn (SubtractionFn ?NUMBER 273.15) KelvinDegree)) |
Merge.kif 7008-7010 | 等於 測量 RealNumber and 攝氏度 and 測量 減法 RealNumber and 273.15 and 凱文度 |
(equal (MeasureFn ?NUMBER Centimeter) (MeasureFn (MultiplicationFn ?NUMBER 0.01) Meter)) |
Merge.kif 6780-6782 | 等於 測量 RealNumber and 厘米 and 測量 乘法 RealNumber and 0.01 and 儀表 |
(equal (MeasureFn ?NUMBER Cup) (MeasureFn (DivisionFn ?NUMBER 2) Pint)) |
Merge.kif 7239-7241 | 等於 測量 RealNumber and 杯子 and 測量 部 RealNumber and 2 and 品脫 |
(equal (MeasureFn ?NUMBER DayDuration) (MeasureFn (MultiplicationFn ?NUMBER 24) HourDuration)) |
Merge.kif 7087-7089 | 等於 測量 RealNumber and 一天長度 and 測量 乘法 RealNumber and 24 and 小時 |
(equal (MeasureFn ?NUMBER ElectronVolt) (MeasureFn (MultiplicationFn ?NUMBER 1.60217733E-19) Joule)) |
Merge.kif 7161-7163 | 等於 測量 RealNumber and 電子伏特 and 測量 乘法 RealNumber and 1.60217733E-19 and 焦耳 |
(equal (MeasureFn ?NUMBER EuroCent) (MeasureFn (MultiplicationFn ?NUMBER 0.01) EuroDollar)) |
Merge.kif 7405-7407 | 等於 測量 RealNumber and 歐元分 and 測量 乘法 RealNumber and 0.01 and 歐元 |
(equal (MeasureFn ?NUMBER FootLength) (MeasureFn (MultiplicationFn ?NUMBER 0.3048) Meter)) |
Merge.kif 7186-7188 | 等於 測量 RealNumber and 腳長 and 測量 乘法 RealNumber and 0.3048 and 儀表 |
(equal (MeasureFn ?NUMBER HourDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) MinuteDuration)) |
Merge.kif 7095-7097 | 等於 測量 RealNumber and 小時 and 測量 乘法 RealNumber and 60 and 分鐘 |
(equal (MeasureFn ?NUMBER Inch) (MeasureFn (MultiplicationFn ?NUMBER 0.0254) Meter)) |
Merge.kif 7193-7195 | 等於 測量 RealNumber and 英寸 and 測量 乘法 RealNumber and 0.0254 and 儀表 |
(equal (MeasureFn ?NUMBER KiloByte) (MeasureFn (MultiplicationFn ?NUMBER 1024) Byte)) |
Merge.kif 7435-7437 | 等於 測量 RealNumber and 千位元 and 測量 乘法 RealNumber and 1024 and 字節 |
(equal (MeasureFn ?NUMBER Kilogram) (MeasureFn (MultiplicationFn ?NUMBER 1000) Gram)) |
Merge.kif 7279-7282 | 等於 測量 RealNumber and 公斤 and 測量 乘法 RealNumber and 1000 and 公克 |
(equal (MeasureFn ?NUMBER Kilometer) (MeasureFn (MultiplicationFn ?NUMBER 1000) Meter)) |
Merge.kif 6799-6802 | 等於 測量 RealNumber and 公里 and 測量 乘法 RealNumber and 1000 and 儀表 |
(equal (MeasureFn ?NUMBER MegaByte) (MeasureFn (MultiplicationFn ?NUMBER 1024) KiloByte)) |
Merge.kif 7445-7447 | 等於 測量 RealNumber and 兆位元 and 測量 乘法 RealNumber and 1024 and 千位元 |
(equal (MeasureFn ?NUMBER Micrometer) (MeasureFn (MultiplicationFn ?NUMBER 0.0000001) Meter)) |
Geography.kif 7097-7100 | 等於 測量 RealNumber and Micrometer and 測量 乘法 RealNumber and 0.0000001 and 儀表 |
(equal (MeasureFn ?NUMBER Mile) (MeasureFn (MultiplicationFn ?NUMBER 1609.344) Meter)) |
Merge.kif 7200-7202 | 等於 測量 RealNumber and 英里 and 測量 乘法 RealNumber and 1609.344 and 儀表 |
(equal (MeasureFn ?NUMBER Millimeter) (MeasureFn (MultiplicationFn ?NUMBER 0.001) Meter)) |
Merge.kif 6789-6792 | 等於 測量 RealNumber and 毫米 and 測量 乘法 RealNumber and 0.001 and 儀表 |
(equal (MeasureFn ?NUMBER MinuteDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) SecondDuration)) |
Merge.kif 7103-7105 | 等於 測量 RealNumber and 分鐘 and 測量 乘法 RealNumber and 60 and 第二期 |
(equal (MeasureFn ?NUMBER Ounce) (MeasureFn (DivisionFn ?NUMBER 8) Cup)) |
Merge.kif 7248-7250 | 等於 測量 RealNumber and 盎司 and 測量 部 RealNumber and 8 and 杯子 |
(equal (MeasureFn ?NUMBER Pint) (MeasureFn (DivisionFn ?NUMBER 2) Quart)) |
Merge.kif 7230-7232 | 等於 測量 RealNumber and 品脫 and 測量 部 RealNumber and 2 and 夸脫 |
(equal (MeasureFn ?NUMBER PoundForce) (MeasureFn (MultiplicationFn ?NUMBER 4.448222) Newton)) |
Merge.kif 7335-7337 | 等於 測量 RealNumber and 磅力 and 測量 乘法 RealNumber and 4.448222 and 牛頓 |
(equal (MeasureFn ?NUMBER PoundMass) (MeasureFn (MultiplicationFn ?NUMBER 453.59237) Gram)) |
Merge.kif 7296-7298 | 等於 測量 RealNumber and 磅質量 and 測量 乘法 RealNumber and 453.59237 and 公克 |
(equal (MeasureFn ?NUMBER Quart) (MeasureFn (DivisionFn ?NUMBER 4) UnitedStatesGallon)) |
Merge.kif 7221-7223 | 等於 測量 RealNumber and 夸脫 and 測量 部 RealNumber and 4 and 美國加侖 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |