SUMO   View all facts   Glossary   Help

Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > InformationMeasure > Bit

Bit
subject			fact

Bit	documentation One Bit of information. A one or a zero
	has axiom (equal (MeasureFn ?NUMBER Byte) (MeasureFn (MultiplicationFn ?NUMBER 8) Bit))
	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