equal
(
equal
(
MeasureFn
?NUMBER
Byte
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 8)
Bit
))
Merge.kif 7425-7427
实数
字节
equal
那个 实数
和 8
位元
(
equal
(
MeasureFn
?NUMBER
Calorie
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 4.1868)
Joule
))
Merge.kif 7345-7347
实数
卡路里
equal
那个 实数
和 4.1868
焦耳
(
equal
(
MeasureFn
?NUMBER
CelsiusDegree
)
(
MeasureFn
(
DivisionFn
(
SubtractionFn
?NUMBER 32.0) 1.8)
FahrenheitDegree
))
Merge.kif 7012-7014
实数
摄氏度
equal
(
那个 实数
和 32.0) 和 1.8
华氏度
(
equal
(
MeasureFn
?NUMBER
CelsiusDegree
)
(
MeasureFn
(
SubtractionFn
?NUMBER 273.15)
KelvinDegree
))
Merge.kif 7008-7010
实数
摄氏度
equal
(
那个 实数
和 273.15)
凯文度
(
equal
(
MeasureFn
?NUMBER
Centimeter
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.01)
Meter
))
Merge.kif 6780-6782
实数
厘米
equal
那个 实数
和 0.01
仪表
(
equal
(
MeasureFn
?NUMBER
Cup
)
(
MeasureFn
(
DivisionFn
?NUMBER 2)
Pint
))
Merge.kif 7239-7241
实数
杯子
equal
那个 实数
和 2
品脱
(
equal
(
MeasureFn
?NUMBER
DayDuration
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 24)
HourDuration
))
Merge.kif 7087-7089
实数
一天长度
equal
那个 实数
和 24
小时
(
equal
(
MeasureFn
?NUMBER
ElectronVolt
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1.60217733
E-19
)
Joule
))
Merge.kif 7161-7163
实数
电子伏特
equal
那个 实数
和 1.60217733E-19
焦耳
(
equal
(
MeasureFn
?NUMBER
EuroCent
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.01)
EuroDollar
))
Merge.kif 7405-7407
实数
欧元分
equal
那个 实数
和 0.01
欧元
(
equal
(
MeasureFn
?NUMBER
FootLength
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.3048)
Meter
))
Merge.kif 7186-7188
实数
脚长
equal
那个 实数
和 0.3048
仪表
(
equal
(
MeasureFn
?NUMBER
HourDuration
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 60)
MinuteDuration
))
Merge.kif 7095-7097
实数
小时
equal
那个 实数
和 60
分钟
(
equal
(
MeasureFn
?NUMBER
Inch
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.0254)
Meter
))
Merge.kif 7193-7195
实数
英寸
equal
那个 实数
和 0.0254
仪表
(
equal
(
MeasureFn
?NUMBER
KiloByte
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1024)
Byte
))
Merge.kif 7435-7437
实数
千位元
equal
那个 实数
和 1024
字节
(
equal
(
MeasureFn
?NUMBER
Kilogram
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1000)
Gram
))
Merge.kif 7279-7282
实数
公斤
equal
那个 实数
和 1000
公克
(
equal
(
MeasureFn
?NUMBER
Kilometer
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1000)
Meter
))
Merge.kif 6799-6802
实数
公里
equal
那个 实数
和 1000
仪表
(
equal
(
MeasureFn
?NUMBER
MegaByte
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1024)
KiloByte
))
Merge.kif 7445-7447
实数
兆位元
equal
那个 实数
和 1024
千位元
(
equal
(
MeasureFn
?NUMBER
Micrometer
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.0000001)
Meter
))
Geography.kif 7097-7100
实数
微米
equal
那个 实数
和 0.0000001
仪表
(
equal
(
MeasureFn
?NUMBER
Mile
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1609.344)
Meter
))
Merge.kif 7200-7202
实数
英里
equal
那个 实数
和 1609.344
仪表
(
equal
(
MeasureFn
?NUMBER
Millimeter
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.001)
Meter
))
Merge.kif 6789-6792
实数
毫米
equal
那个 实数
和 0.001
仪表
(
equal
(
MeasureFn
?NUMBER
MinuteDuration
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 60)
SecondDuration
))
Merge.kif 7103-7105
实数
分钟
equal
那个 实数
和 60
第二期
(
equal
(
MeasureFn
?NUMBER
Ounce
)
(
MeasureFn
(
DivisionFn
?NUMBER 8)
Cup
))
Merge.kif 7248-7250
实数
盎司
equal
那个 实数
和 8
杯子
(
equal
(
MeasureFn
?NUMBER
Pint
)
(
MeasureFn
(
DivisionFn
?NUMBER 2)
Quart
))
Merge.kif 7230-7232
实数
品脱
equal
那个 实数
和 2
夸脱
(
equal
(
MeasureFn
?NUMBER
PoundForce
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 4.448222)
Newton
))
Merge.kif 7335-7337
实数
磅力
equal
那个 实数
和 4.448222
牛顿
(
equal
(
MeasureFn
?NUMBER
PoundMass
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 453.59237)
Gram
))
Merge.kif 7296-7298
实数
磅质量
equal
那个 实数
和 453.59237
公克
(
equal
(
MeasureFn
?NUMBER
Quart
)
(
MeasureFn
(
DivisionFn
?NUMBER 4)
UnitedStatesGallon
))
Merge.kif 7221-7223
实数
夸脱
equal
那个 实数
和 4
美国加仑
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 3.0 is
open source software
produced by
Articulate Software
and its partners