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) の情報。 1 KiloByte は 1024 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 32539-32539 | |
(termFormat ChineseTraditionalLanguage KiloByte "千位元") | domainEnglishFormat.kif 32538-32538 | |
(termFormat EnglishLanguage KiloByte "kilo byte") | domainEnglishFormat.kif 32537-32537 |
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) |