SandGravelClayAndCeramicAndRefractoryMineralsMiningAndQuarrying
|
|
Sigma KEE - TeraFn
appearance as argument number 1
|
|
(documentation TeraFn ChineseLanguage "这是一个 UnaryFunction,它把一个 UnitOfMeasure 联系 都等于原本 UnitOfMeasure 1,000,000,000,000倍的 UnitOfMeasure 上。 例如:(TeraFn Hertz) 是 1,000,000,000,000 Hertz.") |
chinese_format.kif 2449-2451 |
|
(documentation TeraFn EnglishLanguage "A UnaryFunction that maps a UnitOfMeasure into a UnitOfMeasure that is equal to 1,000,000,000,000 units of the original UnitOfMeasure. For example, (TeraFn Hertz) is 1,000,000,000,000 Hertz.") |
Merge.kif 6513-6515 |
|
(documentation TeraFn JapaneseLanguage "UnaryFunction は、元の UnitOfMeasure の 1,000,000,000,000単位に等しい UnitOfMeasure に UnitOfMeasure をマップする。 例: (TeraFn Hertz) は 1,000,000,000,000,000 Hertz である。") |
japanese_format.kif 1141-1143 |
|
(domain TeraFn 1 UnitOfMeasure) |
Merge.kif 6510-6510 |
|
(instance TeraFn UnitOfMeasureMultiplier) |
Merge.kif 6509-6509 |
|
(range TeraFn UnitOfMeasure) |
Merge.kif 6511-6511 |
|
appearance as argument number 2
|
|
|