| KiloByte | |
| appearance as argument number 1 |
|
|
| (documentation KiloByte ChineseLanguage "1 KiloByte (KB)的信息，1 KiloByte 是1024 Byte。注： '千'在这的意思不同于广泛被接受的国际单位制的千。") | chinese_format.kif 2628-2629 | |
| (documentation KiloByte EnglishLanguage "One KiloByte (KB) of information. One KiloByte is 1024 Bytes. Note that this sense of 'kilo' is different from the one accepted in the SI system.") | Merge.kif 7335-7337 | |
| (instance KiloByte UnitOfInformation) | Merge.kif 7333-7333 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage KiloByte "千位元") | domainEnglishFormat.kif 32526-32526 | |
| (termFormat ChineseTraditionalLanguage KiloByte "千位元") | domainEnglishFormat.kif 32525-32525 | |
| (termFormat EnglishLanguage KiloByte "kilo byte") | domainEnglishFormat.kif 32524-32524 |
| statement |
|
|
| (equal (MeasureFn ?NUMBER KiloByte) (MeasureFn (MultiplicationFn ?NUMBER 1024) Byte)) |
Merge.kif 7339-7341 | |
| (equal (MeasureFn ?NUMBER MegaByte) (MeasureFn (MultiplicationFn ?NUMBER 1024) KiloByte)) |
Merge.kif 7349-7351 |
|
|
|