InformationMeasure Comparison Table

Next ConstantQuantity: LengthMeasure Up: ConstantQuantity Previous ConstantQuantity: CurrencyMeasure

InformationMeasure comparison table

Subject documentation have axiom

Bit One Bit of information. A one or a zero
(equal
(MeasureFn ?NUMBER Byte)
(MeasureFn (MultiplicationFn ?NUMBER 8) Bit))

Byte One Byte of information. A Byte is eight Bits
(equal
(MeasureFn ?NUMBER KiloByte)
(MeasureFn (MultiplicationFn ?NUMBER 1024) Byte))

KiloByte One KiloByte (K) of information. One KiloByte is 1024 Bytes. Note that this sense of 'kilo' is different from the one accepted in the SI system
(equal
(MeasureFn ?NUMBER MegaByte)
(MeasureFn (MultiplicationFn ?NUMBER 1024) KiloByte))

MegaByte One MegaByte (MB) of information. One MegaByte is 1024 KiloBytes. Note that this sense of 'mega' is different from the one accepted in the SI system
(equal
(MeasureFn ?NUMBER MegaByte)
(MeasureFn (MultiplicationFn ?NUMBER 1024) KiloByte))

Subject	documentation	have axiom
Bit	One Bit of information. A one or a zero	(equal (MeasureFn ?NUMBER Byte) (MeasureFn (MultiplicationFn ?NUMBER 8) Bit))
Byte	One Byte of information. A Byte is eight Bits	(equal (MeasureFn ?NUMBER KiloByte) (MeasureFn (MultiplicationFn ?NUMBER 1024) Byte))
KiloByte	One KiloByte (K) of information. One KiloByte is 1024 Bytes. Note that this sense of 'kilo' is different from the one accepted in the SI system	(equal (MeasureFn ?NUMBER MegaByte) (MeasureFn (MultiplicationFn ?NUMBER 1024) KiloByte))
MegaByte	One MegaByte (MB) of information. One MegaByte is 1024 KiloBytes. Note that this sense of 'mega' is different from the one accepted in the SI system	(equal (MeasureFn ?NUMBER MegaByte) (MeasureFn (MultiplicationFn ?NUMBER 1024) KiloByte))

Next ConstantQuantity: LengthMeasure Up: ConstantQuantity Previous ConstantQuantity: CurrencyMeasure