SUMO   View all facts   Glossary   Help

Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > InformationMeasure > KiloByte

KiloByte
subject			fact

KiloByte	documentation 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
	has axiom (equal (MeasureFn ?NUMBER KiloByte) (MeasureFn (MultiplicationFn ?NUMBER 1024) Byte))
	has axiom (equal (MeasureFn ?NUMBER MegaByte) (MeasureFn (MultiplicationFn ?NUMBER 1024) KiloByte))
	is an instance of InformationMeasure
	is an instance of UnitOfMeasure
UnitOfMeasure	is second domain of MeasureFn
ConstantQuantity	is first domain of MagnitudeFn
PhysicalQuantity	is partitioned into ConstantQuantity, FunctionQuantity
Abstract	is disjoint from Physical