| KiloByte(kilo byte) | | K, KB, KiB, kB, kb, kbit, kibibyte, kilobit, 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 7432-7434 | |
| (documentation KiloByte JapaneseLanguage "1 KiloByte (KB) の情報。 １ KiloByte は １０２４ Byte。 注：この「キロ」の感覚は、SI システムで受け入れられるものとは異なる。") | japanese_format.kif 1343-1344 | |
| (instance KiloByte UnitOfInformation) | Merge.kif 7430-7430 | Kilo byte is an instance of unit of information |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage KiloByte "千位元") | domainEnglishFormat.kif 32573-32573 | |
| (termFormat ChineseTraditionalLanguage KiloByte "千位元") | domainEnglishFormat.kif 32572-32572 | |
| (termFormat EnglishLanguage KiloByte "kilo byte") | domainEnglishFormat.kif 32571-32571 |
| statement |
|
|
| (equal (MeasureFn ?NUMBER KiloByte) (MeasureFn (MultiplicationFn ?NUMBER 1024) Byte)) |
Merge.kif 7436-7438 | A real number kilo byte(s) is equal to the real number and 1024 byte(s) |
| (equal (MeasureFn ?NUMBER MegaByte) (MeasureFn (MultiplicationFn ?NUMBER 1024) KiloByte)) |
Merge.kif 7446-7448 | A real number mega byte(s) is equal to the real number and 1024 kilo byte(s) |
|
|
|