SUMO   View all facts   Glossary   Help

Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > InformationMeasure > Byte

Byte
subject			fact

Byte	documentation One Byte of information. A Byte is eight Bits
	has axiom (equal (MeasureFn ?NUMBER Byte) (MeasureFn (MultiplicationFn ?NUMBER 8) Bit))
	has axiom (equal (MeasureFn ?NUMBER KiloByte) (MeasureFn (MultiplicationFn ?NUMBER 1024) Byte))
	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