SUMO   View all facts   Glossary   Help

Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > LengthMeasure > Angstrom

Angstrom
subject			fact

Angstrom	documentation The Angstrom is a LengthMeasure. 1 Angstrom = 10^(-10)
	has axiom (equal (MeasureFn ?NUMBER Angstrom) (MeasureFn (MultiplicationFn ?NUMBER 1.0E-10) Meter))
	is an instance of LengthMeasure
	is an instance of UnitOfMeasure
LengthMeasure	is second domain of length
	is third domain of distance
UnitOfMeasure	is second domain of MeasureFn
ConstantQuantity	is first domain of MagnitudeFn
PhysicalQuantity	is partitioned into ConstantQuantity, FunctionQuantity
Abstract	is disjoint from Physical